GATE A
Audit truy vết tọa độ trùng
Điều gì thay đổi
Nghi vấn R2 dựa trên tiền đề sai: pipeline liệt kê multiset sắp thứ tự (pha đệm), không phải tập phân biệt, khớp đúng lý thuyết tuple.
Bằng chứng
kiểm 1Bộ kiểm brute-force độc lập khớp số S3: 35 / 4225 / 56215
kiểm 2Mô hình chân trị k nhỏ vét cạn: 0 sót, 0 sai
kiểm 3Số lớp chuẩn tắc S2 khớp freeze/frozen
Kiểm chứng: double · I2 · 7 artifact (report, verifier, bộ tấn công, manifest SHA-256)