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

Lý thuyết phức tạp, thông qua các khái niệm như tính đầy đủ NP, phân biệt giữa các vấn đề tính toán có giải pháp tương đối hiệu quả và các vấn đề khó hiểu. Độ phức tạp "hạt mịn" nhằm mục đích tinh chỉnh sự khác biệt định tính …

23 cc.complexity-theory  reference-request  complexity-classes  fine-grained 

Hãy xem xét vấn đề quyết định sau đây Đầu vào : Một CNF đơn điệu và đơn điệu DNF .ΦΦ\PhiΨΨ\Psi Câu hỏi : là tautology không?Φ→ΨΦ→Ψ\Phi \to \Psi Chắc chắn bạn có thể giải quyết vấn đề này trong -time, trong đó là số lượng biến trong và là …

14 exp-time-algorithms  boolean-formulas  fine-grained