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

Sử dụng cho các câu hỏi thuật toán, phân tích thuật toán và lý thuyết độ phức tạp nhằm mục đích thời gian chạy đa thức tương ứng. thời gian phức tạp. Những câu hỏi như vậy thường là yêu cầu tham chiếu hoặc về phân tích thời gian chạy hoặc độ phức tạp về thời gian.





2
Là SAT trong P nếu có nhiều mệnh đề theo số mũ?
Tôi xác định một CNF dài để chứa ít nhất2n22n22^\frac{n}{2} mệnh đề, ở đâu nnnlà số lượng biến của nó. Đặt là một công thức CNF dài thỏa đáng .Long-SAT={ϕ:ϕLong-SAT={ϕ:ϕ\text{Long-SAT}=\{\phi: \phi}}\} Tôi muốn biết tại sao . Đầu tiên tôi nghĩ đó là \ text {NPC} vì tôi có thể …
Khi sử dụng trang web của chúng tôi, bạn xác nhận rằng bạn đã đọc và hiểu Chính sách cookieChính sách bảo mật của chúng tôi.
Licensed under cc by-sa 3.0 with attribution required.