#P6657. 【模板】LGV 引理

【模板】LGV 引理

题目描述

这是一道模板题。

有一个 n×nn\times n 的棋盘,左下角为 (1,1)(1,1),右上角为 (n,n)(n,n),若一个棋子在点 (x,y)(x,y),那么走一步只能走到 (x+1,y)(x+1,y)(x,y+1)(x,y+1)

现在有 mm 个棋子,第 ii 个棋子一开始放在 (ai,1)(a_i,1),最终要走到 (bi,n)(b_i,n)。问有多少种方案,使得每个棋子都能从起点走到终点,且对于所有棋子,走过路径上的点互不相交。输出方案数 mod 998244353\bmod\ 998244353 的值。

两种方案不同当且仅当存在至少一个棋子所经过的点不同。

输入格式

本题有多组数据

第一行一个整数 TT,表示该测试点的数据组数。

对于每组数据:

第一行两个整数 n,mn,m,分别表示棋盘的大小和起点终点的数量。

接下来 mm 行,每行 22 个整数 ai,bia_i,b_i,其意义已在题目描述中说明。

输出格式

对于每一组数据,输出一行一个整数表示方案数 mod 998244353\bmod\ 998244353 的值。

3
3 2
1 2
2 3
5 2
1 3
3 5
10 5
3 5
4 7
5 8
7 9
9 10
3
155
2047320

提示

  • 对于 30%30\% 的数据,n100n\leq 100m8m\leq 8

  • 对于 100%100\% 的数据,T5T\leq52n1062\leq n\leq10^61m1001\leq m\leq1001a1a2amn1\leq a_1\leq a_2\leq \dots\leq a_m\leq n1b1b2bmn1\leq b_1\leq b_2\leq \dots\leq b_m\leq n