C-D24-CLOSURE

Đóng trạng-thái-tương-thích đầy đủ MỞ: liệu chiến dịch reachable-state đóng trong cap đã đóng băng thì chưa đạt. Các cut level cố định cắt thực chất nhưng chỉ theo hằng số, nên các nhánh OPEN chứng nhận còn lại. Cần một phép tách siêu-hằng-số theo modulus

Nói dễ hiểu

Đóng cả tìm kiếm trong giới hạn vẫn mở; các cut cố định chưa đủ, cần thứ gì đó co giãn theo modulus.

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

Đóng trạng-thái-tương-thích đầy đủ MỞ: liệu chiến dịch reachable-state đóng trong cap đã đóng băng thì chưa đạt. Các cut level cố định cắt thực chất nhưng chỉ theo hằng số, nên các nhánh OPEN chứng nhận còn lại. Cần một phép tách siêu-hằng-số theo modulus