C-D20-BLOCKED

D20-BLOCKED (đo được, không giả định): liệt kê phủ cục bộ đầy đủ không kết thúc trong cap tài nguyên cho các prime inventory, nên mọi block chiến dịch OPEN và tích chứng nhận đóng bằng không. Năng lực âm trung thực do chi phí, như chiến dịch non-tight D6; KHÔNG phải tuyên bố tương thích, KHÔNG phải phản ví dụ

Nói dễ hiểu

Đường trực tiếp bị chặn bởi chi phí tính toán, không phải toán học: không có gì được chứng minh hay bác bỏ về LRC(13).

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

D20-BLOCKED (đo được, không giả định): liệt kê phủ cục bộ đầy đủ không kết thúc trong cap tài nguyên cho các prime inventory, nên mọi block chiến dịch OPEN và tích chứng nhận đóng bằng không. Năng lực âm trung thực do chi phí, như chiến dịch non-tight D6; KHÔNG phải tuyên bố tương thích, KHÔNG phải phản ví dụ