← 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 的界仍待對照。