爱看呀小说

手机浏览器扫描二维码访问

第470章 20 新hydra（第3页）

如果（A）

归约规则也可以这么说。

在第n步中，

1~2、如果最右边的头部是白色头部x，那么设它的父顶点是y，去掉x。如果y不是根顶点，那么设y的父顶点是z，把T_y复制n遍，都附加到原hydra上，使得那些T_y的根顶点是z的子顶点。

3、如果最右边的头部是黑色头部x，那么找到它的最近白色顶点y，再找到y的最近“小于y”的顶点z。这里设一个“界限”：把T_y中的x换成T_y，得到界限。

3.1.如果z小于界限，那么找到z的“使得y是u的子孙”的最近白色子孙顶点u，把T_u换成原T_y，再把T_y中的x换成T_u。

3.2.如果z大于等于界限，那么重复n遍“把T_y换成T_z”，最后去掉T_y。

注意：3.1的添层规则中，添加层只能发生在一个白色顶点与它的父顶点之间，而不可发生在一个黑色顶点与其父顶点之间。

比较规则：

（A）

如果A含有至少一个括号表达式，那么（）

如果H

如果（A）

如果（A）

也就是说，黑色顶点总是大于白色顶点。

同色顶点比较，就从左到右比它们的子顶点。

不说顶点，应该是括号表达式（子树）

在中，首先看最右边头部：[]是黑色，于是找到它的最近白色顶点：（[[][]]），它的“界限”是（[[]（[[][]]）]）。

继续找（[[][]]）的最近“小于（[[][]]）”的祖先，得（[（[[][]]）]）。它小于界限，因此要用添层规则。

添层规则发生在（[[][]]）外（而不是[（[[][]]）]外！），于是最终hydra变成了

一般说来，在一个白色顶点内（在一个（）内），

添加一个黑色子顶点就意味着它的“类型”增加了1

添加一个[（）]就是类型增加了ω

添加一个[（）（）]就是类型增加了ω^2

添加一个[（（））]就是类型增加了ω^ω

添加一个[（（（）））]就是类型增加了ω^ω^ω

添加一个[（（[]））]就是类型增加了ε_0

如果对应的序数是α，那么在白色顶点内添加子树[A]就是类型增加了ω^α。

特别感谢“HypCos”大佬~

魔王你老婆又重生了  宙灵世界  大唐西游之最强网吧  他把星星摘给我  你好，我的上官先生  都市超级闲汉  尸唐：开局救了长乐公主  哈利波特之Hello黑魔王  灵物进化商  最牛玉帝系统  快穿之超凶萌宠  龙珠开局：拐走传超布罗利  人在盗笔，我妹妹惹不起  我觉醒了高达独角兽  魔武机神  诸天之从吊打五绝开始  鸿蒙教皇  兵王之极品老板娘  斗罗之真君显圣  五域九天