规则:
1.找到最里面且最靠右的pn(0),如果包着它的是pn-1的层就和buchholz的ocf一样.
2.如果包着它的是pn-2(…)，那么就从pn(0)开始向外寻找所有包着它的pn(…)。遇到≥n的就跳过，一直找到最外层.记第一个小于pn(0)的层为坏根(假设坏根=pm(…)).用n减去m得到一个差值.然后把pn(0)删除,替换为坏根及它包含的所有东西(不包括已删除的pn(0)),替换k次.替换b次时就把坏根及它包含的东西都加上b*差值.
注:只有pm(…)里面的px比pm大才添加差值.