打开/关闭菜单
打开/关闭外观设置菜单
打开/关闭个人菜单
未登录
未登录用户的IP地址会在进行任意编辑后公开展示。

fffZ的多元兼容:修订间差异

来自Googology Wiki
积分元素.留言 | 贡献
无编辑摘要
积分元素.留言 | 贡献
无编辑摘要
第7行: 第7行:
将所有山峰项依次重命名为<math>p_1,p_2,p_3,...p_k</math>。
将所有山峰项依次重命名为<math>p_1,p_2,p_3,...p_k</math>。


对于<math>\#'=a_1,a_2,a_3,a_4,...a_n</math>(n≥2),必须满足以下两条件才使得[#]存在。
对于<math>\#'=a_1,a_2,a_3,a_4,...a_n</math>(n≥2),必须满足以下两条件才使得[#]的多元兼容存在。


1.对于任意1≤j<n的正整数j,<math>[a_j,a_{j+1}]</math>存在(依据[[Fake Fake Fake Zeta|fffZ]]判定规则)。
1.对于任意1≤j<n的正整数j,<math>[a_j,a_{j+1}]</math>存在(依据[[Fake Fake Fake Zeta|fffZ]]判定规则)。

2026年8月5日 (三) 17:20的版本

针对修补平移转移的问题,一个参考方案是:

针对序列#,将所有项取其末项后得到#

定义山峰项为:#'中项ai,使得ai>ai+1,ai>ai1

将所有山峰项依次重命名为p1,p2,p3,...pk

对于#=a1,a2,a3,a4,...an(n≥2),必须满足以下两条件才使得[#]的多元兼容存在。

1.对于任意1≤j<n的正整数j,[aj,aj+1]存在(依据fffZ判定规则)。

2.以下条件至少成立一个。

i)山峰项的数量≤1。

ii)山峰项的数量>1,且对于正整数1≤s<k,ps>ps+1