Masalah isomorfisme grafik adalah masalah komputasi untuk menentukan apakah dua grafik yang terbatas adalah isomorfik. Sebuah masalah penting yang belum terpecahkan dalam teori kompleksitas adalah apakah masalah isomorfisme grafik berada dalam P, NP-lengkap, atau NP-intermediate. Jawabannya tidak diketahui, tetapi diyakini bahwa masalahnya setidaknya tidak lengkap. Jika grafik isomorfisme lengkap, hierarki waktu polinomial runtuh ke tingkat kedua. Karena secara luas diyakini bahwa hierarki polinomial tidak runtuh ke tingkat terbatas, diyakini bahwa grafik isomorfisme tidak lengkap. Algoritma terbaik untuk masalah ini, karena LaszIo Babai dan Eugene Luks telah berjalan waktu 2Oón log Allahn))))) untuk grafik dengan titik n.
Untuk tingkat apa polinomial waktu hirarki runtuh jika grafik isomorfisme adalah NP-lengkap?
tingkat kedua kedua kedua