P7717 「EZEC-10」序列

题目背景

> 精准的解析刻画,是应该首先尝试的突破口。 ——command_block 《考前小贴士》

题目描述

请问有多少个不同的序列 $a$,满足: 1. $a$ 的长度为 $n$。 2. $a$ 中的元素均为不大于 $k$ 的非负整数。 3. 满足 $m$ 组形如 $(x_i,y_i,z_i)$ 且 $x_i

输入格式

输出格式

说明/提示

【样例 $1$ 说明】 共有 $6$ 种序列:$\{0,1,0\},\{0,1,1\},\{0,1,2\},\{1,0,0\},\{1,0,1\},\{1,0,2\}$。 【数据规模与约定】 **本题采用捆绑测试。** - Subtask 1(1 point):$n=1$。 - Subtask 2(5 points):$m=0$。 - Subtask 3(15 points):$n,m,k\le 5$。 - Subtask 4(10 points):$z_i=0$。 - Subtask 5(20 points):$k\le 16$。 - Subtask 6(2 points):数据随机。 - Subtask 7(47 points):无特殊限制。 对于 $100\%$ 的数据,$1 \leq n \leq 5 \times 10^5$,$0 \le m \le 5 \times 10^5$,$0 \le z_i