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

Gần đây tôi đã đọc một bài báo rất hay của Valiant và Vazirani cho thấy rằng nếu , thì không thể có một thuật toán hiệu quả để giải SAT ngay cả theo lời hứa rằng nó không thỏa mãn hoặc có một giải pháp duy nhất . Do …

14 np-hardness  np-complete  unique-solution  promise-problems 

Vấn đề: Với đại diện bởi một mạch boolean, tạo ra một thống nhất ngẫu nhiên x ∈ { 0 , 1 } n như vậy φ ( x ) = 1 (hoặc sản lượng ⊥ nếu không như vậy x tồn tại). ϕ:{0,1}n→{0,1}ϕ:{0,1}n→{0,1}\phi : \{0,1\}^n \to \{0,1\}x∈{0,1}nx∈{0,1}nx \in \{0,1\}^nϕ(x)=1ϕ(x)=1\phi(x)=1⊥⊥\perpxxx …

14 np-hardness  counting-complexity  reductions 

Cho một đồ thị, , tôi muốn tìm một tối ưu r -domination cho G . Đó là, tôi muốn có một tập con S của V sao cho tất cả các đỉnh trong G là ở khoảng cách tối đa là r từ một số đỉnh trong S , …

14 graph-algorithms  np-hardness  treewidth  parameterized-complexity  fixed-parameter-tractable 

Như mọi người đều biết, SAT hoàn thành cho việc giảm nhiều lần một đa thức wrt. Nó vẫn hoàn thành wrt A C 0 nhiều giảm một.NPNP\mathsf{NP}AC0AC0\mathsf{AC^0} Câu hỏi của tôi là độ sâu tối thiểu cần thiết cho việc giảm là gì? Chính thức hơn, Nhất là gì …

14 cc.complexity-theory  reference-request  np-hardness  circuit-complexity  reductions 

Bổ đề: Giả sử tương đương eta chúng ta có điều đó (\x -> ⊥) = ⊥ :: A -> B. Bằng chứng: ⊥ = (\x -> ⊥ x)bằng cách tương đương eta, và (\x -> ⊥ x) = (\x -> ⊥)bằng cách giảm theo lambda. Báo cáo Haskell 2010, …

14 domain-theory  haskell  extensionality  cc.complexity-theory  counting-complexity  fl.formal-languages  automata-theory  cc.complexity-theory  arithmetic-circuits  it.information-theory  shannon-entropy  graph-theory  pr.probability  graph-theory  approximation-algorithms  approximation-hardness  multicommodity-flow  cc.complexity-theory  ds.algorithms  np-hardness  polynomial-time  dynamic-programming  lo.logic  terminology 

Trong thời gian dài nhất, tôi đã nghĩ rằng một vấn đề là NP-đầy đủ nếu cả hai (1) NP-hard và (2) nằm trong NP. Tuy nhiên, trong bài báo nổi tiếng "Phương pháp ellipsoid và hậu quả của nó trong tối ưu hóa tổ hợp" , các tác giả …

14 cc.complexity-theory  np-hardness  complexity-classes  terminology 

Có cách nào để mã hóa một thể hiện của Subset Sum hoặc Bài toán phân vùng số để giải pháp (nhỏ) cho một quan hệ số nguyên mang lại câu trả lời không? Nếu không chắc chắn, thì trong một số ý nghĩa xác suất? Tôi biết rằng LLL …

14 cc.complexity-theory  np-hardness  approximation-algorithms  reductions  subset-sum 

Đó là một cái tên tôi đã tạo nên cho vấn đề này. Tôi chưa thấy nó được mô tả ở bất cứ đâu trước đây. Tôi chưa thể tìm thấy bằng chứng về tính đầy đủ của NP cũng như thuật toán thời gian đa thức cho vấn đề …

14 cc.complexity-theory  np-hardness 

Với một giới hạn (xác định hoặc không xác định, tôi không nghĩ rằng điều này có nhiều tầm quan trọng) automaton A và ngưỡng n , A có chấp nhận một từ có chứa nhiều nhất n chữ cái không? (Theo k chữ cái khác nhau, ý tôi là …

13 cc.complexity-theory  np-hardness  automata-theory 

Treewith là một tham số biểu đồ quan trọng cho biết mức độ gần của biểu đồ từ một cây (mặc dù không phải theo nghĩa tô pô nghiêm ngặt). Người ta biết rằng tính toán treewidth là NP-hard. Có lớp biểu đồ tự nhiên nào mà treewidth khó tính …

13 graph-theory  np-hardness  polynomial-time  treewidth 

Làm thế nào là khó khăn để tìm giải pháp thưa thớt nhất cho một hệ phương trình tuyến tính? Chính thức hơn, hãy xem xét vấn đề quyết định sau: Sơ thẩm: Một hệ phương trình tuyến tính với các hệ số nguyên và một số .ccc Câu hỏi: …

13 np-hardness  linear-algebra  linear-programming  matrices  sparse-matrix 

Hãy xem xét vấn đề mà chúng ta được đưa ra làm đầu vào một đồ thị chu kỳ có hướngG=(V,E)G=(V,E)G = (V, E), a labeling function λλ\lambda from VVV to some set LLL with a total order &lt;L&lt;L<_L (e.g., the integers), and where we are asked to compute the …

13 cc.complexity-theory  np-hardness  sorting  directed-acyclic-graph  order-theory 

Trong khi viết một bài đăng nhỏ về sự phức tạp của các trò chơi điện tử Nibbler và Snake ; Tôi thấy rằng cả hai đều có thể được mô hình hóa như các vấn đề cấu hình lại trên đồ thị phẳng; và dường như các vấn đề …

13 cc.complexity-theory  reference-request  np-hardness  planar-graphs 

Trong vấn đề mở rộng, chúng tôi được cung cấp một phần của giải pháp và chúng tôi muốn quyết định xem chúng tôi có thể mở rộng nó thành một giải pháp hoàn chỉnh hay không. Một số vấn đề về khả năng mở rộng có thể giải quyết …

13 cc.complexity-theory  reference-request  graph-theory  np-hardness 

Cách đây một thời gian, tôi đã đăng một yêu cầu tham chiếu cho các vấn đề về đồ thị trong đó chúng tôi muốn tìm một phân vùng 2 cạnh trong đó cả hai bộ đều thực hiện một thuộc tính không liên quan đến tính chính xác của …

13 np-hardness  reductions