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

Greibach nổi tiếng được xác định một ngôn ngữ , cái gọi là phiên bản không xác định của , chẳng hạn rằng bất kỳ CFL là một hình ảnh hình thái nghịch đảo của . Có tồn tại một tuyên bố tương tự với DCFL, có thể với một …

12 fl.formal-languages  open-problem  context-free  nondeterminism  hard-instances 

Bài viết này đưa ra một bằng chứng rằng trong một trò chơi có cửa và tấm áp lực, thật khó để xác định liệu avatar (của người chơi) có thể đạt đến một vị trí nhất định hay không. Điều này được chứng minh bằng cách giảm từ TQBF …

12 reductions  nondeterminism  pspace 

Nếu chúng ta có thể chứng minh rằng , thì nó có ngụ ý rằng không?L = PL=P\mathsf{L}=\mathsf{P}N L = N PNL=NP\mathsf{NL}=\mathsf{NP} Tôi nghĩ đó là trường hợp, nhưng tôi không thể chứng minh điều đó (cũng cho điều ngược lại).

10 cc.complexity-theory  complexity-classes  nondeterminism 

Tính toán của máy Turing không phá hủy (NTM) nổi tiếng là có thể biểu diễn dưới dạng cây cấu hình, bắt nguồn từ cấu hình bắt đầu. Bất kỳ chuyển đổi trong chương trình được đại diện bởi một liên kết cha-con trong cây này. Các cây tương tự …

10 cc.complexity-theory  quantum-computing  randomness  derandomization  nondeterminism 

Hãy là một bảng chữ cái kích thước 2 , và xem xét DFAs tối thiểu có kích thước được bao bọc bởi ít nhất m . Đặt f ( m ) biểu thị số lượng DFA tối thiểu khác nhau như vậy.ΣΣ\Sigma222mmmf( m )f(m)f(m) Chúng ta có thể tìm …

9 cc.complexity-theory  automata-theory  nondeterminism  dfa 

Đây là một cách tiếp theo để tăng tốc độ không xác định của tính toán xác định . Có hợp lý không khi thuyết không điều kiện (hay nói chung là xen kẽ) sẽ cho phép tăng tốc bậc hai chung của tính toán xác định? Hoặc có bất …

9 cc.complexity-theory  nondeterminism  speed-up  alternation  tradeoff 

Có một số vấn đề NP-Complete ( , , v.v.) được biết là có trong . Những gì về không gian tuyến tính phụ?S A TSAT \mathsf{SAT} S U B S E T S U MSBạnBSETSBạnM \mathsf{SUBSETSUM} D S P A C E ( n )DSPMộtCE(n) \mathsf{DSPACE(n)} Có bất kỳ …

9 cc.complexity-theory  np-hardness  nondeterminism  np-intermediate 

Savický và Woods (Số lượng hàm Boolean được tính theo công thức có kích thước cho trước) chứng minh kết quả sau. Định lý [SW98]: Với mỗi hằng số k>1k>1k>1 , hầu như tất cả các hàm boolean có độ phức tạp công thức nhiều nhất nknkn^k đều có độ …

8 cc.complexity-theory  circuit-complexity  nondeterminism 

Cho một NFA và DFA D tương đương của nó, kết quả từ tổng xác định của N (ví dụ sử dụng cấu trúc powerset), các thuộc tính sau giữ cho N , D và cho bất kỳ từ w :NNNDDDNNNNNNDDDwww đọc w trong thời gian chạy tối đa O …

8 automata-theory  regular-language  nondeterminism  dfa  nfa 

\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 

Nếu chứa một lớp các vấn đề thời gian siêu đa thức, nghĩa làNPNP\mathsf{NP} đối với một số chức năng , D T I M E ( t ) ⊆ N P ,t∈nω(1)t∈nω(1)t \in n^{\omega(1)}DTIME(t)⊆NPDTIME(t)⊆NP\mathsf{DTIME}(t) \subseteq \mathsf{NP} sau đó nếu sau kể từ thời điểm xác định thứ bậc lý …

8 cc.complexity-theory  time-complexity  nondeterminism