Bu sorudan ilham alan P-hard olarak bilinen faktördür, şu anki benzer bilgi durumunun grafik izomorfizminin sertliği ile ilgili olduğunu merak ediyorum. GI'nin P olup olmadığını şu anda bilmediğinden eminim, ancak:
GI'nın daha zor olduğu şu anda bilinen en büyük sınıf hangisidir?
( benzer bir sondaj sorusunda cevaplanmadı )
Yorumların bir kısmına hitap etmek için, şu anda bilinen, GI için problemin tamamlandığı bilinen maksimum sınıfı / sınıfları bilmek istiyorum. GI için bilinen algoritmalar superpolynomial fonksiyonlar tarafından üst sınırlandırılmıştır ve NP üyesidir. Ancak GI'nin P-zor olduğu bilinmemektedir. C sınıfı olduğu bilinen ve C olabildiğince kapsayıcı olduğu herhangi bir C sınıfını bilmek istiyorum.
2
"benzer bir sondaj sorusunda cevaplanmadı" Gerçekten mi? Sanırım Joshua Grochow'un cevabı burada soruyu cevaplıyor.
—
Tyson Williams
Buradaki "Karmaşıklık Sınıfı GI" bölümüne bakın: en.wikipedia.org/wiki/Graph_isomorphism_problem
—
Aaron Sterling
@Tyson ve kim yorumuna oy verdiyse: Bence Mitch'in söylediği şey, buradaki cevabın Graph Isomorphism'in sertliği değil, Graph Isomorphism için yalnızca üst sınırlar vermesi olduğunu düşünüyorum.
—
Tsuyoshi Ito
Bunu yinelenen bir soru olarak görmediğimi eklemek isterim. Joshua'nın cevabı üst sınırlar veriyor. Bu soru "GI en azından AC0 zor mu?" - evet, @Tsuyoshi ile aynı fikirdeyim.
—
Aaron Sterling
Düzlemsel grafikler için L için tamamlandığı bilinen ... Bkz. Theorie.informatik.uni-ulm.de/Personen/toran/beatcs/…
—
Joshua Herman