← WSFC:蟲序列自由度閉合 / WSFC R22 · 全域覆蓋與一致收斂

WSFC:蟲序列自由度閉合 WSFC R22 · 全域覆蓋與一致收斂 Neo.K / Aletheia

G1 Full-Domain Coverage:Exact-Length Tent Approximation、Uniform Cover Modulus 與 Broadworm Value Closure

以精確長度的雙邊「帳篷」構造,讓每條單位弧都有一個 n 段單位長度折線逼近,Hausdorff 誤差 ≤ 1/(2⌊n/2⌋);配合寬度是 2-Lipschitz,得 0 ≤ t₀ − t_n ≤ 1/⌊n/2⌋,並(Arzelà–Ascoli 加上假定的經典 broadworm 唯一性)得到正規化最優解的收斂。

這個與 G0 無關的部分是初等的:逼近界與寬度的 Lipschitz 性質;收斂部分依賴假定的經典唯一性。 原始獨立套件未找回;2026-10-08 已從 R28 副本組成獨立重建包,本文位元組保持一致。R01/R22 的界仍待對照。

連接 · Connections

載入中…