Pemisahan eksplisit antara konstruk waktu dan konstruk ruang?

10

Tunjukkan fungsi yang dapat dikonstruksi-ruang tetapi bukan-waktu-terstruktur.f(n)

Apakah masalah ini terkait dengan kemungkinan pemisahan antara kelas kompleksitas DTIME (f (n)) dan SPACE (f (n))?

Tian Liu
sumber
3
en.wikipedia.org/wiki/Constructible_function Sejauh yang saya tahu, pertanyaan ini tidak terkait dengan TIME (f (n)) vs SPACE (f (n)), tetapi perhatikan kedua kelas ini diketahui berbeda. Cari artikel "Tepat Waktu Versus Ruang", "Tepat Waktu Versus Ruang II", "Tepat Waktu Versus Ruang III"
Ryan Williams
Pengamatan cepat: Saya pikir masalahnya setara dengan menanyakan apakah DTIME (f (n)) ∩ BENAR-BENAR dan SPACE (f (n)) ALL BENAR-BENAR bisa berbeda untuk beberapa fungsi yang dapat dibangun ruang f (n), di mana TALLY berada kelas bahasa yang merupakan himpunan bagian dari 1 ^ *.
Tsuyoshi Ito
Ups, mungkin tidak sama. Ini adalah bukti satu arah. Jika ada bahasa L = {1 ^ n | n∈S} ∈ TALLY∩ (SPACE (f (n)) ∖ DTIME (f (n))) untuk beberapa fungsi pembangun ruang f (n), lalu f (n) dan f (n) + f (n) + χ_S (n ) (di mana χ_S (n) adalah fungsi karakteristik S) adalah ruang-konstruktif tetapi tidak keduanya-waktu-konstruktif, dan oleh karena itu setidaknya salah satu dari mereka adalah fungsi ruang-konstruktif tetapi tidak-konstruktif-waktu.
Tsuyoshi Ito
2
Terima kasih kepada Ryan, dengan komentar Anda, saya tahu bahwa TIME (f (n)) terkandung dalam SPACE (f (n) / log f (n)) oleh Hopcroft et al, dan yang terakhir terkandung dalam SPACE (f (n)) )) oleh teorema hierarki ruang.
Tian Liu
Berkat Tsuyoshi, ide-ide yang sangat pintar, jika f (n) dan f (n) + χ_S (n) keduanya dapat dikonstruksi waktu, maka kita dapat memutuskan apakah n∈S paling banyak dalam f (n) +1 waktu, dengan demikian L ∈ BENAR-BENAR ∩ DTIME (f (n)), sebuah kontradiksi. tetapi dapatkah konstruksi Anda disebut "explict"? yang mana yang tidak dapat dikonstruksi-waktu, f (n) atau f (n) + χ_S (n)? dengan "eksplisit" jika saya maksudkan bahwa kami dapat memutuskan nilai f (n) untuk semua n, maka konstruksi Anda akan dijelaskan.
Tian Liu

Jawaban:

6

Suatu fungsi adalah waktu yang dapat dibangun jika ada mesin Turing M yang, pada input 1 n , menghitung fungsi x T ( | x | ) dalam waktu O ( T ( n ) ) .T:NNM.1nxT(|x|)HAI(T(n))

Fungsi adalah ruang yang dapat dibangun jika ada mesin Turing M yang, pada input 1 n , menghitung fungsi x S ( | x | ) dalam ruang O ( S ( n ) ) .S:NNM.1nxS(|x|)HAI(S(n))

Beberapa teks mengharuskan fungsi konstruktif waktu / ruang tidak berkurang. Beberapa teks memerlukan fungsi konstruktif waktu memenuhi , dan fungsi fungsi ruang memenuhi S ( n ) log n . Beberapa teks tidak menggunakan notasi O ( ) dalam definisi.T(n)nS(n)catatannHAI()

Bagaimanapun, mudah untuk menunjukkan bahwa setiap fungsi "biasa" , memuaskan f ( n ) log n dan f ( n ) = o ( n ) adalah ruang yang dapat dikonstruksi, tetapi tidak dapat dikonstruksi dengan waktu.ff(n)catatannf(n)=Hai(n)

