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
@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
Untuk grafik planar yang diketahui lengkap untuk ... Lihat theorie.informatik.uni-ulm.de/Personen/toran/beatcs/…
—
Joshua Herman