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

5

Thực hiện giảm giá của FPT không phải là giảm thời gian đa thức

Trong độ phức tạp tham số, người ta sử dụng mức giảm tham số cố định (FPT) để chứng minh độ cứng W [t]. Về mặt lý thuyết, việc giảm FPT không phải là giảm thời gian đa thức, vì nó có thể chạy theo cấp số nhân trong tham …

11 cc.complexity-theory  np-hardness  reductions  parameterized-complexity 

---

1

Tính toán các bộ không có H tối đa

Trong biểu đồ, một tập độc lập là một tập hợp con đỉnh không chứa cạnh như một sơ đồ con cảm ứng. Vấn đề tìm các tập độc lập lớn nhất trong đồ thị là một câu hỏi thuật toán cơ bản, và một câu hỏi khó ở đó. …

11 ds.algorithms  reference-request  graph-theory  np-hardness  co.combinatorics 

---

2

Bất kỳ thuật toán nhanh cho vấn đề thiết lập hồ quang phản hồi chi phí tối thiểu?

Trong đồ thị có hướng, , , nếu là DAG (đồ thị theo chu kỳ có hướng), được gọi là tập cung tròn phản hồi. F ⊂ E G ∖ F FG = ( V, E)G=(V,E)G=(V,E)F⊂ EF⊂EF\subset EG ∖ FG∖FG\setminus FFFF Nếu mỗi cạnh được liên kết với trọng số …

11 ds.data-structures  graph-theory  np-hardness  approximation-algorithms 

---

2

Là vấn đề N Queens NP-cứng?

Vấn đề N-queen là đây: Đầu vào: N Đầu ra: Vị trí của N "nữ hoàng" trên bàn cờ NXN sao cho không có hai nữ hoàng nằm trên cùng một hàng, cột hoặc đường chéo. Thực hiện tìm kiếm trên google, tôi thấy rằng nhiều slide của nhiều giáo …

11 cc.complexity-theory  np-hardness  csp 

---

2

"Tiện ích" nghĩa là gì trong việc giảm NP-hard?

Câu hỏi này có thể không phải là kỹ thuật. Là một người không phải là người bản ngữ và một TA cho lớp thuật toán, tôi luôn tự hỏi tiện ích có nghĩa là gì trong 'tiện ích mệnh đề' hoặc 'tiện ích biến'. Từ điển nói rằng một …

11 cc.complexity-theory  np-hardness  terminology  reductions 

---

2

Tối thiểu 3 đơn vị thật

Tôi quan tâm đến một biến thể SAT trong đó công thức CNF là đơn điệu (không có biến nào bị phủ định). Một công thức như vậy rõ ràng là thỏa đáng. Nhưng nói rằng số lượng các biến thực sự là thước đo mức độ tốt của giải …

11 cc.complexity-theory  np-hardness  sat 

---

6

Thực hiện nhiều lần giảm và giảm Turing xác định cùng một NPC lớp

Tôi tự hỏi nếu các lớp NPC được xác định bởi nhiều mức giảm một và mức giảm Turing có bằng nhau không. Chỉnh sửa: Một câu hỏi khác, là việc giảm Turing chỉ làm sụp đổ các lớp C và co-C đối với một số C hoặc có một …

11 cc.complexity-theory  np-hardness  reductions 

---

1

Làm thế nào khó khăn để quyết định sự tồn tại của kết hợp hoàn hảo Red-Blue?

Vấn đề kết hợp hoàn hảo hai màu là quyết định xem biểu đồ có tô màu bằng hai màu sao cho mỗi nút có chính xác một hàng xóm cùng màu với chính nó hay không. Vấn đề đã được chứng minh là hoàn thành NP bởi Schaefer . …

10 cc.complexity-theory  np-hardness 

---

2

Những hiểu biết chung về sự phức tạp giả thuyết của các vấn đề đồ thị

Tôi đã bắt gặp hai ví dụ về độ cứng giả thuyết của một số vấn đề đồ thị. Độ cứng giả thuyết có nghĩa là bác bỏ một số phỏng đoán sẽ ngụ ý tính đầy đủ NP của vấn đề đồ thị tương ứng. Chẳng hạn, phỏng đoán …

10 cc.complexity-theory  graph-theory  np-hardness 

---

1

Xác suất tạo ra một hoán vị mong muốn bằng cách hoán đổi ngẫu nhiên

Tôi quan tâm đến vấn đề sau. Chúng tôi được cung cấp dưới dạng "hoán vị mục tiêu" , cũng như danh sách các chỉ số . Sau đó, bắt đầu với danh sách (nghĩa là hoán vị danh tính), tại mỗi thời điểm bước chúng ta trao đổi phần …

10 np-hardness  counting-complexity  permutations  sorting-network  disjoint-paths 

---

1

Định nghĩa của Planar 3-SAT

Định nghĩa tiêu chuẩn của Planar 3-SAT là gì? Tôi đã thấy một số định nghĩa khác nhau. Bài báo gốc đã định nghĩa nó là gì và chứng minh nó là NP-Complete?

10 cc.complexity-theory  reference-request  np-hardness  sat  planar-graphs 

---

2

NP gần như 2-SAT có khó không?

Là một vấn đề CNF SAT NP có khó không khi tổng số (nhưng không phải chiều rộng) của các mệnh đề 3 hoặc nhiều hơn được giới hạn ở trên bởi một hằng số? Điều gì đặc biệt khi chỉ có một điều khoản như vậy?

10 np-hardness  sat  upper-bounds 

---

1

Đồ trang sức đơn điệu giữa các danh sách các khoảng

Tôi có vấn đề sau: Đầu vào: hai bộ khoảng và T (tất cả các điểm cuối là số nguyên). Truy vấn: có một mệnh đề đơn điệu f : S → T không?SSSTTTf:S→Tf:S→Tf:S \to T Các song ánh là đơn điệu wrt tập để phát trên và T . …

10 cc.complexity-theory  ds.algorithms  np-hardness  partial-order  matching 

---

2

Độ cứng của một lớp con của Set Cover

Vấn đề Set Cover khó đến mức nào nếu số lượng phần tử bị giới hạn bởi một số chức năng (ví dụ: ) trong đó n là kích thước của thể hiện vấn đề. Chính thứclognlog⁡n\log nnnn Hãy và F = { S 1 , ⋯ , S n …

10 np-hardness  set-cover  exp-time-algorithms 

---

2

Các thuật toán chính xác theo thời gian hàm mũ cho lập trình 0-1

Có thuật toán nào được biết cho vấn đề sau đánh bại thuật toán ngây thơ không? Đầu vào: Một hệ thống của bất đẳng thức tuyến tính.mA x ≤ bAx≤bAx \le bmmm Đầu ra: Một giải pháp khả thi nếu có.x*∈ { 0 , 1 }nx∗∈{0,1}nx^*\in \{0,1 \}^n Giả …

10 np-hardness  integer-programming  exp-time-algorithms 

---