精英小说

精英小说>行走于V家世界 > 第471章 21 新hydra续(第4页)

第471章 21 新hydra续(第4页)

(最右边[]第一次droppg得到([([[]])][]),第二次droppg得到([([[]])]([([[]])][])),恰好等于([([[]])][])的“界限”)

但同时

(([([[]])]([[]])))[n]

=(([([[]])]([([[]])]…([([[]])]([([[]])]))…)))[n+1]

(最右边[]第一次droppg得到([[]]),第二次droppg得到([([[]])]([[]])),大于([[]])的“界限”([([[]])]))

不仅如此,([([[]])]([([[]])][]))跟([([[]])]([[]])),即使它们的“大小”不同,但按归约方法其实是完全等同的!

这个古怪的现象,准确描述是这样的:

设h、i都是子树,它们的根都是白色顶点,它们最右边的头部都是黑色且第一次droppg就得到h或i,满足hi,而h的“界限”大于i的“界限”。

当(phz)≥h的“界限”时,虽然h和i不同,但(phz)和(piz)都将归约成同样的子树。

继续。

([([[]])][])是([([[]])])+1型顶点

([([[]])][][])是([([[]])])+2型顶点

([([[]])][()])是([([[]])])+w型顶点

([([[]])][([])])是([([[]])])+([])型顶点

([([[]])][([([])])])是([([[]])])+([([])])型顶点

([([[]])][([([[]])])])是([([[]])])·2型顶点

([([[]])][([([[]])])])是([([[]])])·2型顶点,或者说([([[]])]([([[]])]))型顶点

([([[]])][([([[]])])()])是([([[]])]([([[]])]()))型顶点

([([[]])][([([[]])])([([[]])])])是([([[]])]([([[]])]([([[]])])))型顶点

([([[]])][([([[]])]([([[]])]))])是([([[]])]([([[]])]([([[]])]([([[]])]))))型顶点

([([[]])][([([[]])]([([[]])][]))])是([([[]])]([([[]])][]))型顶点

([([[]])][([([[]])][])])是([([[]])][])型顶点,此类型的根又是([([[]])])+1型顶点

([([[]])][([([[]])][([([[]])][])])])是([([[]])][([([[]])][])])型顶点,此类型的根又是([([[]])][])型顶点,此类型的根又是([([[]])])+1型顶点

([([[]])][([[]])])是([([[]])][([[]])])型顶点——这是第2个“类型不动点”。

第3个“类型不动点”:([([[]])][([[]])][([[]])])

第w个“类型不动点”:([([[]])()])

第ψ_0(Ω_w)个“类型不动点”:([([[]])(([()]))])

第([])个“类型不动点”:([([[]])([])])

第([([])])个“类型不动点”:([([[]])([([])])])

第([([[]])])个“类型不动点”:([([[]])([([[]])])])

第([([[]])][([[]])])个“类型不动点”:([([[]])([([[]])][([[]])])])

第([([[]])([([[]])])])个“类型不动点”:([([[]])([([[]])([([[]])])])])

而([([[]])([[]])]),则是第([([[]])([[]])])个“类型不动点”…………………………………………

…………………………(你们自己悟吧~)

……

无关的题外话:ocf≈pi1_2-ca_0pi1_∞-ca_0=二阶算术三阶算术n阶算术(所有n都可取)=loader函数极限=czfczfc+不可达基数zfc+ahlo基数fiteproisegaszfc+完全不可描述基数friedan&039;sfitetreesgdcszfc+wood基数zfc+巨大基数gdcs_2zfc+i3zfc+i0∑函数

特别感谢“hyps”大佬~,

已完结热门小说推荐

最新标签