一个抽象的问题：定义满足某性质的区间是合法的。若一个区间合法，则其所有子区间均合法，求所有合法区间数。

这个显然能双指针对每个左端点求出极长合法右端点。

那么这个能上树统计吗：定义满足某性质的路径是合法的。若一条路径合法，则被该路径覆盖的所有路径均合法，求合法路径数。