Masalah konstribilitas tidak secara langsung terkait dengan kemungkinan pemisahan antara kelas kompleksitas DTIME (f (n)) dan SPACE (f (n)). Namun, pernyataan teorema hierarki waktu dan ruang menggabungkan konstrukibilitas. Sebagai contoh:

Teorema Hierarki Waktu Jika , g adalah fungsi yang dapat dikonstruksi waktu yang memuaskan f ( n ) log f ( n ) = o ( g ( n ) ) , maka D T I M E ( f ( n ) ) adalah himpunan bagian yang tepat dari D T I M E ( g ( n ) ) .fgf(n)catatanf(n)=Hai(g(n))DTsayaM.E(f(n))DTsayaM.E(g(n))

Lihat buku Arora & Barak atau Papadimitriou untuk informasi lebih lanjut. (Yang terakhir menggunakan istilah "fungsi kompleksitas yang tepat" untuk merujuk ke salah satu yang baik ruang dan waktu dibangun.)

MS Dousti
sumber
Terima kasih. Saya lebih suka definisi bahwa fungsi adalah waktu / ruang-dibangun jika ada mesin Turing yang berjalan tepat langkah / kotak kaset. Tentu saja, dengan teorema percepatan waktu / ruang linear, ini setara dengan definisi / buku teks Anda.
Tian Liu
Sadeq, definisi Anda untuk "konstruktif waktu" dan "konstruktif ruang" identik dengan kata demi kata. Apakah Anda mengatakan bahwa ini hanya dua nama yang berbeda untuk konsep yang persis sama? Jika tidak, mungkin Anda harus memperbaiki definisi Anda.
Yitz
Itu hanya kesalahan ketik.
Tsuyoshi Ito
Maaf yitz Saya memperbaiki kesalahan ketik.
MS Dousti
4

adalah ruang yang dapat dibangun tetapi tidak dapat dibangun untuk waktu. Alasannya adalah bahwa Anda dapat memetakan 1 n ke representasi biner di ruang O ( log n ) tetapi tidak dalam waktu O ( log n ) .f(n)=catatann1nHAI(catatann)HAI(catatann)

Mohammad Al-Turkistany
sumber
Terima kasih atas komentar dan jawabannya. Tetapi bisakah Anda menunjukkan fungsi f (n) yang paling tidak linear, yaitu, f (n)> = n, untuk pemisahan? Tampaknya fungsi yang dibangun oleh waktu tidak boleh kurang dari n karena alasan yang jelas: harus membaca semua bit input, jika tidak argumen musuh dapat menunjukkan bahwa fungsi tersebut tidak dihitung dengan benar.
Tian Liu
@Tian, adalah fungsi yang bisa dibangun ruang tetapi bukan fungsi untuk waktu. f(n)=n
Mohammad Al-Turkistany
Terima kasih lagi, tetapi apakah Anda berasumsi bahwa read-head pada tape input awalnya terletak di sebelah kiri ke bit pertama input? dalam hal ini, untuk mendeteksi bit input terakhir, kepala harus bergerak ke kanan n +1 kali hingga memenuhi kosong pertama setelah input. Kemudian adalah waktu-constructible. Jadi tolong beri pemisahan "non-trival" dengan fungsi f (n)> = n +1? f(n)=n+1
Tian Liu
2

Jika semua fungsi ruang-constructible adalah waktu-constructible, maka . Untuk membuktikan bahwa (dan untuk memberikan contoh fungsi ruang-non-sepele yang dapat dibangun tetapi mungkin bukan fungsi yang dapat dibangun-waktu), mari kita ambil yang sewenang-wenang (mungkin E X P - S P A C E - C O M P L E T E ) masalah L E X PEXP-TsayaM.E=EXP-SPSEBUAHCEEXP-SPSEBUAHCE-CHAIM.PL.ETE , L { 0 , 1 } . Lalu ada sebuah k N , st L dapat diselesaikan oleh DTM M di 2 n k ruang. Sekarang tentukan fungsi f ( n ) = { 8 n + 2 if  ( pertama k L.EXP-SPSEBUAHCEL.{0,1}kNL.M.2nk

f(n)={8n+2jika (pertama catatann+1k bit bsayan(n))L.8n+1lain

2nffL.

Jawaban ini menggunakan ide yang sama.

David G
sumber