Teorema hierarki waktu adalah subjek dari proyek diploma saya, mungkin Anda ingin melihat komentar pada pertanyaan saya Batas bawah dan pemisahan kelas .
Melihat kembali ke pertanyaan ini dan bagaimana hubungannya dengan apa yang Anda tanyakan, saya mendapat ide yang mungkin menunjukkan bahwa multitape untuk single tape TM simulasi yang diperlukan oleh bukti teorema tidak dapat diperbaiki. Maka, pendekatan lain diperlukan jika kita ingin meningkatkan hasil ini.
EDIT: Bukti ini salah, lihat komentar di bawah untuk alasan yang tepat. Saat ini saya sedang mengedit jawaban untuk mencerminkan itu.
Biarkan menjadi bahasa { 0 k 1 k | k ≥ 0 } .A{0k1k|k≥0}
Pada mesin tape tunggal, ada algoritma (Anda dapat menemukan detail dari algoritma ini dalam bab 7.1.2 dari buku Sipser "Pengantar Teori Komputasi). Dalam referensi yang sama, Anda dapat melihat bahwa bahasa dalam o (n \ log n) jika dan hanya jika itu adalah biasa. Kaveh juga menyediakan makalah asli untuk klaim ini dalam pertanyaan yang ditautkan di atas.O(nlogn)
Dalam komentar pertanyaan saya, Ryan Williams menggambarkan algoritma untuk masalah yang sama, menggunakan 2-tape TM.O(n)
Asumsikan sekarang bahwa ada teknik untuk mensimulasikan multitape TM ke dalam single tape TM yang memiliki waktu berjalan , di mana adalah waktu berjalan dari simulasi TM . Dengan menerapkannya pada mesin yang diilustrasikan Ryan, kita akan mendapatkan satu kaset TM yang akan berjalan di . Oleh karena itu, adalah reguler, yang merupakan kontradiksi. Jadi, kami menyimpulkan bahwa overhead adalah yang terbaik yang bisa kami lakukan ketika mensimulasikan mesin multi tape dengan mesin single tape.T ( n ) o ( n logo(T(n)logT(n))T(n)o(nlogn)log T ( n )AlogT(n)
Saya menyadari ini adalah pernyataan yang kuat, jadi saya mungkin salah dalam penafsiran saya.
Bahkan jika ada teknik yang memungkinkan untuk meningkatkan hasil ini, saya percaya bahwa tidak mungkin untuk mencocokkan hasil untuk atau . Intuisi saya berasal dari fakta berikut:S P A C ENTIMESPACE
Ada hasil yang sangat dikenal yang menyatakan . Dengan asumsi bahwa Saya percaya hasil ini ditingkatkan menjadi , untuk setiap . Jadi, kelas non-deterministik yang sangat kecil jauh lebih kuat daripada deterministik apa pun. . Jadi, mengingat seberapa kuat waktu non-deterministik sumber daya, saya berharap bahwa jumlah waktu deterministik yang lebih besar akan diperlukan untuk membuat TM lebih kuat untuk mengimbangi kekuatan non-determinisme.DTIME(n)≠NTIME(n)P≠NPDTIME(nk)≠NTIME(n)k