C-D18-DEGREE5-NECESSARY

Một vector proper thật tại p=197 có chặn bậc-4 tốt nhất 0 trong khi bậc 5 phục hồi 5/98, nên bậc 5 là mức thông tin tối thiểu

Đã chứng minh (nội bộ)Evidence I2Phạm vi: p=197 realizable witnessTừ gate-d18

Nói dễ hiểu

Một phản ví dụ trung thực cho thấy chứng chỉ bậc bốn không bao giờ đủ, và bậc năm chính là mức cần thiết.

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

Một vector proper thật tại p=197 có chặn bậc-4 tốt nhất 0 trong khi bậc 5 phục hồi 5/98, nên bậc 5 là mức thông tin tối thiểu

Tất cả claimXem trên bản đồ