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.
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 .
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.