GATE D25

Tách thời-gian-hữu-tỉ thích nghi

partialEvidence I2Kiểm: doubleClaim công khai: Không2026-07-19

Điều gì thay đổi

D24 cho thấy một nhúm đồng hồ cố định, các lưới level mười bốn, hai tám và bốn hai, loại hơn một nửa reachable state nhưng chỉ theo hằng số, không đủ đưa tìm kiếm vào giới hạn cố định. D25 ngừng dựa vào một tập đồng hồ cố định và thay vào đó phát minh đồng hồ mới tùy biến, nhắm vào bất cứ nhánh nào còn sống. Mỗi đồng hồ mới là một thời gian hữu tỉ mà denominator được chọn để tách các trạng thái còn sống, và theo định nghĩa người chạy cô đơn mọi phản ví dụ thật phải có ít nhất một người chạy gần gốc tại thời điểm đó, trở thành một clause chính xác trên các tốc độ modulo denominator đó. Kỷ luật mấu chốt, và toàn bộ điểm của gate, là các denominator này được giữ riêng và chỉ liên kết lỏng lẻo qua thừa số chung; chúng không bao giờ gộp thành một modulus chung khổng lồ, vì điều đó sẽ mang lại bùng nổ trạng thái mà các gate trước gặp. Gate đo, trực tiếp trên các trạng thái mà tìm kiếm trước thực sự chạm, đồng hồ tùy biến nào cắt nhánh thật, chúng thu nhỏ tìm kiếm bao nhiêu, và chứng minh tốn kém ra sao, riêng lẻ và kết hợp với kiểm số học. Regression yêu cầu không đổi: phủ nền p=197 có thời điểm cô đơn tại một phần mười bốn, nên một cut sớm thích nghi phải kích hoạt. Không ngân sách compute lớn hơn được duyệt, và không có gì về giả thuyết được quyết bởi việc mở gate này. LRC(13) vẫn mở.

Bằng chứng

kiểm 1Sinh cut thời-gian-hữu-tỉ thích nghi trên các nhánh còn sống, không phải ba denominator cố định. Với t=a/q, B(a,q)={ r mod q : dist(a r, q Z) < q/14 }; mọi phản ví dụ toàn cục thỏa OR theo i của [ V_i mod q thuộc B(a,q) ] cho mọi thời điểm chọn

kiểm 2Giữ các modulus RIÊNG, ghép chỉ qua gcd; KHÔNG BAO GIỜ gộp mọi denominator thành một LCM khổng lồ (quay lại bùng nổ trạng thái). Đo trực tiếp trên ledger reachable-state D24: clause nào cắt nhánh, giảm trạng thái thực, cỡ chứng minh, chi phí SAT/decision-diagram, và kết hợp với cut số học D23

kiểm 3D25-PARTIAL (đo được): cut thời-gian-hữu-tỉ chứng minh vững và kiểm kép, cut t=1/14 p=197 bắt buộc kích hoạt, và các clause COMPOUND siêu-hằng-số: một greedy hitting set thích nghi khoảng 32 thời gian hữu tỉ giảm mẫu 4000 nhánh reachable xuống một nhúm, dự phóng khoảng 555 clause đưa không gian reachable 2^84 xuống dưới cap 2^42, một lợi ích chất lượng so với hằng số D24. 224 trên 224 tấn công bị bác. Nhưng greedy để lại vài sống sót (pool hữu hạn) và chi phí SAT của multi-modulus master chưa chứng nhận trong cap, nên đóng đầy đủ còn mở. LRC(13) MỞ

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

Tác động đồ thị

xuất hiệnC-D25-ADAPTIVEĐã chứng minh (nội bộ)xuất hiệnC-D25-MULTIMODĐã chứng minh (nội bộ)xuất hiệnC-D25-COMPOUNDINGĐã thẩm định (có chặn)xuất hiệnC-D25-CLOSUREMở thay đổiC-D24-CLOSUREMở

← Tất cả gate