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

Nhiều người tin rằng . Tuy nhiên, chúng ta chỉ biết rằng ở cấp thứ bậc đa thức thứ hai, tức là . Một bước để hiển thị \ mathsf {BPP} = \ mathsf {P} trước tiên là đưa nó xuống cấp độ đầu tiên của hệ thống phân cấp …

34 cc.complexity-theory  randomness  randomized-algorithms  nondeterminism  barriers 

Không giới hạn ràng buộc liên kết một hàm với một lớp ngôn ngữ C được chấp nhận bởi các máy Turing xác định giới hạn tài nguyên, để tạo thành một lớp g - C mới . Lớp này bao gồm những ngôn ngữ được chấp nhận bởi một …

30 cc.complexity-theory  graph-theory  graph-isomorphism  nondeterminism 

Hãy xem xét một automata hữu hạn không xác định A=(Q,Σ,δ,q0,F)A=(Q,Σ,δ,q0,F)A = (Q, \Sigma, \delta, q_0, F) và một hàm f(n)f(n)f(n) . Ngoài ra chúng tôi xác định Σ≤k=⋃i≤kΣiΣ≤k=⋃i≤kΣi\Sigma^{\leq k} = \bigcup_{i \leq k} \Sigma^i . Bây giờ hãy phân tích các tuyên bố sau: Nếu Σ≤f(|Q|)⊆L(A)Σ≤f(|Q|)⊆L(A)\Sigma^{\leq f(|Q|)} \subseteq L(A) …

28 automata-theory  fl.formal-languages  nondeterminism 

Đặt L1,L2L1,L2L_1,L_2 là hai ngôn ngữ thông thường được đưa ra bởi NFAs M1,M2M1,M2M_1,M_2 làm đầu vào. Giả sử chúng ta muốn kiểm tra xem L1∩L2≠∅L1∩L2≠∅L_1\cap L_2\neq \emptyset . Điều này rõ ràng có thể được thực hiện bằng thuật toán bậc hai tính toán tự động hóa sản phẩm …

23 ds.algorithms  automata-theory  regular-language  nondeterminism 

Đị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 

Tôi có hai câu hỏi lịch sử: Ai là người đầu tiên mô tả tính toán không điều kiện? Tôi biết rằng Cook đã mô tả các vấn đề hoàn chỉnh NP và Edmonds đề xuất rằng thuật toán P là thuật toán "hiệu quả" hoặc "tốt". Tôi đã tìm …

20 reference-request  soft-question  ho.history-overview  nondeterminism 

Vấn đề quyết định CNF-SAT có thể được mô tả như sau: Input: Một công thức boolean ở dạng chuẩn hội.ϕϕ\phi Câu hỏi: Có tồn tại một phép gán biến thỏa mãn không?ϕϕ\phi Tôi đang xem xét một số cách tiếp cận khác nhau để giải quyết CNF-SAT với máy …

19 time-complexity  sat  turing-machines  np  nondeterminism 

Có thể kiểm tra bằng thuật toán nếu một số tính toán là số nguyên hay số nguyên? Nói cách khác, một thư viện có thể thực hiện các số tính toán để cung cấp các hàm isIntegerhay isRationalkhông? Tôi đoán rằng điều đó là không thể, và điều này …

18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 

Một mạch Boolean không xác định có, ngoài các yếu tố đầu bình thường , một tập hợp các nguyên liệu đầu vào "không xác định" y = ( y 1 , ... , y m ) . Một mạch không xác định C chấp nhận đầu vào x nếu …

17 cc.complexity-theory  circuit-complexity  nondeterminism 

Trong lý thuyết automata (automata hữu hạn, automata đẩy xuống, ...) và về độ phức tạp, có một khái niệm về "sự mơ hồ". Máy tự động không rõ ràng nếu có một từ với ít nhất hai lần chạy chấp nhận riêng biệt. Một máy là -ambiguous nếu vì …

17 lo.logic  automata-theory  regular-language  nondeterminism  finite-model-theory 

Vấn đề Hãy là một automaton Buchi, thừa nhận một ngôn ngữ L ⊆ Σ w . Chúng tôi cho rằng A có một chiến lược chấp nhận theo nghĩa sau đây: có một hàm σ : Σ * → Q có thể được sử dụng để chạy thí điểm …

15 fl.formal-languages  automata-theory  regular-language  nondeterminism 

Có thể không tính toán tăng tốc tính toán xác định? Nếu có, bao nhiêu? Bằng cách tăng tốc tính toán xác định bằng thuyết không điều kiện, ý tôi là kết quả của mẫu: D T i m e (f( n ) ) ⊆ N T i m e …

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

Một Xor automata không xác định (NXA) về mặt cú pháp là một NFA, nhưng một từ được cho là được chấp nhận bởi NXA nếu nó có số lượng đường dẫn chấp nhận lẻ (thay vì ít nhất một đường dẫn chấp nhận trong trường hợp NFA). Dễ dàng …

14 fl.formal-languages  automata-theory  nondeterminism  minimization 

Bằng chứng Omer Reingold rằng đưa ra một thuật toán cho USTCON (Trong một U ndirected đồ thị với các đỉnh đặc biệt s và t , là họ Côn nối kết?) Chỉ sử dụng logspace. Ý tưởng cơ bản là xây dựng một biểu đồ mở rộng từ biểu …

13 graph-algorithms  nondeterminism  expanders  logspace 

Theo bài báo này , thảo luận về một phần mở rộng không xác định của Giả thuyết Thời gian theo hàm mũ mạnh mẽ (SETH), "[[]] Williams gần đây đã đưa ra các giả thuyết liên quan về độ phức tạp của Merlin-Arthur của k-TAUT là sai". Tuy nhiên, …

13 sat  proofs  nondeterminism