Nếu thì hệ thống phân cấp sụp đổ xuống cấp thứ hai (theo định lý Karp-Lipton). Nhưng còn N P và c o N P thì sao?
Tôi đã cố gắng chứng minh rằng được chứa trong N P (hướng khác là tầm thường nếu R P = N P ) nhưng không có kết quả, và tôi thậm chí không chắc đó là sự thật.
Bạn nghĩ sao?
Tôi không nghĩ có một lý do chính thức đặc biệt nào để nghĩ như vậy (nhưng không có lý do nào để không như vậy). Tóm lại, tôi tin rằng nó là mở.
—
Luke Mathieson
Chứng minh vô điều kiện là một vấn đề mở.
—
chazisop