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

Gọi biểu thị số lượng cây bao trùm trong đồ thị có đỉnh. Có một thuật toán tính toán trong các phép toán số học . Thuật toán này là để tính toán , trong đó Q là Laplacian của G và J là ma trận chỉ gồm 1 's. …

19 graph-theory  graph-algorithms  counting-complexity  spectral-graph-theory 

Làm cách nào tôi có thể xác định số lượng đường dẫn đơn giản duy nhất trong biểu đồ không bị chặn? Hoặc cho một độ dài nhất định, hoặc một phạm vi độ dài chấp nhận được. Hãy nhớ rằng một đường dẫn đơn giản là một đường dẫn …

18 graph-theory  co.combinatorics  counting-complexity 

Có bất kỳ công việc nào được thực hiện về mức độ phức tạp của các trường hợp ngẫu nhiên của # 2-SAT thay đổi theo mật độ mệnh đề không? Đó là: độ khó của việc đếm các giải pháp thỏa mãn đối với trường hợp 2-SAT được tạo …

18 cc.complexity-theory  counting-complexity  random-k-sat 

Phiên bản ngắn. Bằng chứng ban đầu rằng # 2-SAT là #P -complete cho thấy, trên thực tế, những trường hợp của # 2-SAT là cả hai đơn điệu (không liên quan đến phủ định của bất kỳ biến nào) và bipartite (biểu đồ được tạo bởi các mệnh đề …

17 cc.complexity-theory  sat  counting-complexity 

Tôi đã được thông báo rằng có một số thuật toán thời gian đa thức tốt để tính gần đúng số lượng đường dẫn đơn giản trong đồ thị có hướng từ đỉnh bắt đầu đến đỉnh kết thúc t . Có ai biết một tài liệu tham khảo tốt …

17 ds.algorithms  reference-request  graph-algorithms  approximation-algorithms  counting-complexity 

Đặt là một sơ đồ (không nhất thiết phải là DAG) và cho . Sự phức tạp của đếm số lượng là những gì đơn giản đường dẫn trong . GGGs,t∈V(G)s,t∈V(G)s,t \in V(G) s−ts−ts-tGGG Tôi hy vọng vấn đề sẽ là # nhưng chưa thể xác định được một tham …

16 ds.algorithms  reference-request  counting-complexity 

Một bìa cạnh là một tập hợp con các cạnh của đồ thị sao cho mọi đỉnh của đồ thị đều liền kề với ít nhất một cạnh của bìa. Hai bài báo sau đây nói rằng đếm bìa là #P -complete : Một FPTAS đơn giản để đếm các …

16 reference-request  graph-algorithms  counting-complexity  proofs 

Chỉ có rất ít thông tin tôi có thể tìm thấy về bài toán NP hoàn chỉnh giải phương trình diophantine tuyến tính trong các số nguyên không âm. Điều đó có nghĩa là, có một giải pháp trong cho phương trình , trong đó tất cả các hằng số …

16 cc.complexity-theory  reference-request  np-hardness  counting-complexity 

Đó là -hard để tìm một xấp xỉ hệ số gần đúng của chu kỳ dài nhất trong các đồ thị Hamilton khối. Đồ thị hình khối Hamilton có ít nhất hai chu kỳ Hamilton.NPNPNP Giới hạn trên và giới hạn dưới được biết đến nhiều nhất về số chu …

15 cc.complexity-theory  counting-complexity 

Giả sử chúng ta muốn tìm hoặc max x ∏ i j ∈ E f(xi,xj)ΣxΠtôi j ∈ Ef( xTôi, xj)ΣxΠTôij∈Ef(xTôi,xj)\sum_x \prod_{ij \in E} f(x_i,x_j)tối đaxΠtôi j ∈ Ef( xTôi, xj)tối đaxΠTôij∈Ef(xTôi,xj)\max_x \prod_{ij \in E} f(x_i,x_j) Trong đó max hoặc sum được lấy trên tất cả các nhãn của , sản …

15 ds.algorithms  graph-theory  graph-algorithms  approximation-algorithms  counting-complexity 

Tôi có một đa giác PPP được xác định bởi { x : A x ≤ b , x ≥ 0 }{x:Ax≤b,x≥0}\{ x : Ax \leq b, x \geq 0\} . Câu hỏi: Cho một đỉnh vvv của PPP , có thuật toán thời gian đa thức để lấy mẫu …

15 reference-request  np-hardness  counting-complexity  linear-programming  polytope 

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 

Tôi đã đọc bài viết trên wikipedia về vấn đề tám nữ hoàng. Nó được tuyên bố rằng, không có công thức được biết đến cho số lượng chính xác của các giải pháp. Sau một số tìm kiếm, tôi tìm thấy một bài báo có tên "Về độ khó …

14 cc.complexity-theory  counting-complexity  search-problem 

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 bài báo của Ben-Dor / Halevi [1], người ta đưa ra một bằng chứng khác cho thấy vĩnh viễn là -complete. Trong phần sau của bài báo, họ cho thấy chuỗi giảm IntPerm α NoNegPerm α 2PowersPerm α 0/1-Perm trong khi giá trị vĩnh viễn được bảo tồn dọc …

14 cc.complexity-theory  counting-complexity  permanent