#P11288. [COTS 2017] 模板 Z1

    ID: 10784 Type: RemoteJudge 4000ms 500MiB Tried: 0 Accepted: 0 Difficulty: 7 Uploaded By: Tags>动态规划,dp2017线段树树状数组容斥COCI(克罗地亚)

[COTS 2017] 模板 Z1

题目背景

译自 Izborne Pripreme 2017 (Croatian IOI/CEOI Team Selection) D2T2。4s,0.5G\texttt{4s,0.5G}

题目描述

题目(【模板】RMQ)。

给定整数序列 a1,a2,,ana_1,a_2,\cdots,a_n,值域为 [0,h)[0,h)

mm 次询问。第 ii 次询问给定 li,ril_i,r_i,求出 maxk[li,ri]{ak}\displaystyle \max_{k\in [l_i,r_i]} \{a_k\}

在 Mitakihara Middle School 的校内 OJ 中,Madoka 精心造了这题的数据。然而粗心的 Homura 把这题的所有输入文件中的 aa 序列误删了。

现在她们拥有的信息只有 n,m,hn,m,h,每个询问和对应的答案。她们很好奇一共有多少个可能的 aa 序列满足条件。请你帮忙求出答案对 (109+7)(10^9+7) 取模后的结果。

输入格式

第一行,三个正整数 n,m,hn,m,h;

接下来 mm 行,每行三个整数 li,ri,xil_i,r_i,x_i,表示 maxk[li,ri]{ak}=xi\displaystyle \max_{k\in [l_i,r_i]} \{a_k\}=x_i

输出格式

输出一行一个整数,表示答案对 (109+7)(10^9+7) 取模后的结果。

3 2 3
1 2 1
2 2 0
3
7 10 3
1 3 1
3 4 1
3 6 2
4 5 2
1 1 1
1 2 1
3 3 0
1 1 1
3 3 0
3 6 2
18

提示

样例解释

样例 11 解释:只有 [1,0,0][1,0,0][1,0,1][1,0,1][1,0,2][1,0,2] 满足条件。

数据范围

对于 100%100\% 的数据,保证:

  • 1n,m,h1061\le n,m,h\le 10^6
  • 1lirin1\le l_i\le r_i\le n
  • 0xi<h0\le x_i\lt h
子任务编号 nn\le 得分
1 1 100 100 20 20
2 2 103 10^3 30 30
3 3 10610^6 50 50