«time-hierarchy» etiketlenmiş sorular

DTIME hiyerarşi teoremine bakarsak, deterministik bir Turing Makinesi'nin evrensel bir makine tarafından simülasyonunda genel gider nedeniyle bir kayıt tutarız: DTIME(flogf)⊊DTIME(f)DTIME(flog⁡f)⊊DTIME(f)DTIME(\frac{f}{\log f}) \subsetneq DTIME(f) NTIME DSPACE için bu tür bir ek yükümüz yok. Temel bir gerekçe, simülatörler arasındaki farkı göz önünde bulundurarak ispatın detaylarından gelir. Sorum şu: DTIME hiyerarşisi teoreminin ispatının …

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

Bir cümleyle: için bir hiyerarşinin varlığı herhangi bir derandomizasyon sonucuna mı yol açar?B P T İ M EBPTIME\mathsf{BPTIME} İlgili ancak belirsiz bir soru şudur: için bir hiyerarşinin varlığı herhangi bir zor alt sınır anlamına mı gelir? Bu sorunun çözümü, karmaşıklık teorisindeki bilinen bir engelden etkilenir mi?B P T İ M …

29 cc.complexity-theory  randomness  derandomization  time-hierarchy 

Orijinal Nondeterministic Zaman Hiyerarşisi Teoremi Cook'a aittir (link S. Cook, nondeterministik zaman karmaşıklığı için bir hiyerarşi , JCSS 7 343-353, 1973). Herhangi bir gerçek sayılar için bu teoremi durumları ve r 2 , eğer 1 ≤ r 1 < r, 2 , sonra NTIME ( n- r 1 ) sıkı …

22 cc.complexity-theory  nondeterminism  time-hierarchy 

O zaman içinde polinom hiyerarşi çözülebilir içinde sorunlar olduğunu doğru mudur içinde çözülebilir değildir (polinom hiyerarşinin bazı düzeyde makineyi Turing ardışımı ile) O ( n k - 1 ) herhangi seviyesindeki polinom hiyerarşisi? Başka bir deyişle - polinom hiyerarşisi için P ve NP'de olduğu gibi bir zaman hiyerarşisi teoremi var …

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

Zaman hiyerarşi teoremi, turing makinelerinin (yeterli) daha fazla zamanları varsa daha fazla sorunu çözebileceğini belirtir. Alan asimptotik olarak sınırlıysa bir şekilde dayanıyor mu? Nasıl yok ilgili ise yeterince hızlı büyüyor mu?DTISP(g(n),O(s(n)))DTISP(g(n),O(s(n)))\textrm{DTISP}(g(n), O(s(n)))DTISP(f(n),O(s(n)))DTISP(f(n),O(s(n)))\textrm{DTISP}(f(n), O(s(n)))fgfg\frac{f}{g} Özellikle , ve olmasıyla ilgileniyorum .s(n)=ns(n)=ns(n) = ng(n)=n3g(n)=n3g(n) = n^3f(n)=2nf(n)=2nf(n) = 2^n Özellikle, aşağıdaki dili : Lk:={(⟨M⟩,w):M …

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

, zamanında bir (çok bantlı) Turing makinesi tarafından kabul edilebilecek dil sınıfı olarak tanımlayın . (" " sadece gösterimi basitleştirmek ve karışıklığı önlemek içindir.) etrafında olmadığını unutmayın .f ( n ) + 1 + 1 O ( ⋅ ) f ( n ) + 1D T I M E (f( …

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

Özetle, zaman hiyerarşisi teoremleri , bir Turing makinesinin hesaplama için daha fazla zaman varsa daha fazla sorunu çözebileceğini söylüyor. Deterministik TM ve zaman constructable fonksiyonlar için detaylı ile o ve belirleyici olmayan TM ve zamana göre yapılandırılabilir f, g ile f (n + 1) = o (g (n)) için NTIME …

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