<s>[INST]Hangi sonlu hiyerarşi, grafik izomorfizmi probleminin NP-tamam olduğunu gösterir;[/INST]Grafik izomorfizm problemi, iki sonlu grafiğin izomorfik olup olmadığını belirlemenin hesaplama problemidir. Karmaşıklık teorisindeki çözülmemiş önemli bir sorun, grafik izomorfizmi sorununun P, NP-tamam mı yoksa NP-orta mı olduğudur. Cevap bilinmemektedir, ancak sorunun en azından NP'nin tamamlanmadığına inanılmaktadır. Eğer grafik izomorfizmi NP tamamlandıysa, polinom zaman hiyerarşisi ikinci seviyeye düşer. Polinom hiyerarşisinin herhangi bir sonlu seviyeye çökmediğine inanıldığından, grafik izomorfizminin NP tamamlanmadığına inanılmaktadır. Laszlo Babai ve Eugene Luks nedeniyle bu problem için en iyi algoritma, n köşeleri olan grafikler için 2O (log (n log (n))) süresine sahipti.</s>