«time-hierarchy» 태그된 질문

DTIME 계층 정리를 살펴보면 범용 기계에 의한 결정 성있는 Turing Machine의 시뮬레이션으로 인한 오버 헤드로 인해 로그가 생겼습니다. DTIME(flogf)⊊DTIME(f)DTIME(flog⁡f)⊊DTIME(f)DTIME(\frac{f}{\log f}) \subsetneq DTIME(f) 우리는 DSPACE의 NTIME에 대해 이런 종류의 오버 헤드를 갖지 않았습니다. 시뮬레이터의 차이점을 고려하여 증명의 세부 사항에서 기본 타당성을 제시합니다. 내 질문은 다음과 같습니다 .DTIME 계층 정리 증명의 세부 …

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

한 로 : 에 대한 계층 구조가 존재 한다는 것은 임의 화 해제 결과를 의미합니까?B P T I M EBPTIME\mathsf{BPTIME} 관련이 있지만 모호한 질문은 : 에 대한 계층 구조의 존재가 어려운 하한을 의미합니까? 이 문제의 해결은 복잡성 이론의 알려진 장벽에 부딪히는가?B P T I M EBPTIME\mathsf{BPTIME} 이 질문에 대한 나의 …

29 cc.complexity-theory  randomness  derandomization  time-hierarchy 

최초의 비결정론 적 시간 계층 정리는 Cook에 기인한다 (링크는 비결정론 적 시간 복잡성을위한 계층 , S. Cook , JCSS 7 343-353, 1973). 정리는 임의의 실수 r1r1r_1 과 r2r2r_2 에 대해 1≤r1<r21≤r1<r21 \le r_1 \lt r_2 이면 NTIME ( nr1nr1n^{r_1} )은 NTIME ( nr2nr2n^{r_2} ) 에 엄격하게 포함된다고 명시 합니다. 증명의 …

22 cc.complexity-theory  nondeterminism  time-hierarchy 

이것은 시간의 다항식 계층 풀 수있는 문제가있는 것은 사실이다 으로 풀 수없는 (다항식 계층의 일부 레벨 기계 튜링 교류에 의해) 의 다항식 계층의 모든 수준? 다시 말해, P와 NP에 대한 다항식 계층에 대한 시간 계층 정리가 존재 하는가? 있다면-참조가 좋을 것입니다.O(nk)O(nk)O(n^k)O(nk−1)O(nk−1)O(n^{k-1}) 내가 직면 한 어려움은 모든 레벨의 계층에서 머신을 시뮬레이션 …

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

시간 계층 정리에 따르면 튜링 기계는 시간이 충분하다면 더 많은 문제를 해결할 수 있다고합니다. 공간이 무증상으로 제한되는 경우 어떤 방식으로 유지됩니까? 어떻게 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} 는 충분히 빨리 자 랍니까? I는, 특히 그 경우에 관심이 s(n)=ns(n)=ns(n) = n , g(n)=n3g(n)=n3g(n) = n^3 및 f(n)=2nf(n)=2nf(n) …

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

을 시간 ( 시간에 (다중 테이프) 튜링 머신에서 허용 할 수있는 언어 클래스로 정의하십시오 . " "은 표기법을 단순화하고 혼동을 피하기위한 것입니다. 주위 에는 가 없습니다 .F ( N ) + 1 + 1 O ( ⋅ ) F ( N ) + 1D T I M E (f( n …

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

간단히 말해서 시간 계층 정리 는 Turing 머신이 계산 시간이 더 있으면 더 많은 문제를 해결할 수 있다고 말합니다. 결정적 TM과 시간 constructable 기능 상세히 와 F ( N ) 로그 F ( N ) = O ( g ( N ) ) 는 인 D T I M E …

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