fffZ的多元兼容:修订间差异
来自Googology Wiki
更多操作
无编辑摘要 |
无编辑摘要 |
||
| 第3行: | 第3行: | ||
针对序列#,将所有项取其末项后得到<math>\#'</math>。 | 针对序列#,将所有项取其末项后得到<math>\#'</math>。 | ||
定义山峰项为:#'中项<math>a_i</math>,使得<math>a_i>a_{i+1},a_i>a_{i-1}</math> | 定义山峰项为:#'中项<math>a_i</math>,使得<math>a_i>a_{i+1},a_i>a_{i-1}</math>。(注意是#'而不是#) | ||
将所有山峰项依次重命名为<math>p_1,p_2,p_3,...p_k</math>。 | 将所有山峰项依次重命名为<math>p_1,p_2,p_3,...p_k</math>。 | ||
2026年8月5日 (三) 17:21的版本
针对修补平移转移的问题,一个参考方案是:
针对序列#,将所有项取其末项后得到。
定义山峰项为:#'中项,使得。(注意是#'而不是#)
将所有山峰项依次重命名为。
对于(n≥2),必须满足以下两条件才使得[#]的多元兼容存在。
1.对于任意1≤j<n的正整数j,存在(依据fffZ判定规则)。
2.以下条件至少成立一个。
i)山峰项的数量≤1。
ii)山峰项的数量>1,且对于正整数1≤s<k,。