گراف مکمل
دانشنامه عمومی
فرض کنید G = ( V, E ) یک گراف ساده باشد و K مجموعهٔ تمام زیرمجموعه های ۲ - عضوی V است. در این صورت، H = ( V, K \ E ) گرافِ مکمّلِ گرافِ Gست، که در آن K \ E متمم نسبی E در K است. برای گراف های جهت دار، می توان مکمَل را به همین شکل تعریف کرد؛ یعنی به عنوان یک گراف جهت دار با مجموعه رئوس یک سان با استفاده از مجموعهٔ تمام زوج مرتب های ۲ - عضوی از V به عنوان K در عبارت مذکور.