Ruang batas bawah terbaik saat ini untuk SAT?


22

Menyusul dari pertanyaan sebelumnya ,

apa batas bawah ruang terbaik saat ini untuk SAT?

Dengan batas bawah ruang yang saya maksud di sini adalah jumlah sel worktape yang digunakan oleh mesin Turing yang menggunakan alfabet biner worktape. Istilah aditif konstan tidak dapat dihindari karena TM dapat menggunakan kondisi internal untuk mensimulasikan jumlah sel worktape yang tetap. Namun, saya tertarik untuk mengendalikan konstanta multiplikasi yang sering dibiarkan tersirat: setup biasa memungkinkan kompresi konstan sewenang-wenang melalui huruf yang lebih besar sehingga konstanta multiplikatif tidak relevan di sana, tetapi dengan alfabet tetap harus dimungkinkan untuk memperhitungkannya.

Sebagai contoh, SAT membutuhkan lebih dari ruang; jika tidak maka batas atas ruang ini akan mengarah ke batas atas waktu dengan simulasi, dan dengan demikian gabungan batas waktu ruang-waktu lebih rendah untuk SAT akan dilanggar (lihat pertanyaan terkait). Tampaknya juga mungkin untuk meningkatkan argumen ini untuk berargumen bahwa SAT memerlukan setidaknya ruang untuk beberapa positif kecil yang kira-kira seperti , di mana adalah eksponen konstan dalam simulasi ruang-dibatasi TM oleh TM yang dibatasi waktu.loglogn+cn1+o(1)n1.801+o(1)δlogn+cδ0.801/CC

Sayangnya biasanya cukup besar (dan tentunya setidaknya 2 dalam simulasi biasa, di mana kaset TM pertama kali dikodekan pada satu kaset melalui alfabet yang lebih besar). Batas-batas seperti dengan agak lemah, dan saya akan sangat tertarik pada ruang batas bawah dari . Batas bawah waktu tak terbatas dari langkah , untuk beberapa konstanta yang cukup besar , akan menyiratkan ruang seperti batas bawah melalui simulasi. Namun, batas bawah waktu untuk saat ini tidak diketahui, apalagi untuk besar .Cδ1logn+cΩ(nd)d>1Ω(nd)d>1d

Dengan kata lain, saya sedang mencari sesuatu yang akan menjadi konsekuensi dari batas bawah waktu superlinear untuk SAT, tetapi yang mungkin dapat diperoleh lebih langsung.


seperti pada jawaban yang lain (misalnya oleh RW), fokus pada batas waktu atau ruang batas bawah secara terpisah tampaknya tidak terjangkau dan hanya memiliki batas yang diketahui umum / lemah, dan penelitian terkemuka di bidang tersebut tampaknya memunculkan konsep yang relatif lebih baru kompleksitas ruang-waktu gabungan.
vzn

Jawaban:


3

Sepertinya yang terikat paling dikenal (untuk mesin Turing multitape) adalah logaritmik.

Misalkan bit dari worktape biner sudah cukup untuk memutuskan apakah ada rumus CNF bit yang memuaskan, untuk semua yang cukup besar . Dengan simulasi standar, TM dengan menyatakan bahwa penggunaan paling bit ruang dapat disimulasikan oleh TM yang memiliki paling konfigurasi yang berbeda . Setiap kali mesin menerima, ada urutan (nondeterministic) bergerak mencapai keadaan penerimaan yang paling banyak selama jumlah konfigurasi ini. Ketika , ini paling banyak (perhatikan bahwa tetap sama untuk semua panjang inputn n qδlognnnqq n s 2 s = 2 s + log n + log s + log q s = Ω ( log n ) 2 s ( 2 + o ( 1 ) ) q n M o ( 1 ) 2 s ( 2 + o ( 1 ) )sqns2s=2s+logn+logs+logqs=Ω(logn)2s(2+o(1))qn). Pada kaset penghitung yang terpisah, pertama-tama dapat menulis kuantitas ini di unary, kemudian pada setiap langkah simulasi hapus salah satu simbol penghitung, dan hentikan perhitungan jika pernah kehabisan simbol penghitung. Ini menciptakan faktor konstan overhead (sekitar 3), yang diserap oleh istilah dalam eksponen. Maka langkah sudah cukup.Mo(1)2s(2+o(1))

