Câu hỏi được gắn thẻ «fixed-parameter-tractable»

Trong phức tạp parametrized, ⊆ W [ 2 ] ⊆ ... ⊆ W [ P ] . Nó được phỏng đoán rằng mỗi ngăn chứa là đúng.FPT⊆W[1]FPT⊆W[1]\mathsf{FPT} \subseteq \mathsf{W}[1] ⊆W[2]⊆W[2]\subseteq \mathsf{W}[2] ⊆…⊆W[P]⊆…⊆W[P]\subseteq \ldots \subseteq \mathsf{W}[P] Nếu thì P = W [ P ] .FPT=W[P]FPT=W[P]\mathsf{FPT}=\mathsf{W}[P]P=W[P]P=W[P]\mathsf{P}=\mathsf{W}[P] Nhưng nó có theo nó không …

20 cc.complexity-theory  parameterized-complexity  fixed-parameter-tractable 

Hiện tại tôi đang làm khảo sát tài liệu về vấn đề đồ thị đẳng cấu (GI). Tôi muốn biết một số câu hỏi mở liên quan đến sau đây Các tham số biểu đồ cho khả năng lưu thông số cố định của GI là một vấn đề mở. …

18 graph-isomorphism  fixed-parameter-tractable 

Tôi muốn tìm hiểu về Độ phức tạp tham số (cả về mặt thuật toán và mặt độ cứng). Những cuốn sách / ghi chú bài giảng tôi có thể đọc về chủ đề này?

18 reference-request  parameterized-complexity  fixed-parameter-tractable 

Khi chúng ta được cung cấp một phân tách cây của đồ thị với chiều rộng w , có một số cách mà chúng ta có thể làm cho nó "đẹp". Cụ thể, người ta biết rằng có thể biến nó thành một phân rã cây trong đó cây là …

15 treewidth  parameterized-complexity  fixed-parameter-tractable  cliquewidth 

Các kkk vấn đề -cycle là như sau: Sơ thẩm: Một đồ thị vô hướng GGG có nnn đỉnh và tối đa cạnh.(n2)(n2)n \choose 2 Câu hỏi: Có tồn tại một mô-tơ (thích hợp) trong không?kkkGGG Bối cảnh: Đối với bất kỳ k cố định nào kkk, chúng ta có …

15 graph-theory  graph-algorithms  clique  polynomial-time  fixed-parameter-tractable 

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 

Trong định nghĩa về khả năng biến đổi tham số cố định (mạnh), giới hạn thời gian là một biểu thức có dạng trong đó thể hiện đầu vào là với tham số , là đa thức và là hàm tính toán .f( k ) . p ( | x …

13 cc.complexity-theory  reference-request  fixed-parameter-tractable 

Tham số cố định và xấp xỉ là các cách tiếp cận hoàn toàn khác nhau để giải quyết các vấn đề khó khăn. Họ có động lực khác nhau. Xấp xỉ tìm kết quả nhanh hơn với giải pháp gần đúng. Tham số cố định tìm kiếm giải pháp …

13 cc.complexity-theory  reference-request  approximation-algorithms  fixed-parameter-tractable 

Vertex Cover có thể dễ dàng được giảm xuống thành Bộ độc lập và ngược lại. Tuy nhiên, trong bối cảnh phức tạp được tham số hóa, bộ Độc lập khó hơn Vertex Cover. Một hạt nhân có 2k2k2k đỉnh tồn tại cho Vertex Cover, nhưng Bộ độc lập là …

13 cc.complexity-theory  parameterized-complexity  fixed-parameter-tractable 

Đặt là công thức 2CNF và là số nguyên không âm. Nó được chứng minh trong này giấy rằng vấn đề của việc quyết định xem ai có thể xóa nhiều nhất là khoản để thực hiện φ satisfable, được cố định tham số dể làm, nơi k là tham …

12 parameterized-complexity  csp  fixed-parameter-tractable 

Trong bài viết của Stephen Cook về vấn đề P vs NP, [1] ông nói như sau [2]: Luận án khả thi: Một vấn đề tự nhiên có thuật toán khả thi nếu nó có thuật toán thời gian đa thức. Câu hỏi của tôi là, chính xác thì anh …

11 time-complexity  p-vs-np  complexity  fixed-parameter-tractable 

Giả thuyết của BermanTHER Hartmanis: tất cả các ngôn ngữ hoàn chỉnh NP trông giống nhau, theo nghĩa là chúng có thể liên quan với nhau bằng các đẳng cấu thời gian đa thức [1]. Tôi quan tâm đến một phiên bản chi tiết hơn của "thời gian đa thức", …

10 complexity-classes  np-complete  fixed-parameter-tractable 

Sau các câu hỏi tương đương liên quan đến NP-Complete (xem câu hỏi về trọng lượng và câu hỏi được định hướng ), tôi đã tự hỏi làm thế nào các vấn đề được tham số hóa bị ảnh hưởng bởi các thuộc tính này. Những vấn đề đồ thị …

10 cc.complexity-theory  graph-algorithms  parameterized-complexity  fixed-parameter-tractable 

Wikipedia viết: FPT chứa các vấn đề có thể điều chỉnh tham số cố định, đó là những vấn đề có thể được giải quyết trong thời gian đối với một số chức năng tính toán . Thông thường, hàm này được coi là theo cấp số nhân, chẳng hạn …

10 cc.complexity-theory  fixed-parameter-tractable 

Vấn đề tham số SAT k-FLIP được định nghĩa là: Đầu vào: công thức 3-CNF với biến và phép gán đúng Tham số: Câu hỏi: chúng ta có thể chuyển đổi phép gán thành phép gán bão hòa cho lật giá trị thật của tối đa biến?n σ : [ …

10 parameterized-complexity  fixed-parameter-tractable