? 假设现在在点1，有许多形如 (x, y, z) 的限制条件，那么对于一组限制，必须先走到 x, y 的 \(\frac{z-dis(x, y)}{2}\) 级祖先，叫这些点为限制点，那么如果要满足所有条件，必然是先走到一个最深的限制点，如果当前点满足所有限制，那么就是特殊点，否则再往下走一定不会更好，因为这样会离其他的限制点越来越远。
(x, y, z)
x, y
[BZOJ4151]The Cave
原文：https://www.cnblogs.com/cnyali-Tea/p/11439889.html
