C-D26-NET-NEGATIVE

D26-PARTIAL (đo net-complexity): ledger chính xác quyết định và âm. Giữ một nhãn toàn cục buộc tới 13! (khoảng 6.2 tỉ) gán nhãn mỗi prime tích lũy, khoảng 2^3546 entropy nhãn xuyên tích lũy khoảng 109 prime, vượt xa cả tiết kiệm ngưỡng 977 bit lẫn cap compute 2^42. Nhất quán CRT chỉ ép nhãn sau khi một tọa độ ghim, cần toàn bộ tích lũy. Theo quy tắc gate, một denominator thêm nhiều trạng thái tự do hơn nó bỏ không phải tiến bộ, nên chiến dịch có-nhãn KHÔNG net-vừa cap. 723 trên 723 tấn công bị bác. Định lý tái dựng vẫn đứng; campaign-fit đóng âm. Không BASE-SURVIVOR, không GLOBAL-WITNESS

Nói dễ hiểu

Chi phí ghép nhãn chi phối: mỗi local cover là một multiset không thứ tự, và việc gán nó vào 13 nhãn toàn cục cho worst-case branching proxy gần (13!)^109, vượt frozen caps. Ngưỡng thấp hơn không bù được, nên fully labeled campaign chưa đóng. LRC(13) vẫn đang mở.

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

D26-PARTIAL (đo net-complexity): ledger chính xác quyết định và âm. Giữ một nhãn toàn cục buộc tới 13! (khoảng 6.2 tỉ) gán nhãn mỗi prime tích lũy, khoảng 2^3546 entropy nhãn xuyên tích lũy khoảng 109 prime, vượt xa cả tiết kiệm ngưỡng 977 bit lẫn cap compute 2^42. Nhất quán CRT chỉ ép nhãn sau khi một tọa độ ghim, cần toàn bộ tích lũy. Theo quy tắc gate, một denominator thêm nhiều trạng thái tự do hơn nó bỏ không phải tiến bộ, nên chiến dịch có-nhãn KHÔNG net-vừa cap. 723 trên 723 tấn công bị bác. Định lý tái dựng vẫn đứng; campaign-fit đóng âm. Không BASE-SURVIVOR, không GLOBAL-WITNESS