遇见数据集

Computational Certificates and Reproducibility Data for Certificate-Oriented Exclusions in the B-Root Branch of the Order-48 vgr(48,3,8,4) Problem

收藏
Zenodo2026-08-17 更新2026-08-20 收录
官方服务:

资源简介:

This record contains the computational certificates, checker source code, frozen authority data, row-status registry, proof-task partitions, logs, provenance material, and reproducibility documentation supporting the manuscript "Certificate-Oriented Exclusions in the B-Root Branch of the Order-48 vgr(48,3,8,4) Problem". The closed release certifies that B-root rows 0, 1, 15, 24, 29, 37, 39, 50, and 65 admit no completion to a vgr(48,3,8,4) graph. The remaining 57 of 66 B-root rows are unresolved. This dataset therefore supports a partial B-root exclusion result and does not claim complete B-root exhaustion, global nonexistence of vgr(48,3,8,4), or n(3,8,4)=50. See README_START_HERE.md and REPRODUCIBILITY_README.md in the archive for the evidence hierarchy and verification instructions.

提供机构:
Zenodo
创建时间:
2026-08-17
二维码
社区交流群
二维码
科研交流群
商业服务