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

MrSS

来自Googology Wiki

MrSS1.3

MrSS(山脉结构序列) 是送到于2026.9.4创造的记号,这个版本只利用了1层山脉的结构,并不理想

主体定义

MrSS合法表达式形如S=a1,a2,a3,...(a1=1,an为MrSS表达式或有限非零序数)

名词定义

坏部末项(不包括)到坏根(包括)的部分
末项:序列的最后一项
左腿:山脉图中元素的正上方元素与元素的坏根之间的线
右腿:山脉图中元素的正上方元素与元素之间的线
坏根:元素a的坏根为最后一个在a左边且a以此元素开头的元素,元素a的坏根b延右腿向下的元素需要小于元素a延右腿向下的元素(如果不能在满足时保证延右腿向上的元素为1则可以不满足),元素的坏根不能截断其他元素与坏根之间的段落
副根:需要满足所有条件的坏根,在副根与坏根相同时将没有坏根 n阶元素:单个1为0阶元素,单个数值项或由1组成的项为1阶元素,由0∼n阶元素组成的元素为n+1阶元素
n层元素:整个表达式为1层元素,n层元素内的元素是n+1层元素
n阶表达式:最高阶元素是n阶元素的表达式为n阶表达式
差项:元素值(详见山脉图2.2.)右腿所链接的元素与元素本体经行字符串相减所得出的值与其坏根得出的值经行字符串相减所得出的值
差值:一个2层元素a与其坏根b的末项差−1为a的差值

山脉图

1.对于1阶MrSS表达式采用1−Y山脉图画法

  • 1.1.如果表达式不能直接相减则将末尾的1的数量当成数字再画山脉(对于这种情况,坏根只能为这个2阶元素外、3阶元素内的元素,不能再次退出括号)

2.对于n阶MrSS表达式(n>1)

  • 2.1.找出表达式中所有的2阶元素并用1.∼1.1.画出1阶山脉图
  • 2.2.找出表达式中所有的m+1阶元素的第1行末项的左右腿,将左右腿平移到上一行(如果(m>1)则没有这一条),此时左右腿包括的元素所构成的序列为这个m+1阶元素的值(如果第一项不是空则值的第一项为空)
    • 2.2.1.如果m+2阶元素内有m+1阶元素a与其坏根元素b进行字符串相减得出的部分c存在于两个元素内且对元素b添加ω个c得出的部分刚好是另一个元素d的展开式且a和b是在d前最后一个满足这些规则的元素则元素d的值至少为为元素b的值字符串拼接1(从末项出发向左寻找足够的1)
    • 2.2.2.如果(m+2阶元素内有m+1阶元素a与同阶元素b且元素a与元素b满足2.2.1中的a与d或满足2.2.2中的a与b)且有元素c满足末项大于a的末项且元素a是最后一个在c前且满足前两条规则元素,则c的值至少为元素a的值字符串拼接1(从末项出发向左寻找足够的1)
  • 2.3.找出表达式中所有m+1阶元素的值,将左腿链接m阶元素值的坏根并将字符串相减后的结果写在右腿上方,按此方法画出m+1阶山脉图
    • 2.3.1如果2阶元素的值没有坏根则将左腿链接m+1阶山脉图中最后一个比元素底至少2阶的元素(前提是在这一列山脉最上方元素没有在更低阶的山脉中因为2.3.1而被左腿链接)
  • 2.4如果山脉图无阶数则执行2.1.,否则执行2.2.∼2.3.1(m=当前山脉图阶数)

展开

1.如果序列为空则序列为零表达式
2.如果序列末项为1则序列为后继表达式,此时序列为去掉末项序列的后继
3.如果序列末项不为1则序列为极限表达式,画出序列S的山脉图

  • 3.1.如果山脉图阶数为1则按照1−Y展开
  • 3.2.如果需要展开的山脉图阶数≥3
    • 3.2.1找到山脉图中末列最高元素所在行并按PrPS展开(空为0)
    • 3.2.2如果序列存在差项则每次复制时向将坏部内每个元素变为(差项,元素)
  • 3.3.如果需要展开的山脉图阶数<3
    • 3.3.1.如果末项有副根
      • 3.3.1.1.如果坏根的下一行元素小于等于末项第一行的元素则再单独展开一次将末项的副根看作坏根时的山脉,并将展开后每个末项的坏根所在的位置替换成原来的展开中每个坏根所在的位置的元素
      • 3.3.1.2.如果坏根的下一行元素大于末项第一行的元素则再单独展开一次将末项的副根看作坏根时的山脉,并将展开后的序列作为为展开
    • 3.3.2.如果有元素上方为空则用此元素末项坏部每项+差值×复制次数后替代末项
    • 3.3.3.如果替换后元素小于等于坏根则将坏部拼接到元素右边直到元素值大于坏根的值
    • 3.3.4如果序列存在差项则每次复制时向将坏部内每个元素变为(差项,元素)

分析

目前有MrSS1.3(1,(1,2),(1,2,3),(1,2,3,1))=MHO