有限段 Convexity Gate、Endpoint-Disc Obstacle Reduction 與 Support-Cell Allocation Calculus

自 Adhikari–Pitman 1989 引入有限 M 的凸性與端點條帶化約，把問題重寫成凸的端點圓盤障礙問題，證明支撐格代價 g(q, Δ) = 2q·tan(Δ/2q) 嚴格凸（報酬遞減），並在簡化的障礙模型內證明偶 n 有居中的頂點與平衡配置。奇 n 只列舉到 n = 20，頂部平台只有數值。

R04 在簡化障礙模型內證明偶 n 的對稱配置；結論限於該模型，不是全域結果。原文明言這是「reduced-model theorem」。這是 R04 的早期草稿，已被同一輪稍後寫成的《Support-Class Necessity I》（下一頁）取代；兩份不同的文件共用文件代碼 WSFC-R04-v0.1。

連接 · Connections

上一篇WSFC R03 · 對蹠支撐切線壓縮 · Antipodal Support-Tangent Compression：從 2n − 2 頂點自由度到低維序列與 Broadworm 連續極限

下一篇WSFC R04 正本 · 支撐類必要性 I · Support-Class Necessity I：既有 Convexity Gate、Endpoint Antipodes 與 Balanced Segment Allocation

編者說明：這是 R04 的早期草稿，已被同一輪稍後寫成的《Support-Class Necessity I》（下一頁）取代，保留作為研究紀錄。判斷依據（本站核對）：兩份文件並非逐位元組相同；R05 開頭引用的 BSP-A／B／C 用語只出現在《Support-Class Necessity I》與 R05，不在本草稿；R04 套件 zip 內兩份文件的內部時間，本草稿早於《Support-Class Necessity I》約 18 分鐘（17:28:14 對 17:46:08，是打包者的本機時間，只是旁證）。2026-10-07 的找回包也做了同樣的判定。

載入中…