AtCoder Regular Contest 093
翻译中…
Problem Statement
翻译中…
There are $2^N$ players, numbered $1, 2, ..., 2^N$. They decided to hold a tournament.
翻译中…
The tournament proceeds as follows:
翻译中…
- Choose a permutation of
$1, 2, ..., 2^N$:$p_1, p_2, ..., p_{2^N}$. - The players stand in a row in the order of Player
$p_1$, Player$p_2$,$...$, Player$p_{2^N}$. - Repeat the following until there is only one player remaining in the row:
- Play the following matches: the first player in the row versus the second player in the row, the third player versus the fourth player, and so on. The players who lose leave the row. The players who win stand in a row again, preserving the relative order of the players.
- The last player who remains in the row is the champion.
翻译中…
It is known that, the result of the match between two players can be written as follows, using $M$ integers $A_1, A_2, ..., A_M$ given as input:
翻译中…
- When
$y = A_i$for some$i$, the winner of the match between Player$1$and Player$y$($2 \leq y \leq 2^N$) will be Player$y$. - When
$y \neq A_i$for every$i$, the winner of the match between Player$1$and Player$y$($2 \leq y \leq 2^N$) will be Player$1$. - When
$2 \leq x < y \leq 2^N$, the winner of the match between Player$x$and Player$y$will be Player$x$.
翻译中…
The champion of this tournament depends only on the permutation $p_1, p_2, ..., p_{2^N}$ chosen at the beginning. Find the number of permutation $p_1, p_2, ..., p_{2^N}$ chosen at the beginning of the tournament that would result in Player $1$ becoming the champion, modulo $10^9 + 7$.
翻译中…
Constraints
翻译中…
$1 \leq N \leq 16$$0 \leq M \leq 16$$2 \leq A_i \leq 2^N$($1 \leq i \leq M$)$A_i < A_{i + 1}$($1 \leq i < M$)
翻译中…
Input
翻译中…
Input is given from Standard Input in the following format:
翻译中…
N M
A_1 A_2 ... A_M
翻译中…
Output
翻译中…
Print the answer.
翻译中…
样例
Input #1
2 1
3
Output #1
8
Examples of $p$ that satisfy the condition are: $[1, 4, 2, 3]$ and $[3, 2, 1, 4]$. Examples of $p$ that do not satisfy the condition are: $[1, 2, 3, 4]$ and $[1, 3, 2, 4]$.
Input #2
4 3
2 4 6
Output #2
0
Input #3
3 0
Output #3
40320
Input #4
3 3
3 4 7
Output #4
2688
Input #5
16 16
5489 5490 5491 5492 5493 5494 5495 5497 18993 18995 18997 18999 19000 19001 19002 19003
Output #5
816646464
题目信息
题面与样例版权归 AtCoder 及出题人所有;中文翻译由 AI 生成(CI 管线),如有出入请以原文为准。