Câu hỏi được gắn thẻ «time-hierarchy»

Nếu chúng ta xem xét định lý phân cấp DTIME, chúng ta đã có một bản ghi do chi phí mô phỏng của Máy Turing xác định bằng một máy phổ quát: DTIME(flogf)⊊DTIME(f)DTIME(flog⁡f)⊊DTIME(f)DTIME(\frac{f}{\log f}) \subsetneq DTIME(f) Chúng tôi chưa có loại chi phí này cho NTIME của DSPACE. Một lời …

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

Trong một câu: sự tồn tại của một hệ thống phân cấp cho có ngụ ý bất kỳ kết quả derandomization nào không?BPTIMEBPTIME\mathsf{BPTIME} Một câu hỏi liên quan nhưng vaguer là: sự tồn tại của một hệ thống phân cấp cho có ngụ ý bất kỳ giới hạn dưới khó …

29 cc.complexity-theory  randomness  derandomization  time-hierarchy 

Định lý phân cấp thời gian không phá hủy ban đầu là do Cook (liên kết là S. Cook, Một hệ thống phân cấp cho độ phức tạp thời gian không xác định , JCSS 7 343 Nott353, 1973). Các trạng thái lý rằng đối với bất kỳ số thực …

22 cc.complexity-theory  nondeterminism  time-hierarchy 

Có đúng là có các vấn đề trong hệ thống phân cấp đa thức có thể giải quyết được trong thời gian (bởi một máy Turing xen kẽ ở một mức độ nào đó của hệ thống phân cấp đa thức) không thể giải quyết được trong trong bất kỳ …

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

Định lý phân cấp thời gian nói rằng máy turing có thể giải quyết nhiều vấn đề hơn nếu chúng có (đủ) nhiều thời gian hơn. Liệu nó có giữ theo một cách nào đó nếu không gian bị giới hạn không có triệu chứng? Làm thế nào để liên …

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

Xác định là lớp ngôn ngữ có thể được chấp nhận bởi một máy Turing (multitape) trong thời gian . (" " chỉ để đơn giản hóa ký hiệu và tránh nhầm lẫn.) Lưu ý rằng không có xung quanh .DTIME(f(n))DTIME(f(n))\mathsf{DTIME}(f(n))f(n)+1f(n)+1f(n) + 1+1+1+ 1O(⋅)O(⋅)O(\cdot)f(n)+1f(n)+1f(n) + 1 Có đúng là không?DTIME(n)=DTIME(2n)DTIME(n)=DTIME(2n)\mathsf{DTIME}(n) …

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

Tóm lại, các định lý phân cấp thời gian nói rằng một máy Turing có thể giải quyết nhiều vấn đề hơn nếu nó có nhiều thời gian hơn cho việc tính toán. Cụ thể cho TM xác định và các hàm có thể xây dựng theo thời gian với …

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

\newcommand{\cc}[1]{\mathsf{#1}} Liệu một định lý dọc theo các dòng sau có: Nếu g(n)g(n)g(n) lớn hơn một chút so với f(n)f(n)f(n) , thì 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) ? Thật dễ dàng để chỉ ra rằng ít nhất NP∩coNP≠NEXP∩coNEXPNP∩coNP≠NEXP∩coNEXP\cc{NP} \cap \cc{coNP} \neq \cc{NEXP} \cap \cc{coNEXP} . Chứng minh: Giả …

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