Dengan asumsi , maka produk ruang-waktu paling banyak .δ log n 2 δ log n ( 2 + o ( 1 ) ) = n δ ( 2 + o ( 1 ) )sδlognδlogn2δlogn(2+o(1))=nδ(2+o(1))

Rahul Santhanam menunjukkan pada tahun 2001 (lihat doi: 10.1016 / S0020-0190 (00) 00227-1 ) bahwa produk ruang-waktu untuk mesin Turing yang menentukan SAT harus setidaknya ; argumennya juga berlaku untuk mesin nondeterministic. Oleh karena itu , dan setidaknya bit dari worktape biner diperlukan.Ω(n2o(1))log nδ1logn

Lebih umum, worktape tambahan dan alfabet worktape yang lebih besar mengubah eksponen dengan faktor konstan. Ini pada akhirnya mengurangi faktor , tetapi batas bawah ruang masih .Ω ( log n )δΩ(logn)


2

Mungkin kita dapat membuktikan ruang batas bawah untuk SAT dengan cara ini (tapi saya tidak yakin dengan analisis batas / asimptotik, sehingga jawaban saya bisa salah total).logn

Pada model mesin Turing dengan satu tape input read-only dan satu tape work, keduanya di atas alfabet biner , untuk setiap penentu dengan status pada input ukuran kita memiliki itu:c nΣ={0,1}cn

T(n)c2S(n)nS(n)(1)

jika tidak, mesin Turing akan berulang selamanya (komponen mewakili semua konfigurasi pita yang mungkin, komponen mewakili posisi kepala kaset input, sedangkan komponen mewakili posisi kepala pita kerja). Pada satu pita, satu kepala TM lebih dari alfabet biner (1) menjadi . n S ( n ) T ( n ) c 2 S ( n ) S ( n )2S(n)nS(n)T(n)c2S(n)S(n)

Mengalikan kedua istilah dengan dan menerapkan tradeoff waktu-ruang umum untuk SAT, kita dapatkan:S(n)

n1.801+o(1)S(n)T(n)cS(n)22S(n)n

Jadi memilih spasi batas atas seperti untuk SAT akan menyebabkan kontradiksi, memangS(n)(logn)1ϵ

limnn1.801c((logn)1ϵ)22(logn)1ϵn=

limn(0.801lognlogc2(1ϵ)log(logn)(logn)1ϵ)=

Tampaknya setidaknya ada dua cara umum untuk menunjukkan bahwa batas atas mengarah ke kontradiksi. Terutama dalam pikiran saya menggunakan (dasarnya identik, tapi sedikit lebih mudah untuk bekerja dengan) ketidaksetaraan untuk beberapa konstan . Langkah terakhir yang Anda berikan juga bisa dibuat lebih kuat, sebagai kontradiksi berikut bahkan dari untuk . o(logn)T(n)2logn+C.S(n)CS(n)δlognδ<0.801/C
András Salamon

@ AndrásSalamon: di sisi terikat , Anda tidak dapat mengharapkan peningkatan mudah: dari S. Buss dan R. Williams. Batas pada Perdagangan-Alternatif Bukti untuk Batas Waktu-Ruang Bawah, 2012: "Kami menunjukkan bahwa teknik-teknik baru terbukti diperlukan untuk membuktikan batas waktu-ruang yang lebih baik untuk masalah kepuasan. Yaitu, metode" perdagangan-alternatif bukti "digunakan untuk menetapkan bahwa SAT tidak dapat diselesaikan dalam waktu dan spasi tidak dapat membuktikan sebuah batas waktu lebih rendah, untuk setiap ". Apakah kamu punya ide :-)? n 2 cos ( π /STn2cos(π/7)no(1)n2cos(π/7)+ϵϵ>0
Marzio De Biasi

Saya pikir ini adalah tentang sejauh mana seseorang dapat menggunakan batas ruang-waktu, tepatnya karena pendekatan Ryan sejauh batas ini pergi.
András Salamon

Untuk bahkan menyimpan instance SAT Anda perlu dan membacanya Anda perlu waktu. Bukankah ini membuktikan ST batas bawah? Ω ( n ) Ω ( n 2 )Ω(n)Ω(n)Ω(n2)
T ....

@ Turbo, tidak jelas bahwa setiap algoritma untuk memutuskan SAT harus menyimpan contoh: membuktikan bit ruang deterministik batas bawah akan menunjukkan . LN PΩ(n)LNP
András Salamon
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.