Apa kekerasan yang dikenal saat ini dari Graph Isomorphism?


21

Terinspirasi oleh pertanyaan adalah faktor yang dikenal sebagai P-hard , saya bertanya-tanya seperti apa pengetahuan saat ini tentang kekerasan grafik isomorfisme. Saya yakin bahwa saat ini tidak diketahui apakah GI ada di P, tetapi:

apa kelas terbesar yang saat ini diketahui bahwa GI lebih sulit daripada?

(tidak dijawab pada pertanyaan yang terdengar serupa )

Untuk mengatasi beberapa komentar, saya ingin tahu kelas maksimal yang saat ini dikenal sebagai GI, masalahnya selesai. Algoritma yang dikenal untuk GI dibatasi oleh fungsi superpolinomial, dan merupakan anggota NP. Tetapi tidak diketahui bahwa GI adalah P-keras. Saya ingin tahu kelas C yang dikenal sebagai C-hard, dan semoga inklusif mungkin.


2
"Itu tidak dijawab pada pertanyaan yang terdengar serupa" Benarkah? Saya pikir jawaban Joshua Grochow menjawab pertanyaan di sini.
Tyson Williams

Lihatlah bagian "Kompleksitas Kelas GI" di sini: en.wikipedia.org/wiki/Graph_isomorphism_problem
Aaron Sterling

3
@Tyson dan siapa pun yang memberikan suara atas komentarnya: Saya pikir apa yang dikatakan Mitch adalah bahwa jawaban di sana hanya memberikan batas atas pada Graph Isomorphism, bukan kekerasan Graph Isomorphism.
Tsuyoshi Ito

Saya ingin menambahkan bahwa saya tidak melihat ini sebagai pertanyaan rangkap. Jawaban Yosua memberi batas atas. Pertanyaan ini terdengar seperti, "Apakah GI setidaknya AC0 keras?" - ya, setuju dengan @Tsuyoshi.
Aaron Sterling

6
Untuk grafik planar yang diketahui lengkap untuk ... Lihat theorie.informatik.uni-ulm.de/Personen/toran/beatcs/…
Joshua Herman

Jawaban:


Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.