tiii & tiv
tiii
可以把一个方向上的 \((i,j)\) 中满足:\(s_j>s_i\) 且 \(v_j>v_i\) 的点 \(i\) 直接删掉。然后我们的点就有了偏序关系。
每次区间 dp 考虑下一个抓的鸡,并且要求前缀都被抓。单次转移线性。
tiv
令一个询问的答案为 \(f(x,y,d)\)。令 x 和 y 的 lca 为 z,那么通过一些差分,我们有:
\[f(x,y,d)=f(1,x,d)+f(1,y,d)-2f(1,z,d)+f(z,z,d)
\]
证明可以画一下图。
\(f(z,z,d)\) 可以点分树做。
\(f(1,x,d)\) 可以树剖,式子,数据结构做。
算了我实在编不下去了。