C-D21-NARROWED

Oracle thu hẹp theo chữ ký: cố định chữ ký đích ghim multiset tốc độ bình phương tới tác động scale thặng dư bình phương, nên mọi phủ khớp tìm bằng quét nửa nhóm scale với chi phí tuyến tính theo p. Đo kết thúc dưới 0.35s trên prime khó D20 tới 2267 nơi liệt kê đầy đủ bị chặn; 3 trạng thái với chứng chỉ replay, UNSAT-không-chứng-minh bị loại, timeout OPEN. Gỡ tường mỗi-truy-vấn D20

Nói dễ hiểu

Thay vì liệt kê mọi phủ rồi lọc, D21 dùng dấu vân tay đích để chỉ tìm nơi có thể khớp, nhanh cả ở các prime khó.

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

Oracle thu hẹp theo chữ ký: cố định chữ ký đích ghim multiset tốc độ bình phương tới tác động scale thặng dư bình phương, nên mọi phủ khớp tìm bằng quét nửa nhóm scale với chi phí tuyến tính theo p. Đo kết thúc dưới 0.35s trên prime khó D20 tới 2267 nơi liệt kê đầy đủ bị chặn; 3 trạng thái với chứng chỉ replay, UNSAT-không-chứng-minh bị loại, timeout OPEN. Gỡ tường mỗi-truy-vấn D20