T412503 构造游戏
题目背景
> [@gsczl71](https://www.luogu.com.cn/user/768530) 让我写背景,于是就有了这个背景。
题目描述
给定 $n,m$ 和 $k$,你需要将 $n$ 分解成若干个正整数之和,得到序列 $a$,定义 $a$ 的长度为 $|a|$,$a$ 需要满足以下条件:
- $a_i$ 均为正数。
- 相邻两数之差的绝对值 $\leq 1$。
- 如果 $m \neq 0$,则 $k$ 在序列至少出现过 $1$ 次。
- $a$ 中 $\geq k$ 的数正好有 $m$ 个。
- $|a| \leq 10^6$。
如果可以构造,输出 $|a|$ 与 $a$。
否则输出一行一个数 $0$。
输入格式
共一行,包含三个整数 $n,m,k$,意义见题目描述。
输出格式
如果有解,输出共两行。
第一行输出一个数 $|a|$ 表示 $a$ 的长度。
第二行输出合法的构造 $a$ 的方案,若有多种方案,则输出任意一种。
如果无解输出一行一个 $0$。
本题采用 **Special Judge** 进行评测。
说明/提示
#### 样例解释
样例一中,没有其他合法方案。
样例二中,合法方案还可以是 $\{2,3\}$。
样例三中,不存在合法方案。
#### 数据范围与约定
对于 $100\%$ 的数据,保证 $1 \leq n,k \leq 10^{18}$,$0 \leq m \leq 10^6$。
特别地,为了方便计算,我们还规定 $m \times k \leq 2 \times 10^{18}$。
**本题采用捆绑测试**,子任务及数据点分配如下:
| 子任务编号 | 特殊性质 | 分值 |
| :-----------: | :-----------: | :-----------: |
| $1$ | $k = 1$ | $5$ |
| $2$ | $m = 0$ 且 $n \leq 10^6$ | $5$ |
| $3$ | $n \leq 10^6$ | $20$ |
| $4$ | $m \times k > n$ | $5$ |
| $5$ | $m = 0$ | $10$ |
| $6$ | A | $20$ |
| $7$ | 无特殊性质 | $35$ |
性质 A:保证构造的其中一种合法方案可以使得数组中的 $a_i$ 均 $\geq k$。