查看“︁ZSS Hydra”︁的源代码

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的预期也是这个。
{{默认排序:序数记号}}
[[分类:记号]]