问一个证明
  • 板块学术版
  • 楼主人间温柔
  • 当前回复17
  • 已保存回复17
  • 发布时间2021/2/27 21:42
  • 上次更新2023/11/5 02:36:58
查看原帖
问一个证明
178195
人间温柔楼主2021/2/27 21:42

题目描述

给定一个关于 xxnn 次多项式(不含常数项 cc):

f(x)=anxn+an1xn1++a2x2+a1xf(x)=a_{n}x^{n}+a_{n-1}x^{n-1}+\ldots+a_{2}x^{2}+a_{1}x

给定正整数 mm,试判断对于所有 n,xNn,x \in Nf(x)f(x) 是否一定满足 f(x)f(x)mm 整除。输出Yes/NoYes/No

输入格式

第一行两个正整数 n,mn,mnn 代表多项式 f(x)f(x) 的项数,mm 代表被除数。

第二行 nn 个整数,第 ii 个数 aia_i 表示 f(x)f(x)ii 次项的系数。

输出格式

一行Yes/No表示答案。

样例输入

3 6
1 3 2

样例输出

Yes

解释

该多项式为 f(x)=2x3+3x2+xf(x)=2x^3+3x^2+x

我经过大量试验,发现只要满足(一下简称猜想):

k=1nak%m=0\sum_{k=1}^{n}a_k\%m=0

输出就为yes,提交程序也是对的,但是我不知道这个猜想是都正确,因为评测数据可能会避开偶然情况。

希望大佬可以对我的猜想进行证明。必当感激万分。

2021/2/27 21:42
加载中...