n=27 · DGC v62 + MinPoly v8 测试报告
# n=27 最佳已记录运行：DGC v62 + MinPoly v8 算法版本：自动证明基于 DGC v62；最小多项式求解使用 MinPoly v8（执行绑定：20261004-v8）。本次为这两个算法的共享32核第3版调度修订（Shared32 v3），对应运行 optimized-32-03。 本轮联合算法耗时 **882.4296346960001秒**（14分42.43秒，含重新编译），网站成绩为 **661分**。本条归入“最佳已记录运行”。它记录既有研究算法、AI调度与本机计算组成的算法系统；一次观测不证明稳定性能。 ## 起始材料、机器与计时 输入为n=27及项目既有研究程序和核验材料，已有研究成果作为起始资料。本轮运行使用日常Ubuntu WSL、SageMath、Python和本地编译的C++程序，宿主为AMD Ryzen 9 8945HX，16个物理核心、32个逻辑核心。内存为32 GiB DDR5，依据同机既存硬件记录，未在本轮启动时重测。 总计时包括程序的重新编译7.407230013秒，以及联合控制器874.888980938秒，含启动收尾。证明生成642.518606473秒，独立核验206.224039099秒，代数侧637.358080255秒；两路有重叠，不将阶段时间相加。公开成绩采用程序运行时间，排除前置研究、AI交互、后续归档与发布、事后参考指纹比较。该时间不等于模型自然经过时间或从零整题求解时间。 ## 资源分配与算法 可用CPU范围为0至31。共享调度器按代数阶段切换预算：并行代数阶段分配16个逻辑核心，串行阶段分配2个，其余供证明侧；代数完成后证明侧获得全部32个。调整时核对实际子进程及线程的CPU亲和性。证明任务准入随预算变化，已开始任务继续运行。实际线程预算和调度回执保存在私有档案。运行中的宿主采样曾达到100%，不据此推断全程持续满载；该采样仅在工具输出中保留，未生成独立采样文件。 证明侧负责覆盖问题的候选研究与证明核验，代数侧负责半径的精确代数结果及一致性核验。两部分在共享计算资源下协同运行，完成既定工作范围和最终检查；未通过缩减核验范围换取成绩。具体求解步骤和内部计算结构保存在私有研究与运行档案中。 最终接受材料与运行记录分别保存。本次结果依赖原研究中的适用前提，未建立新的独立无条件全局最优性证明或形式化证明；既有研究与核验材料参与了结果接受，不能将本次用时视为从零完成全部研究的时间。 ## 官方答案指纹与证据 官方diskcover-minpoly-v1脚本将低幂次在前的整数系数化为本原正首项多项式，将精确隔离区间确定的半径以ROUND_HALF_UP保留20位小数，对规范JSON计算SHA-256。区间两端舍入结果一致，无浮点转换。计算值与网站参考值相同： `c31dce1e3cac5f00d12105435f9f7c61a0456844a01867efbc69011f90473b55` 核对时间：2026-10-05（UTC）。答案指纹只核对答案数据，不能认证全局证明、作者身份或用时。原始系数文件SHA-256与答案协议指纹分别记录。精确答案、根隔离证书、代码、执行回执与公开对话导出保存在本地私有ZIP，网页只发布本轮成绩与报告。 稳定测试编号：`T_20261005T042916Z_01a10823`；运行编号：`optimized-32-03`。对话归档标为partial，缺失的压缩或截断内容不补造；费用及完整研发时间未统一记录。
# n=27 最佳已记录运行：DGC v62 + MinPoly v8 算法版本：自动证明基于 DGC v62；最小多项式求解使用 MinPoly v8（执行绑定：20261004-v8）。本次为这两个算法的共享32核第3版调度修订（Shared32 v3），对应运行 optimized-32-03。 本轮联合算法耗时 **882.4296346960001秒**（14分42.43秒，含重新编译），网站成绩为 **661分**。本条归入“最佳已记录运行”。它记录既有研究算法、AI调度与本机计算组成的算法系统；一次观测不证明稳定性能。 ## 起始材料、机器与计时 输入为n=27及项目既有研究程序和核验材料，已有研究成果作为起始资料。本轮运行使用日常Ubuntu WSL、SageMath、Python和本地编译的C++程序，宿主为AMD Ryzen 9 8945HX，16个物理核心、32个逻辑核心。内存为32 GiB DDR5，依据同机既存硬件记录，未在本轮启动时重测。 总计时包括程序的重新编译7.407230013秒，以及联合控制器874.888980938秒，含启动收尾。证明生成642.518606473秒，独立核验206.224039099秒，代数侧637.358080255秒；两路有重叠，不将阶段时间相加。公开成绩采用程序运行时间，排除前置研究、AI交互、后续归档与发布、事后参考指纹比较。该时间不等于模型自然经过时间或从零整题求解时间。 ## 资源分配与算法 可用CPU范围为0至31。共享调度器按代数阶段切换预算：并行代数阶段分配16个逻辑核心，串行阶段分配2个，其余供证明侧；代数完成后证明侧获得全部32个。调整时核对实际子进程及线程的CPU亲和性。证明任务准入随预算变化，已开始任务继续运行。实际线程预算和调度回执保存在私有档案。运行中的宿主采样曾达到100%，不据此推断全程持续满载；该采样仅在工具输出中保留，未生成独立采样文件。 证明侧负责覆盖问题的候选研究与证明核验，代数侧负责半径的精确代数结果及一致性核验。两部分在共享计算资源下协同运行，完成既定工作范围和最终检查；未通过缩减核验范围换取成绩。具体求解步骤和内部计算结构保存在私有研究与运行档案中。 最终接受材料与运行记录分别保存。本次结果依赖原研究中的适用前提，未建立新的独立无条件全局最优性证明或形式化证明；既有研究与核验材料参与了结果接受，不能将本次用时视为从零完成全部研究的时间。 ## 官方答案指纹与证据 官方diskcover-minpoly-v1脚本将低幂次在前的整数系数化为本原正首项多项式，将精确隔离区间确定的半径以ROUND_HALF_UP保留20位小数，对规范JSON计算SHA-256。区间两端舍入结果一致，无浮点转换。计算值与网站参考值相同： `c31dce1e3cac5f00d12105435f9f7c61a0456844a01867efbc69011f90473b55` 核对时间：2026-10-05（UTC）。答案指纹只核对答案数据，不能认证全局证明、作者身份或用时。原始系数文件SHA-256与答案协议指纹分别记录。精确答案、根隔离证书、代码、执行回执与公开对话导出保存在本地私有ZIP，网页只发布本轮成绩与报告。 稳定测试编号：`T_20261005T042916Z_01a10823`；运行编号：`optimized-32-03`。对话归档标为partial，缺失的压缩或截断内容不补造；费用及完整研发时间未统一记录。