C-D25-CLOSURE

Đóng trong-cap đầy đủ MỞ: dự phóng thuận lợi nhưng chưa chứng nhận. Greedy hitting set để lại vài sống sót trên mẫu (pool denominator hữu hạn không cắt mọi nhánh; phần còn lại cần pool lớn hơn hoặc cut số học D23), và chi phí SAT / decision-diagram của multi-modulus master ở số clause đầy đủ chưa đo trong cap. D25-PARTIAL: hướng được kiểm, đóng đầy đủ chưa chứng minh

Nói dễ hiểu

Toán chỉ đúng hướng, nhưng đóng cả tìm kiếm trong giới hạn vẫn mở: vài trạng thái sống sót và chi phí mọi clause cùng lúc chưa đo.

Phát biểu chính xác

Đóng trong-cap đầy đủ MỞ: dự phóng thuận lợi nhưng chưa chứng nhận. Greedy hitting set để lại vài sống sót trên mẫu (pool denominator hữu hạn không cắt mọi nhánh; phần còn lại cần pool lớn hơn hoặc cut số học D23), và chi phí SAT / decision-diagram của multi-modulus master ở số clause đầy đủ chưa đo trong cap. D25-PARTIAL: hướng được kiểm, đóng đầy đủ chưa chứng minh