Masalah grafik isomorfisme adalah masalah komputasi untuk menentukan apakah dua graf berhingga adalah isomorfik. Masalah penting yang belum terpecahkan dalam teori kompleksitas adalah apakah masalah grafik isomorfisme dalam P, NP-complete, atau NP-intermediate. Jawabannya tidak diketahui, tetapi diyakini bahwa masalahnya setidaknya tidak lengkap NP. Jika grafik isomorfisme adalah NP-lengkap, hierarki waktu polinomial runtuh ke level kedua. Karena secara luas diyakini bahwa hierarki polinom tidak runtuh ke tingkat yang terbatas, diyakini bahwa isomorfisma grafik tidak lengkap NP. Algoritma terbaik untuk masalah ini, karena Laszlo Babai dan Eugene Luks telah menjalankan waktu 2O (√ (n log (n))) untuk grafik dengan n simpul.
Kelas apa yang paling umum tidak dianggap berasal dari masalah isomorfisme grafik meskipun ada penentuan yang pasti?
NP-lengkap
NP-complete
Kelas NNO
apa PRI
yang PRR
paling ADV
umum ADJ
tidak NEG
dianggap VBP
berasal VBI
dari PPO
masalah NNO
isomorfisme NNO
grafik NNO
meskipun CSN
ada VBI
penentuan NNO
yang PRR
pasti ADV
? PUN