C-D23-PRUNING

Pruning trước-2H VALIDATED-BOUNDED (đo pilot): trên pilot chứng nhận, Branch A cắt 5000 trên 5000 vector hệ số ứng viên ngẫu nhiên và Branch B cắt 7 trên 7 phủ nền thực tại level 14, cả hai TRƯỚC ngưỡng 2H nơi D22 không có. Đây là các đo pilot có chặn, KHÔNG phải tuyên bố mọi reachable state bị loại

Nói dễ hiểu

Trên một pilot có chặn, các cut sớm loại mọi ứng viên và mọi phủ lấy mẫu trước tái dựng; đây là bằng chứng đo trên mẫu, không phải phát biểu về mọi trạng thái.

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

Pruning trước-2H VALIDATED-BOUNDED (đo pilot): trên pilot chứng nhận, Branch A cắt 5000 trên 5000 vector hệ số ứng viên ngẫu nhiên và Branch B cắt 7 trên 7 phủ nền thực tại level 14, cả hai TRƯỚC ngưỡng 2H nơi D22 không có. Đây là các đo pilot có chặn, KHÔNG phải tuyên bố mọi reachable state bị loại