Shiva Kintali baru saja mengumumkan (keren!) Menghasilkan bahwa isomorfisma grafik untuk grafik treewidth dibatasi lebar yaitu -Hard⊕ L . Secara informal, pertanyaan saya adalah, "Seberapa sulit itu?"
Kita tahu bahwa yang tidak seragam , lihat jawaban untuk pertanyaan ini . Kami juga tahu bahwa tidak mungkin , lihat jawaban untuk pertanyaan ini . Betapa mengejutkannya jika ? Saya telah mendengar banyak orang mengatakan bahwa tidak akan mengejutkan seperti .L = N L P = N P
Apa konsekuensi dari ?
Definisi: adalah sekumpulan bahasa yang dikenali oleh mesin Turing non-deterministik yang hanya dapat membedakan antara bilangan genap atau ganjil dari jalur "penerimaan" (daripada jumlah jalur penerimaan nol atau bukan nol), dan yang selanjutnya dibatasi untuk bekerja di ruang logaritmik.
sumber
Nah jika maka simulasi rangkaian stabilizer berada di , karena Aaronson dan Gottesman (Physical Review A 70, 052328) membuktikan simulasi semacam itu selesai untuk dalam pengurangan ruang log, atau lebih lemah lagi bahwa simulasi jaringan CNOT adalah di . Ekuivalen, jika simulasi sirkuit tersebut di maka . Secara pribadi, saya akan menemukan ini mengejutkan, tetapi tidak pada musim gugur dari kursi saya, saya akan menemukan mengejutkan.L ⊕ L L L L = ⊕ L P = N PL=⊕L L ⊕L L L L=⊕L P=NP
sumber