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

Đặt là bài toán đồ thị hoàn chỉnh NP. Giả sử X có thể giải được trong thời gian đa thức trên các đồ thị có đường kính giới hạn. Nói cách khác, X được tham số hóa bằng đường kính là trong XP. (Nhắc lại một vấn đề là …

8 graph-theory  parameterized-complexity  fixed-parameter-tractable 

Đặt SAT là ngôn ngữ của các trường hợp SAT có chứa các biến , hãy để -SAT là ngôn ngữ của các trường hợp SAT trong đó mọi mệnh đề đều có nhiều nhất là chữ và để -SAT là giao điểm của chúng. Đặt , trong đó phạm …

8 cc.complexity-theory  parameterized-complexity  conditional-results 

Vấn đề mệnh đề độc lập tối đa được tham số hóa: Đầu vào: Công thức r-CNFSAT F có n biến và m mệnh đề, k Ques: Có tồn tại ít nhất k mệnh đề sao cho chúng độc lập lẫn nhau tức là không có biến nào xảy ra …

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