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

ZSS Hydra

来自Googology Wiki

ZSS Hydra,是梅天狸创造的序数记号。它既可以是两行ZSM进一步理想化的产物,也是SSS Hydra更易分析的改版。

定义

表达式集和极限表达式和PSS Hydra一致。

将表达式中所有的pn()称为节点,n为该节点等级,括号中的部分称为被该节点包含的部分;

记最内层的、包含节点A的节点为节点A的外层;

若节点B包含节点A,则称节点A、节点A的外层、节点A的外层的外层、……、节点B组成的序列为A到B的路径

记表达式的最后一个节点为Z;

若Z的等级为0或1,处理方法与PSS hydra一致;

若Z的等级≥2,那么找到包含Z且等级为0的节点中最内层的节点,检查从Z到该节点的路径。路径上所有等级不小于上一个以此法找到的“检查根”(若不存在,则改为等级小于Z)的节点为“检查根”,路径上所有等级小于上一个以此法找到的“待定根”(若不存在,则改为等级小于Z)的节点为“待定根”;

记Z的等级为n,某个检查根C的等级为m,那么给C包含的部分里,所有满足“除C以外,到C的路径中的所有节点的等级都大于C”或满足“位于从Z到C的路径上”的节点的等级增加(n-m-1),得到的结果称为C的“试展开”;

按字典序比较所有检查根的试展开,小于最内侧根的试展开叫做“小根”;位于最外侧的、自身不是“小根”、内部没有“小根”的待定根是最后一项复制时所要找的参考对象R。把R和R内部的表达式不断复制在最后一个节点的位置,每复制一次,把R和R内部所有满足“除R以外,到R的路径中的所有节点的等级都大于R”或满足“位于从Z到R的路径上”的节点的等级增加(n-m-1),其中n为最后一个节点的等级,m为参考对象的等级,完成展开。

分析

主词条:ZSS Hydra分析

ZSS Hydra一度被认为可以模拟BMS的行为。后来经过分析后,梅天狸不再认为其超过BMS,目前对其强度的预期是BMS的(0)(1,1,1,1)(2,2,2,1)(3,2,2)(4,2)(3).SSS Hydra的预期也是这个。