题目描述
众所周知, HN-001 是神一般的存在。
HN-001 给了你一个 n n n 阶排列 { a i } \{a_i\} {ai} ,并向你提出了 q q q 次询问。每次询问 HN-001 会给出四个参数 l 1 , r 1 , l 2 , r 2 ( 1 ≤ l 1 ≤ r 1 < l 2 ≤ r 2 ≤ n ) l_1,r_1,l_2,r_2(1 \le l1 \le r1 < l2 \le r2 \le n) l1,r1,l2,r2(1≤l1≤r1<l2≤r2≤n) ,且 r 1 − l 1 = r 2 − l 2 r_1 − l_1 = r_2 − l_2 r1−l1=r2−l2 。记 m = r 1 − l 1 + 1 m = r_1 − l_1 + 1 m=r1−l1+1 ,你需要构造一个 m m m 阶排列 { b j } \{b_j\} {bj} 并满足: ∀ j ∈ [ 1 , m ] , a j + l 1 − 1 < a b j + l 2 − 1 \forall j \in [1,m], a_{j+l_1-1}< a_{b_j+l_2-1} ∀j∈[1,m],aj+l1−1<abj+l2−1 。
HN-001 并不满足于让你构造出一个 { b j } \{b_j\} {bj} , Ta 想让你算一下满足条件的的 { b j } \{b_j\} {bj} 的数量。由于 HN-001 崇尚秩序, Ta 对“逆序对”这类事物不感兴趣,因此排列 { a j } \{a_j\} {aj} 中的逆序对数不会太多,具体来说,就是满足 1 ≤ x < y ≤ n 1 \le x < y \le n 1≤x<y≤n 且 a x > a y a_x > a_y ax>ay 的二元组 ( x , y ) (x,y) (x,y) 的数量不会超过 1 0 5 10^5 105 。
由于答案可能很大, HN-001 不想太为难你,于是 Ta 只要你输出答案对 1 0 9 + 7 10^9 + 7 109+7 取模的结果。
数据范围
对于 100% 的数据, 1 ≤ T ≤ 10 , 1 ≤ ∑ n , ∑ q ≤ 1 0 5 1 \le T \le 10 , 1 \le \sum_{n}, \sum_{q} \le 10^5 1≤T≤10,1≤∑n,∑q≤105 ,排列 { a i } \{a_i\} {ai} 的逆序对数不超过 1 0 5 10^5 105 。
题解
考虑暴力,把两段区间分别排序,设 c n t i cnt_i cnti 表示后一段第 i i i 个数比前一段大的数的个数,那答案就是 ∏ i = 1 n ( c n t i − i + 1 ) \prod_{i=1}^n(cnt_i-i+1) ∏i=1n(cnti−i+1) 。这样是 O ( n q ) O(nq) O(nq) 的。
设 k k k 为逆序对数,那么 ∑ ( m − c n t i ) ≤ k \sum(m-cnt_i) \le k ∑(m−cnti)≤k ,也就意味着 c n t i cnt_i cnti 不同的个数是 O ( k ) O(\sqrt k) O(k) ,那我们就可以把 c n t i cnt_i cnti 相同的数放在一起算,这个过程可以用主席树维护,因此效率为 O ( q k l o g n ) O(q\sqrt klogn) O(qklogn) 。