(最右边[]第一次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”大佬~,