C-D24-PRUNING

Pruning reachable-state 55.3% VALIDATED-BOUNDED: trên phân phối reachable mod-84 thực (không phải ứng viên ngẫu nhiên), các cut test-time refinement cố định tại level 14, 28 và 42 cắt 55.3% trạng thái và nhân chứng p=197 bắt buộc bị cắt tại level 14. Các cut level cố định này hiệu quả thật nhưng chỉ giảm HẰNG SỐ; quy mô còn lại cho kiến trúc hiện tại (khoảng 2^83) là chỉ báo cỡ, KHÔNG phải chứng minh mọi biểu diễn chính xác buộc phải materialize từng ấy state

Nói dễ hiểu

Các cut level cố định thực sự loại hơn một nửa reachable state, nhưng chỉ theo hằng số, nên tìm kiếm vẫn quá lớn cho thiết lập hiện tại; cỡ đó là chỉ báo, không phải sàn cứng.

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

Pruning reachable-state 55.3% VALIDATED-BOUNDED: trên phân phối reachable mod-84 thực (không phải ứng viên ngẫu nhiên), các cut test-time refinement cố định tại level 14, 28 và 42 cắt 55.3% trạng thái và nhân chứng p=197 bắt buộc bị cắt tại level 14. Các cut level cố định này hiệu quả thật nhưng chỉ giảm HẰNG SỐ; quy mô còn lại cho kiến trúc hiện tại (khoảng 2^83) là chỉ báo cỡ, KHÔNG phải chứng minh mọi biểu diễn chính xác buộc phải materialize từng ấy state