题目 30213

形式幂级数开方(稀疏)

查看题解 ↗GitHub ↗如何评测
题号
30213
时间限制
10000 ms
内存限制
1024 MB
标签
数学
来源
Library Checker (yosupo06) - sqrt_of_formal_power_series_sparse

【题目描述】

给定形式幂级数 f(x)=∑i=0N−1aixi∈F998244353[[x]]f(x) = \sum_{i=0}^{N-1} a_i x^i \in \mathbb{F}_{998244353}[[x]]。 ff 中只有 KK 个系数非零,输入只给出这些非零系数 aika_{i_k}。

请计算 f(x)f(x) 的一个平方根的前 NN 项。也就是说,求 g(x)=∑i=0N−1bixi∈F998244353[[x]]g(x) = \sum_{i=0}^{N-1} b_i x^i \in \mathbb{F}_{998244353}[[x]] 使得

f(x)≡g(x)2(modxN).f(x) \equiv g(x)^2 \pmod{x^N}.

【输入】

文本
$N$ $K$
$i_0$ $a_{i_0}$
$\vdots$
$i_{K-1}$ $a_{i_{K-1}}$

【输出】

若不存在满足条件的 g(x)g(x),输出

文本
-1

若存在这样的 g(x)g(x),任意选定一个并输出

文本
$b_0$ $b_1$ $\cdots$ $b_{N - 1}$

【输入样例】

文本
4 2
2 9
3 12

【输出样例】

文本
0 998244350 998244351 0

【输入样例2】

文本
4 2
2 10
3 12

【输出样例2】

文本
-1

【输入样例3】

文本
5 0

【输出样例3】

文本
0 0 0 0 0

【数据范围】

  • 1≤N≤10000001 \leq N \leq 1000000
  • 0≤K≤100 \leq K \leq 10
  • 0≤i0<⋯<iK−1≤N−10 \leq i_0 < \cdots < i_{K-1} \leq N - 1
  • 1≤aik<9982443531 \leq a_{i_k} < 998244353

【来源】

Library Checker(yosupo06) sqrt_of_formal_power_series_sparse

本题为 special judge(输出任意合法解),暂不可本地评测。

数据下载

题目 30213 的公开数据

正在读取文件列表…

常用命令

题目 30213 的 ROJ 命令

以下命令默认使用全局安装的 ROJ Skill,请在终端中直接执行;如果修改过 AGENT_HOME,请将命令中的 ~/.agents 替换为对应目录。