satisfying ML(ri,r~+l) = ML(frontier(ri) U frontier(r~+l)). For a P-node p maintain in p a single integer denoted ML(p) that satisfies ML(p) = ML(frontier(p)).
ความพึงพอใจของ ML (RI, R ~ + L) = ML (Frontier (RI) U ชายแดน (R ~ + L)). สำหรับ P-โหนด P รักษาใน PA จำนวนเต็มเดียวแสดง ML (P) ที่ตอบสนองความ ML (P) = ML (Frontier (P))
น่าพอใจ ml ( ริ , R ~ + l ) = ml ( ชายแดนชายแดน ( ริ ) U ( R ~ + L ) )สำหรับการรักษาใน p-node P P จำนวนเต็มเดียวกล่าวคือ มล. ( P ) ที่น่าพอใจมล. ( P ) = ml ( ชายแดน ( P )