GATE D8

Loại trừ cấu trúc, tiêu chuẩn Fourier

Điều gì thay đổi

Chuyển hướng chiến lược từ liệt kê sang loại trừ CẤU TRÚC. Chứng minh danh tính Fourier hữu hạn M(u) = G0^k + khối lượng quan hệ: vector không có quan hệ cộng mang đủ khối lượng Fourier là proper, loại cả lớp relation-sparse (generic) trong một định lý. Đo trên k=3,4,5: từng vector trong 13.000+ obstruction đều relation-rich (một quan hệ ngắn |m| ≤ 3), KHÔNG có phản ví dụ relation-sparse. Lớp tight là neo hạng-1 đã đóng ở D5.

Bằng chứng

Kiểm chứng: double · I2 · 13 artifact (report, verifier, bộ tấn công, manifest SHA-256)