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

Một số vấn đề nhất định được biết là không thể giải quyết được, tuy nhiên vẫn có thể đạt được một số tiến bộ trong việc giải quyết chúng. Ví dụ, vấn đề tạm dừng là không thể giải quyết được, nhưng tiến trình thực tế có thể được …

48 computability  approximation-algorithms  parameterized-complexity  halting-problem 

Tôi quan tâm đến độ phức tạp được tham số hóa của vấn đề mà tôi sẽ gọi là vấn đề Set-Dimensional Hits: đưa ra một không gian phạm vi (tức là một hệ thống / siêu dữ liệu đã đặt) S = (X, R) có kích thước VC nhiều …

37 cc.complexity-theory  cg.comp-geom  set-cover  parameterized-complexity  vc-dimension 

Giả sử chúng ta có một vấn đề tính toán, ví dụ như 3-SAT, có một tập hợp các trường hợp vấn đề (đầu vào có thể) . Thông thường trong phân tích thuật toán hoặc lý thuyết độ phức tạp tính toán, chúng ta có một số bộ của …

20 cc.complexity-theory  kolmogorov-complexity  parameterized-complexity  succinct  analysis-of-algorithms 

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 

Cây thông đóng vai trò quan trọng trong các thuật toán của FPT, một phần vì nhiều vấn đề được FPT tham số hóa bởi treewidth. Một khái niệm liên quan, hạn chế hơn, đó là về băng thông. Nếu một đồ thị có độ rộng đường dẫn , thì …

18 parameterized-complexity  treewidth  graph-minor 

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 

Điều gì xảy ra nếu có bất cứ điều gì được biết về độ phức tạp được tham số hóa của việc tính toán số giao điểm của đồ thị (số lượng nhỏ nhất của các cụm sao cần thiết để bao gồm tất cả các cạnh của nó)? Từ …

17 ds.algorithms  reference-request  graph-algorithms  parameterized-complexity 

Hãy 0≤p≤10≤p≤10\le p\le 1 và xem xét các vấn đề quyết định Bè lũ p Input: số nguyên s , đồ thị G với t đỉnh và cạnh Câu hỏi: không chứa một bè lũ trên ít nhất đỉnh?pp_p sssGGGttts⌈p(t2)⌉⌈p(t2)⌉\lceil p\binom{t}{2} \rceil GGGsss Một thể hiện của CLIQUE chứa tỷ …

17 cc.complexity-theory  np  parameterized-complexity  clique 

Với một đồ thị vô hướng đỉnh , thời gian chạy được biết đến nhiều nhất bị ràng buộc để tìm một sơ đồ con là -biclique là gì? Có thuật toán tham số hóa nhanh hơn thuật toán về "đoán" một mặt của biclique và xem liệu có ít …

16 ds.algorithms  reference-request  graph-algorithms  parameterized-complexity 

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 

Như mọi người đều biết, cuốn sách nổi tiếng của Garey và Johnson (và nhiều cuốn khác) cung cấp một tài liệu tham khảo tuyệt vời cho kỹ thuật giảm thiểu trong bối cảnh cổ điển. Có bất kỳ khảo sát hoặc sách về chủ đề kỹ thuật giảm trong …

15 cc.complexity-theory  reference-request  reductions  parameterized-complexity 

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 

Các -hierarchy là một hệ thống các lớp phức tạp về độ phức tạp tham số, xem Zoo phức tạp cho các định nghĩa. Một định nghĩa thay thế định nghĩa bằng cách sử dụng định nghĩa Fagin có trọng số cho thức của logic thứ nhất, xem sách giáo …

13 cc.complexity-theory  parameterized-complexity 

Động lực: Một đồng tác giả chỉnh sửa một bản thảo và tôi muốn xem một bản tóm tắt rõ ràng về các chỉnh sửa. Tất cả các công cụ giống như "diff" có xu hướng vô dụng nếu bạn vừa di chuyển văn bản xung quanh (ví dụ: tổ …

13 ds.algorithms  reference-request  parameterized-complexity  string-matching  edit-distance 

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