گراف مکمل

برای گراف G، گرافی که رأس‌های آن همان رأس‌های G است و دو رأس متمایز آن مجاورند، هرگاه در G مجاور نباشند