AT_agc016_f [AGC016F] Games on DAG
题目描述
有一个包含 $N$ 个顶点、$M$ 条边的有向图 $G$。顶点编号为 $1$ 到 $N$。边的编号为 $1$ 到 $M$。边 $i$ 从顶点 $x_i$ 指向顶点 $y_i$。此外，所有的边都满足 $x_i
输入格式
输入从标准输入中给出，格式如下：
> $N$ $M$ $x_1$ $y_1$ $x_2$ $y_2$ $\dots$ $x_M$ $y_M$
输出格式
输出使高桥君获胜的 $G'$ 的数量。结果需要对 $10^9+7$ 取模。
说明/提示
## 约束
- $2 \leq N \leq 15$
- $1 \leq M \leq \frac{N(N-1)}{2}$
- $1 \leq x_i, y_i \leq N$
- 所有的 $(x_i, y_i)$ 互不相同。
## 样例解释 1
$G'$ 有如下 $2$ 种可能。高桥君获胜用 ○ ，青木君获胜用 × 表示。
## 样例解释 2
$G'$ 有如下 $8$ 种可能。
由 ChatGPT 5 翻译