Sudah lebih dari setahun sejak pencabutan dan koreksi Januari 2017. Apakah ada berita?
Jika tidak apakah ini normal untuk validasi selama ini? Saya berharap itu akan mendapat banyak perhatian. Adakah yang diketahui berbicara untuk mendukung / meragukan hasil kuasi polinomial?
cc.complexity-theory
graph-isomorphism
proofs
Meir Maor
sumber
sumber
Jawaban:
Komentar gabungan dari Thomas Klimpel, Sasho Nikolov dan Mohammad Al-Turkistany menjadi jawaban komunitas:
Koreksi (dan karenanya hasil kuasi-polinomial) segera didukung oleh Harald Andrés Helfgott. Makalah ekspositori-nya ( https://arxiv.org/abs/1701.04372 ) dan terjemahannya ( https://arxiv.org/abs/1710.04574 ) adalah semua dukungan yang diperlukan untuk hasil kuasi-polinomial. Eksposisi Helfgott muncul sebagai Eksposur 1125 dalam Astérisque 407 (2019), Séminaire Bourbaki 2016/2017, hlm. 135–182.
Tidak ada masalah yang diketahui saat ini dengan bukti Babai, dan itu telah melalui tinjauan sejawat yang luas. Yang mengatakan, bahkan makalah peer-review yang diterbitkan kemudian telah ditarik sebagai salah.
Dukungan oleh Harald Andrés Helfgott bersama dengan kurangnya masalah lain harus cukup bagi kita untuk menerima bahwa grafik isomorfisme memang dapat dipecahkan dalam waktu kuasi-polinomial.
sumber