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.
Hirarki infinite apa yang menyiratkan bahwa masalah isomorfisme grafik s NQ-complete?
hierarki polinomial
hierarki waktu polinomial
Hirarki NNO
infinite NNP
apa PRI
yang PRR
menyiratkan VBT
bahwa CSN
masalah NNO
isomorfisme NNO
grafik NNO
s NNP
NQ NNP
- PUN
complete NNP
? PUN