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

Độ rộng cây và độ rộng đường dẫn là các tham số phổ biến, đo lường mức độ gần gũi của biểu đồ với cây hoặc đường dẫn, tương ứng. Thật vậy, có vẻ như treewidth rất phổ biến, nó được xuất hiện trong nhiều bài báo, sách và ghi …

13 reference-request  graph-algorithms  parameterized-complexity 

Trọng lượng |x||x||x|của một chuỗi nhị phân x∈{0,1}nx∈{0,1}nx\in\{0,1\}^n là số lượng các chuỗi trong chuỗi. Điều gì xảy ra nếu chúng ta quan tâm đến việc tính toán một hàm đơn điệu trên đầu vào với một vài cái? Chúng ta biết rằng quyết định nếu một đồ thị có …

12 cc.complexity-theory  lower-bounds  circuit-complexity  parameterized-complexity  monotone 

Đặ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 

Đặt và biểu thị bằng tập hợp tất cả các biểu đồ có thể được nhúng trên một bề mặt của chi k sao cho tất cả các đỉnh nằm ở mặt ngoài . Chẳng hạn, G_0 là tập hợp các biểu đồ ngoài cùng. Treewidth của đồ thị trong …

12 graph-theory  co.combinatorics  parameterized-complexity  graph-classes 

Tôi quan tâm đến vấn đề kinh điển ĐĂNG KÝ NGÔN NGỮ. Cho một biểu thức chính quy , chúng tôi biểu thị bằng ngôn ngữ thông thường liên quan đến nó. (Các biểu thức thông thường nằm trên một bảng chữ cái cố định , với liên kết hoạt …

11 cc.complexity-theory  reference-request  regular-language  parameterized-complexity  regular-expressions 

Bạn có biết các vấn đề là W [1] -hard ngay cả đối với các biểu đồ mức độ giới hạn không? Kích thước số liệu khó đối với các biểu đồ có độ lớn nhất là 3, nhưng đó là W [2] -hard. Red-Blue Nonblocker từng là W [1] …

11 reference-request  parameterized-complexity 

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 

Giả sử là một ngôn ngữ được tham số hóa đối với một số bảng chữ cái . Các -slice của là , tập các trường hợp trong có tham số . Lớp phức tạp chứa các ngôn ngữ được tham số hóa sao cho cho mỗi , có thể …

10 cc.complexity-theory  reference-request  parameterized-complexity 

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 

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 

Tôi là một học giả nghiên cứu, người làm việc trong lý thuyết Thuật toán và Độ phức tạp, tôi sử dụng độ phức tạp tham số hóa ở một mức độ nào đó. Đối với tôi, dường như các nhà nghiên cứu về độ phức tạp tham số hóa …

9 soft-question  parameterized-complexity 

Hãy để là một gia đình của tập con -element về một vũ trụ hữu hạn của các đối tượng. Một họ gồm các tập con của , với , là một - tập hợp của nếu với mỗi tồn tại ít nhất một tập như vậy rằng .FFFdddUUUHHHkkkUUU1≤k<d1≤k<d1 \le …

9 cc.complexity-theory  reference-request  approximation-hardness  parameterized-complexity 

Trong một câu hỏi trước đây Thuật toán tham số hóa tìm kiếm xe đạp , tôi đã hỏi liệu có thuật toán tham số nhanh nào để tìm -biclique trong đồ thị đỉnh và biết rằng nó đã mở nếu đó là FPT wrt . Là như nhau đúng …

9 cc.complexity-theory  graph-theory  counting-complexity  parameterized-complexity 

Tôi đang tìm kiếm những vấn đề khó giải quyết trong thời gian của FPT nhưng có thuật toán gần đúng. Đó là, vấn đề đó là: R 1. W [1] -hard. R2. Chấp nhận thuật toán xấp xỉ (tốt nhất là không đổi) trong thời gian FPT. Vấn đề …

9 ds.algorithms  approximation-algorithms  parameterized-complexity  fixed-parameter-tractable 

Khái niệm sau đây về thuật toán chưng cất xuất phát từ "Về các vấn đề không có hạt nhân đa thức". Hãy để một ngôn ngữ được đưa ra. Một thuật toán chưng cất cho có một danh sách nhất định của chuỗi đầu vào và tính ra một …

9 cc.complexity-theory  np-hardness  parameterized-complexity  polynomial-hierarchy  pspace