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.

Mitch
sumber
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:

22

NC1

Tampaknya ini adalah hasil kekerasan terkuat hingga saat ini.

Mateus de Oliveira Oliveira
sumber
referensi yang sangat baik (dan dengan ketegangan mata ekstra pada halaman mereka, tampaknya sekitar tahun 2004).
Mitch
Memang, ini adalah kertas yang bagus.
Mateus de Oliveira Oliveira