[BZOJ4151]The Cave

Solution:

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