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

Tôi đang cố gắng để hiểu các hệ thống bằng chứng tương tác và đã thử vấn đề sau đây như là một bài tập. Chúng tôi biết rằng và , vì vậy hãy đưa ra các hệ thống bằng chứng tương tác (dễ hiểu) cho ?PH⊆ PSPA CEPH⊆PSPMộtCEPH \subseteq …

9 complexity-theory  interactive-proof-systems 

Cho một chương trình số nguyên (nhị phân) có dạng:0 , 10,10,1 mins.t.f(x)Ax=bxi≥0xi∈{0,1}∀i∀iminf(x)s.t.Ax=bxi≥0∀ixi∈{0,1}∀i \begin{array}{lll} \text{min} & f(x) & \\ \text{s.t.} & A x = b \\ & x_i \ge 0 & \quad \forall i\\ & x_i \in \{0,1\} & \quad \forall i \end{array} Lưu ý rằng kích thước của không …

9 complexity-theory  np-complete  approximation  integer-programming 

Tôi bối rối về cách định nghĩa PP và BPP . Giả sử là hàm đặc trưng cho ngôn ngữ . M là máy Turing xác suất. Các định nghĩa sau có đúng không:Lχχ\chiLL\mathcal{L} P P = { L : P r [ χ ( x ) ≠ M ( …

9 complexity-theory  terminology  randomized-algorithms  complexity-classes 

Là biến thể của vấn đề tổng tập hợp con dễ dàng / được biết đến? Cho một số nguyên và một tập hợp các số nguyên dương sao cho mỗi có tối đa bit được đặt thành ( ); có tập con sao cho tổng các phần tử của …

9 complexity-theory  reference-request  decision-problem 

Đặt là ngôn ngữ của tất cả các công thức -CNF , sao cho ít nhất các mệnh đề của có thể được thỏa mãn. 2 φ ( 1LϵLϵL_\epsilon222φφ\varphiφ(12+ϵ)(12+ϵ)(\frac{1}{2}+\epsilon)φφ\varphi Tôi cần chứng minh rằng có tồn tại st là -hard cho bất kỳ .L ε N P ε < ε …

9 complexity-theory  satisfiability  approximation 

Tôi gặp vấn đề sau: Cho một đồ thị chu kỳ có hướng với trọng số cạnh có giá trị thực, và hai đỉnh s và t, tính toán đường cắt tối thiểu. Đối với các biểu đồ chung, đây là NP-hard, vì người ta có thể giảm tối đa …

9 algorithms  complexity-theory  graph-theory  weighted-graphs 

Hãy để chúng tôi nói rằng chúng tôi biết rằng vấn đề A là khó khăn, sau đó chúng tôi giảm A thành vấn đề B chưa biết để chứng minh B cũng khó khăn. Một ví dụ: chúng ta biết 3 màu là khó. Sau đó, chúng tôi giảm …

9 complexity-theory  np-complete  reductions 

Điều nổi tiếng là mọi hàm boolean đều có thể được nhận ra bằng cách sử dụng mạch boolean có độ sâu 2 (qua các biến, giá trị phủ định và giá trị không đổi) có chứa cổng AND trong lần đầu tiên cấp độ và một cổng OR duy …

9 complexity-theory  logic  circuits 

Giả sử chúng ta muốn tham gia hai mối quan hệ trên một vị ngữ. Đây có phải là NC không? Tôi nhận ra rằng một bằng chứng về việc nó không ở NC sẽ là bằng chứng cho thấy , vì vậy tôi chấp nhận bằng chứng về việc …

9 complexity-theory  time-complexity  parallel-computing  database-theory  descriptive-complexity 

Có tập hợp gồm phần tử, giả sử tôi muốn tính hàm nhạy cảm với tất cả các phần của đầu vào, tức là phụ thuộc vào chính thành viên của (nghĩa là có thể thay đổi bất kỳ thành viên nào của thành thứ gì đó khác để có …

9 complexity-theory 

Lấy ví dụ về việc giảm 3d → 2d: Chi phí mô phỏng thiết bị tự động di động 3d bằng thiết bị tự động di động 2d là bao nhiêu? Đây là một loạt các câu hỏi cụ thể hơn: Những loại thuật toán sẽ có độ phức tạp …

9 complexity-theory  time-complexity  cellular-automata 

Trong các ứng dụng trong thế giới thực có lợi ích cụ thể khi sử dụng thuật toán thay vì thuật toán ?O(log(log(n))O(log⁡(log⁡(n))\mathcal{O}(\log(\log(n))O(log(n))O(log⁡(n))\mathcal{O}(\log(n)) Đây là trường hợp khi một người sử dụng ví dụ cây van Emde Boas thay vì triển khai cây tìm kiếm nhị phân thông thường hơn. …

9 algorithms  complexity-theory  binary-trees  algorithm-analysis  search-trees 

Là đảo ngược một ma trận trong lớp Độ phức tạp ?PP\text{P} Từ thời gian chạy tôi sẽ nói có nhưng ma trận đảo ngược có thể chứa các mục trong đó kích thước không bị giới hạn bởi đa thức bởi đầu vào?O(n3)O(n3)\mathcal{O}(n^3)

9 complexity-theory 

Gần đây tôi đã thảo luận với một người bạn về một trang web đề xuất các thách thức regex, chủ yếu khớp một nhóm từ với một thuộc tính đặc biệt. Anh ta đang tìm kiếm một regex khớp với các chuỗi như ||||||||số lượng số |nguyên tố. Tôi …

9 formal-languages  machine-models  logic  boolean-algebra  xor  cryptography  algorithms  machine-learning  algorithms  paging  virtual-memory  programming-languages  object-oriented  algorithms  search-algorithms  strings  binary-search  formal-grammars  context-free  algorithms  algorithms  correctness-proof  greedy-algorithms  permutations  logic  first-order-logic  logic-programming  algorithms  complexity-theory  computability  programming-languages  complexity-theory  complexity-classes  quantum-computing  reductions  formal-languages  programming-languages  semantics  operational-semantics  small-step-semantics  sets  first-order-logic  computer-networks  communication-protocols 

Tôi có một vấn đề mà tôi nghi ngờ là NP-đầy đủ. Thật dễ dàng để chứng minh rằng đó là NP. Dòng suy nghĩ hiện tại của tôi xoay quanh việc sử dụng giảm từ ba lô nhưng nó sẽ dẫn đến các trường hợp 0-1-Knapsack với giá trị …

9 complexity-theory  np-complete  decision-problem  packing