Pertanyaan yang diberi tag «time-hierarchy»

Jika kita melihat teorema hierarki DTIME, kita punya log karena overhead dalam simulasi Mesin Turing deterministik oleh mesin universal: D TsayaM.E( flogf) ⊊ D TsayaM.E( f)DTsayaM.E(flog⁡f)⊊DTsayaM.E(f)DTIME(\frac{f}{\log f}) \subsetneq DTIME(f) Kami belum memiliki overhead semacam ini untuk NTIME dari DSPACE. Pembenaran dasar berasal dari rincian bukti dengan mempertimbangkan perbedaan antara simulator. …

30 cc.complexity-theory  universal-computation  time-hierarchy 

Dalam satu kalimat: apakah akan ada hierarki untuk menyiratkan hasil derandomisasi?BPTIMEBPTIME\mathsf{BPTIME} Pertanyaan yang terkait tetapi tidak jelas adalah: apakah keberadaan hierarki untuk menyiratkan adanya batas bawah yang sulit? Apakah resolusi masalah ini menabrak penghalang yang dikenal dalam teori kompleksitas?BPTIMEBPTIME\mathsf{BPTIME} Motivasi saya untuk pertanyaan ini adalah untuk memahami kesulitan relatif (sehubungan …

29 cc.complexity-theory  randomness  derandomization  time-hierarchy 

Teorema Hierarki Waktu Nondeterministik asli adalah karena Cook (tautannya ke S. Cook, Sebuah hierarki untuk kompleksitas waktu nondeterministik , JCSS 7 343-353, 1973). Teorema menyatakan bahwa untuk bilangan real dan , jika maka NTIME ( ) secara ketat terkandung dalam NTIME ( ).r1r1r_1 1 ≤ r 1 < r 2 …

22 cc.complexity-theory  nondeterminism  time-hierarchy 

Apakah benar bahwa ada masalah dalam hirarki dipecahkan polinomial dalam waktu (oleh bolak mesin Turing di beberapa tingkat hirarki polinomial) yang tidak larut dalam O ( n k - 1 ) di setiap tingkat hierarki polinomial? Dengan kata lain - apakah ada teorema hierarki waktu untuk hierarki polinomial seperti yang …

18 cc.complexity-theory  reference-request  polynomial-hierarchy  time-hierarchy 

Teorema hierarki waktu menyatakan bahwa mesin turing dapat memecahkan lebih banyak masalah jika mereka memiliki (cukup) lebih banyak waktu. Apakah itu tahan jika ruang terbatas asimptotik? Bagaimana DTISP(g(n),O(s(n)))DTISP(g(n),O(s(n)))\textrm{DTISP}(g(n), O(s(n))) terkait dengan DTISP(f(n),O(s(n)))DTISP(f(n),O(s(n)))\textrm{DTISP}(f(n), O(s(n))) jika fgfg\frac{f}{g} tumbuh cukup cepat? Saya terutama tertarik pada kasus yang s(n)=ns(n)=ns(n) = n , g(n)=n3g(n)=n3g(n) = …

12 cc.complexity-theory  complexity-classes  turing-machines  space-bounded  time-hierarchy 

Tentukan sebagai kelas bahasa yang dapat diterima oleh mesin Turing (multitape) dalam waktu f ( n ) + 1 . (" + 1 " hanya untuk menyederhanakan notasi dan menghindari kebingungan.) Perhatikan bahwa tidak ada O ( ⋅ ) di sekitar f ( n ) + 1 .DTIME(f(n))DTIME(f(n))\mathsf{DTIME}(f(n))f(n)+1f(n)+1f(n) + 1+1+1+ …

12 cc.complexity-theory  time-complexity  turing-machines  time-hierarchy 

f,gf,gf,gf(n)logf(n)=o(g(n))f(n)log⁡f(n)=o(g(n))f(n) \log f(n) = o(g(n))DTIME(f(n))⊊DTIME(g(n))DTIME(f(n))⊊DTIME(g(n)) DTIME(f(n)) \subsetneq DTIME(g(n))f,gf,gf,gf(n+1)=o(g(n))f(n+1)=o(g(n))f(n+1)=o(g(n))itu adalah Ada banyak hasil (lama dan saat ini) yang menggunakan teorema hierarki waktu untuk membuktikan batas bawah. Ini pertanyaan saya:NTIME(f(n))⊊NTIME(g(n)).NTIME(f(n))⊊NTIME(g(n)). NTIME(f(n)) \subsetneq NTIME(g(n)). Apa yang terjadi jika kita dapat membuktikan hasil yang lebih baik untuk kasus deterministik atau nondeterministik? Jika kita dapat …

10 cc.complexity-theory  lower-bounds  big-picture  time-complexity  time-hierarchy 

\newcommand{\cc}[1]{\mathsf{#1}} Apakah teorema di sepanjang baris berikut ini berlaku: Jika g(n)g(n)g(n) sedikit lebih besar dari f(n)f(n)f(n) , maka NTIME(g)∩coNTIME(g)≠NTIME(f)∩coNTIME(f)NTIME(g)∩coNTIME(g)≠NTIME(f)∩coNTIME(f)\cc{NTIME}(g) \cap \cc{coNTIME}(g) \neq \cc{NTIME}(f) \cap \cc{coNTIME}(f) ? Sangat mudah untuk menunjukkan bahwa NP∩coNP≠NEXP∩coNEXPNP∩coNP≠NEXP∩coNEXP\cc{NP} \cap \cc{coNP} \neq \cc{NEXP} \cap \cc{coNEXP} , setidaknya. Bukti: Asumsikan tidak. Kemudian NEXP∩coNEXP⊆NP∩coNP⊆NP∪coNP⊆NEXP∩coNEXP,NEXP∩coNEXP⊆NP∩coNP⊆NP∪coNP⊆NEXP∩coNEXP,\cc{NEXP} \cap \cc{coNEXP} \subseteq \cc{NP} \cap …

8 cc.complexity-theory  time-complexity  nondeterminism  time-hierarchy  hierarchy-theorems