算法导论 练习题 20.2-2

PROTO-vEB-PREDECESSOR(V,x)

if V.u==2

if x==1 and V.A[0]==1

return 0

else

return NIL

else offset=PROTO-vEB-PREDECESSOR(V.cluster[high(x)],low(x))

if offset != NIL

return index(high(x),offset)

else

predes=PROTO-vEB-PREDECESSOR(V.summary,high(x))

if predes == NIL

return NIL

else

offset=PROTO-vEB-MAXIMUM(V.cluster[predes])

return index(predes,offset)