Pertanyaan yang diberi tag «logspace»

2
Apa konsekuensi dari ?
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 . Kami juga tahu bahwa tidak mungkin …
1
Kompleksitas versi pencarian 2-SAT dengan asumsi
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, bagaimana dengan algoritma yang menggunakan ruang sub-linear (dalam jumlah …
1
Apakah
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 ternyata menjadi penting, jadi saya ingin tahu apa yang terjadi …
1
Pengurangan ruang log dari sirkuit Parity-L ke CNOT?
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 ada pengurangan ruang log dari produk matriks berulang modulo 2, menjadi …
1
Apa halangan untuk memperpanjang
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 expander dibuat dengan mengkuadratkan grafik asli secara logaritma berkali-kali. Dalam …
1
Kelas besar yang berisi LOGSPACE yang inklusi ketatnya tidak diketahui
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 tidak diketahui jika inklusi ketat?P # P L ⊂ CCCCP#PP#PP^{\#P}L⊂CL⊂CL\subset …
1
dengan bit acak polylog berada di
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 hanya menggunakan banyak bit keacakan polylog. Dalam salah satu makalah Goldreich, disebutkan …
1
Dua arah deterministik penghitung multihead automata atau logspace TM dengan penghitung
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 kelas bahasa yang dikenali oleh maschine nondeterministic seperti itu …
Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.