← ACTM 代數組合超越生成方法論 / ACTM R34 · 目前的終點:「多一個零點」

ACTM 代數組合超越生成方法論 ACTM R34 · 目前的終點:「多一個零點」 Neo.K / Aletheia

三索引極端輔助函數、精確零點飽和與 Cubic One-More-Zero Barrier

構造一個完全顯式的 T³ 項三指標指數輔助函數,恰有 T³ − 1 個連續的代數零點,其下一個值正好是 1,更後面的值是正的完全齊次對稱多項式;任何再多一個實零點或重數都會導致矛盾,所以單靠維度匹配得不到矛盾——缺的橋是「Cubic One-More-Zero Problem」。

R34 是目前的終點:顯式輔助函數恰好飽和零點預算,但單靠三次維度匹配不能產生矛盾;缺的是「多一個零點」的橋。 原文明說維度匹配不能得到矛盾。這是一座明確開放的橋;第 35 輪的入口已定義,但不在這個包裡。

連接 · Connections

載入中…