GATE D13
Hypergraph liên thông, thu về hạng-1 tight
Điều gì thay đổi
Phần dư bậc cao còn lại từ D12 được biểu diễn thành các tương quan liên thông CHÍNH XÁC, và đồ thị cặp được mở rộng thành relation hypergraph. Support-3 inverse chứng minh một chiều: một tương quan bộ-ba liên thông lớn luôn được nâng đỡ bởi một quan hệ cộng support-3 chiều-cao-chặn. Thêm các hyperedge support-3 này hoàn thiện cấu trúc mà đồ thị cặp bỏ lỡ, lớp tight nay thu về hạng cộng 1 (neo D5 chính xác), bằng đại số tuyến tính chính xác, không phải đếm hyperedge. Ghi chú phạm vi: profile support-3 inverse đo tại p=191 và profile support-4/5 là bằng chứng, không phải định lý toàn-prime.
Bằng chứng
kiểm 1Danh tính phân hoạch liên thông chính xác, hiệu chỉnh Fourier đục-lỗ -1/(p-1) giữ chính xác
kiểm 2Support-3 inverse: bộ-ba liên thông lớn ⟹ quan hệ support-3 chiều-cao-chặn (đóng băng trước bậc 4)
kiểm 3Hypergraph thu về lớp tight = hạng cộng 1 (Q-rank, không đếm cạnh), 2 verifier, 36/36 tấn công
Kiểm chứng: double · I2 · 8 artifact (report, verifier, bộ tấn công, manifest SHA-256)