AtCoder Grand Contest 017
F
Zigzag
AtCoder
⌀ 3417
原题
← E→
翻译中…

Problem Statement

翻译中…

There are $N(N+1)/2$ dots arranged to form an equilateral triangle whose sides consist of $N$ dots, as shown below. The $j$-th dot from the left in the $i$-th row from the top is denoted by $(i, j)$ ($1 \leq i \leq N$, $1 \leq j \leq i$). Also, we will call $(i+1, j)$ immediately lower-left to $(i, j)$, and $(i+1, j+1)$ immediately lower-right to $(i, j)$.

翻译中…

image

翻译中…

Takahashi is drawing $M$ polygonal lines $L_1, L_2, ..., L_M$ by connecting these dots. Each $L_i$ starts at $(1, 1)$, and visits the dot that is immediately lower-left or lower-right to the current dots $N-1$ times. More formally, there exist $X_{i,1}, ..., X_{i,N}$ such that:

翻译中…
  • $L_i$ connects the $N$ points $(1, X_{i,1}), (2, X_{i,2}), ..., (N, X_{i,N})$, in this order.
  • For each $j=1, 2, ..., N-1$, either $X_{i,j+1} = X_{i,j}$ or $X_{i,j+1} = X_{i,j}+1$ holds.
翻译中…

Takahashi would like to draw these lines so that no part of $L_{i+1}$ is to the left of $L_{i}$. That is, for each $j=1, 2, ..., N$, $X_{1,j} \leq X_{2,j} \leq ... \leq X_{M,j}$ must hold.

翻译中…

Additionally, there are $K$ conditions on the shape of the lines that must be followed. The $i$-th condition is denoted by $(A_i, B_i, C_i)$, which means:

翻译中…
  • If $C_i=0$, $L_{A_i}$ must visit the immediately lower-left dot for the $B_i$-th move.
  • If $C_i=1$, $L_{A_i}$ must visit the immediately lower-right dot for the $B_i$-th move.
翻译中…

That is, $X_{A_i, {B_i}+1} = X_{A_i, B_i} + C_i$ must hold.

翻译中…

In how many ways can Takahashi draw $M$ polygonal lines? Find the count modulo $1000000007$.

翻译中…

Note

翻译中…

Before submission, it is strongly recommended to measure the execution time of your code using "Custom Test".

翻译中…

Constraints

翻译中…
  • $1 \leq N \leq 20$
  • $1 \leq M \leq 20$
  • $0 \leq K \leq (N-1)M$
  • $1 \leq A_i \leq M$
  • $1 \leq B_i \leq N-1$
  • $C_i = 0$ or $1$
  • No pair appears more than once as $(A_i, B_i)$.
翻译中…

Input

翻译中…

Input is given from Standard Input in the following format:

翻译中…

N M K
A_1 B_1 C_1
A_2 B_2 C_2
:
A_K B_K C_K

翻译中…

Output

翻译中…

Print the number of ways for Takahashi to draw $M$ polygonal lines, modulo $1000000007$.

翻译中…

样例

Input #1
3 2 1
1 2 0
Output #1
6
There are six ways to draw lines, as shown below. Here, red lines represent $L_1$, and green lines represent $L_2$. ![image](https://atcoder.jp/img/agc017/75921b6e5a59ab17b4c07ada848b9f14.png)
Input #2
3 2 2
1 1 1
2 1 0
Output #2
0
Input #3
5 4 2
1 3 1
4 2 0
Output #3
172
Input #4
20 20 0
Output #4
881396682
题目信息
题号
agc017_f
时间限制
4 s
内存限制
256 MB

题面与样例版权归 AtCoder 及出题人所有;中文翻译由 AI 生成(CI 管线),如有出入请以原文为准。