假设现在在点1,有许多形如 (x, y, z) 的限制条件,那么对于一组限制,必须先走到 x, y 的 (frac{z-dis(x, y)}{2}) 级祖先,叫这些点为限制点,那么如果要满足所有条件,必然是先走到一个最深的限制点,如果当前点满足所有限制,那么就是特殊点,否则再往下走一定不会更好,因为这样会离其他的限制点越来越远。
(x, y, z)
x, y