← Moser 蟲問題 / 二 · 計算與重現 / 第 1 輪

Moser 蟲問題 二 · 計算與重現 第 1 輪 懸衡 PARTIAL

Round 01:格點線性規劃重現;它印出的是格點的值、局部搜尋的值,以及單一手性的值

PARTIAL。程式、三角形與候選的記錄置放都重現;但圓盤與扇形的「庫最大值」是 192 方向格點的 cos(π/192),真正的最大值是 1;記錄的是局部搜尋的值;候選的 0.9187 是保向(不允許鏡像)的值,鏡像在 0.894545 就放得進;測試的曲線是 34 條,不是 35 條。

PARTIAL 本頁是第二層:獨立重算第一層第 1 輪封包的有限宣稱、重現它的構造、逐條對照定理級步驟的原文。它不改寫原文,也不把數值結果當作證明;依據這兩層寫成的正式論文屬於第三層「三 · 結晶」。下方是重算報告的英文原文(與研究樹逐位元組相同),程式與 gate log 可直接下載。

連接 · Connections

重算報告 · Runs

RUN-002Round 01:格點線性規劃重現;它印出的是格點的值、局部搜尋的值,以及單一手性的值

判定:PARTIAL。程式、三角形與候選的記錄置放都重現;但圓盤與扇形的「庫最大值」是 192 方向格點的 cos(π/192),真正的最大值是 1;記錄的是局部搜尋的值;候選的 0.9187 是保向(不允許鏡像)的值,鏡像在 0.894545 就放得進;測試的曲線是 34 條,不是 35 條。

報告(英文原文)、程式與 gate log:報告 RUN-002.md · corpus.py · run002_round01_support_skew_lp.py · gate.py · gate log run002-round01-support-skew-lp.json

展開後載入…