Universal Cup Judging System

Universal Cup

Süre Sınırı: 2 s Bellek Sınırı: 1024 MB
İstatistikler

VegiCat даёт вам два целых числа $n$ и $m$. Рассмотрим целочисленные массивы $a_1, a_2, \ldots, a_n$, такие что

$$ a_1 = 0, \qquad 0 \le a_{i+1} - a_i \le 1 \quad (1 \le i < n). $$

Пусть $s_i = a_1 + a_2 + \ldots + a_i$ — префиксные суммы массива $a$. VegiCat также сообщает вам префиксные суммы в $m$ позициях; то есть вам даны $m$ ограничений вида $s_{p_j} = v_j$ ($1 \le j \le m$).

problem_23594_7f47c20ec05f2c7c4e4e59a950db89af.png

Посчитайте количество массивов, удовлетворяющих всем ограничениям, по модулю $998\,244\,353$. Если ни один массив не удовлетворяет всем ограничениям, ответ равен $0$.

Входные данные

Первая строка содержит целое число $T$ ($1 \le T \le 10^4$) — количество наборов входных данных. Далее следует описание наборов входных данных.

Каждый набор входных данных задаётся следующим образом:

Первая строка содержит два целых числа $n$ и $m$ ($1 \le n \le 100$, $0 \le m \le n$) — длину массива и количество ограничений на префиксные суммы соответственно.

$j$-я из следующих $m$ строк содержит два целых числа $p_j$ и $v_j$ ($1 \le p_j \le n$, $0 \le v_j \le 10^9$). Она описывает ограничение: сумма первых $p_j$ элементов массива должна быть равна $v_j$.

Позиции $p_j$ заданы в порядке строгого возрастания.

Выходные данные

Для каждого набора входных данных выведите одно целое число — количество подходящих массивов по модулю $998\,244\,353$.

Примеры

Входные данные 1

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

Выходные данные 1

1
1
2
2
2
0

Примечание

Без каких-либо ограничений на префиксные суммы существует ровно $2^{n-1}$ таких массивов, поскольку каждая из $n - 1$ разностей соседних элементов может независимо принимать значение $0$ или $1$.

Во втором наборе входных данных единственный массив с $s_3 = 1$ — это $(0, 0, 1)$.

В третьем наборе входных данных условие $s_2 = 0$ вынуждает $a_2 = 0$, после чего $a_3$ может быть равно $0$ или $1$.

В четвёртом наборе входных данных подходящими массивами являются $(0, 1, 1, 1)$ и $(0, 0, 1, 2)$.

В пятом наборе входных данных массивами с $s_5 = 4$ являются $(0, 0, 1, 1, 2)$ и $(0, 1, 1, 1, 1)$.

В шестом наборе входных данных условие $s_2 = 0$ вынуждает $a_1 = a_2 = 0$, поэтому $s_5 \le 6$. Ограничение $s_5 = 10$ выполнить невозможно.

Discussions

About Discussions

The discussion section is only for posting: General Discussions (problem-solving strategies, alternative approaches), and Off-topic conversations.

This is NOT for reporting issues! If you want to report bugs or errors, please use the Issues section below.

Open Discussions 0
No discussions in this category.

Issues

About Issues

If you find any issues with the problem (statement, scoring, time/memory limits, test cases, etc.), you may submit an issue here. A problem moderator will review your issue.

Guidelines:

  1. This is not a place to publish discussions, editorials, or requests to debug your code. Issues are only visible to you and problem moderators.
  2. Do not submit duplicated issues.
  3. Issues must be filed in English or Chinese only.
Active Issues 0
No issues in this category.
Closed/Resolved Issues 0
No issues in this category.