ST-Konektivitas adalah masalah menentukan apakah ada jalur terarah antara dua simpul dan t dalam grafik berarah G ( V , E ) . Apakah masalah ini dapat diselesaikan di logspace, adalah masalah terbuka yang sudah lama ada. Ini disebut N L vs L masalah.ssstttG(V,E)G(V,E)G(V,E)NLNLNLLLL Apa...
Shiva Kintali baru saja mengumumkan (keren!) Menghasilkan bahwa isomorfisma grafik untuk grafik treewidth dibatasi lebar yaitu -Hard⊕ L≥ 4≥4\geq 4⊕ L⊕L\oplus L . Secara informal, pertanyaan saya adalah, "Seberapa sulit itu?" Kita tahu bahwa yang tidak seragam , lihat jawaban untuk pertanyaan ini ....
The 1-dim algoritma Weisfeiler-Lehman (WL) umumnya dikenal sebagai label kanonik atau algoritma warna perbaikan. Ia bekerja sebagai berikut: Pewarnaan awal seragam, untuk semua simpul .C0C0C_0C0( v ) = 1C0(v)=1C_0(v) = 1v ∈ V( G ) ∪ V( H)v∈V(G)∪V(H)v \in V (G) \cup V (H) Dalam putaran st, warna C...
Apa yang terjadi jika kita mendefinisikan P P A DPPAD{\bf PPAD} sehingga bukan sirkuit polytime Turing-mesin / polysize, sebuah logspace Turing-mesin atau A C 0AC0{\bf AC^0} sirkuit mengkodekan masalah? Baru-baru ini memberikan algoritma cepat untuk Circuit satisfiability untuk sirkuit kecil...
Jika L=NLL=NL\mathsf{L = NL} , maka ada algoritma logspace yang memecahkan versi keputusan 2-SAT. Apakah L=NLL=NL\mathsf{L = NL} diketahui menyiratkan bahwa ada algoritma ruang log untuk mendapatkan tugas yang memuaskan , ketika diberi instance 2-SAT yang memuaskan sebagai input? Jika tidak,...
Pertanyaan. Dalam makalah mereka Peningkatan simulasi sirkuit stabilizer , Aaronson dan Gottesman mengklaim bahwa mensimulasikan sirkuit CNOT adalah ⊕L -complete (di bawah pengurangan ruang log). Jelas bahwa itu terkandung dalam ⊕L ; bagaimana hasil kekerasan berlangsung? Secara ekuivalen: apakah...
Sebuah bahasa dalam L/polyL./halHailyL/poly jika ada mesin Turing logspace yang memutuskan bahasa dengan jumlah saran polinomial. Lihat di sini untuk info lebih lanjut: https://en.wikipedia.org/wiki/L/poly Pertanyaan Apa konsekuensi dari ?P⊆L/polyP⊆L./halHailyP \subseteq...
Bukti Omer Reingold yang memberikan algoritma untuk USTCON (Dalam U ndirected grafik dengan simpul khusus dan , mereka ConL=SLL=SLL=SLtsssttt nected?) Hanya menggunakan logspace. Ide dasarnya adalah untuk membangun grafik expander dari grafik asli, dan kemudian berjalan di grafik expander. Grafik...
Halaman wikipedia di PSPACE menyebutkan bahwa inklusi tidak dikenal ketat (sayangnya tanpa referensi).NL⊂PHNL⊂PHNL\subset PH T1: Bagaimana dengan dan - apakah ini dikenal ketat?L ⊂ P # PL⊂PHL⊂PHL\subset PHL⊂P#PL⊂P#PL\subset P^{\#P} T2: Jika tidak, adakah kelas yang mapan yang berisi dan yang...
Teorema Mahaney memberi tahu kita bahwa jika ada -lengkap yang ditetapkan di bawah pengurangan polinomial-waktu banyak-satu, maka . (Lihat " Set lengkap lengkap untuk NP: Solusi dugaan Berman dan Hartmanis ")NPNPNPP= NPP=NPP = NP Adakah konsekuensi yang diketahui dari keberadaan set lengkap yang...
Apakah itu diketahui sesuatu tentang bahasa yang dikenali oleh automaton counter multihead deterministik dua arah atau logspace TM dengan counter (model setara)? Kelas ini bernama Aux2DC dalam makalah penasihat saya . Atau tentang kelas nondeterministik seperti itu? Saya telah memperoleh bahwa...
Pertimbangkan mesin (yaitu, algoritma probabilistik yang menggunakan logspace dan banyak bit acak secara polinomi). Diketahui (Saks-Zhou) bahwa .B PL.BPLBPLB PL ⊆ D SPA CE( L o g1.5( n ) )BPL.⊆DSPSEBUAHCE(lHaig1.5(n))BPL \subseteq DSPACE(log^{1.5}(n)) Pertanyaan saya adalah tentang mesin yang...