传送门:bzoj5342
题解
因为是每个右端点的极大连续区间,所以区间不能相交,只能是包含关系。
若 L n ≠ n L_n\neq n Ln̸=n或者存在区间相交,则无解。
若有解,则每个点对应的极大连续区间向它右边第一个完全包含它的极大连续区间连边,必然构成了一颗树。
对于某个结点,它自身代表一段连续区间,可以把每个儿子结点代表的一段连续区间看做一个点,记它的儿子结点个数为 s z [ i ] sz[i] sz[i],这就是一个长度为 s z [ i ] + 1 sz[i]+1 sz[i]+1的排列。
设 f n f_n fn表示 1 − n + 1 1-n+1 1−n+1的满足只有一个长度大于1的极大连续区间且长度为 n + 1 n+1 n+1的排列个数。
那么总答案为 ∏ i = 1 n f s z [ i ] \prod \limits_{i=1}^n f_{sz[i]} i=1∏nfsz[i]。
问题在于求解 f f