luogu 2312 解方程 乱搞+取模

思路非常好想，但是你很难想到去用这个算法，因为这个几乎就是个乱搞~

我们发现多项式中每一个系数都很大，但是 $m$ 却很小，即最多只用 $10^6$ 个整数需要验证.

我们知道，如果一个数等于 $0$，那么这个数模任何一个数也都应该该等于 $0$

所以可以直接取 $3$ 个左右的质数当模数，分别带值，取模，然后判一下等不等于 $0$.

当然，带值的部分可以用秦九昭算法，但是我感觉这只算是常数上的优化吧~

只能在 luogu 上过，bz 上过不去~

复杂度 $O(n\times m)$

#include <bits/stdc++.h>
#define N 1000005
#define LL long long
#define setIO(s) freopen(s".in","r",stdin),freopen(s".out","w",stdout)
using namespace std;
// 0 ~ 15
const LL mod[]={998244353,19,1e9+7, 1e9+9, 233,233233,23,17,19,11,613317,119,911,2332,2323,1415,1717};
int n,m;
char str[103][N];
vector<int>v;
LL a[20][N];
int check(int tmp)
{
	// 15 个模数
	int i,j;
	for(i=0;i<=0;++i)
	{
		LL temp=0ll;
		a[i][n+1]=0ll;
		for(j=n+1;j>=0;--j)
		    temp=(temp*1ll*tmp%mod[i]+a[i][j])%mod[i];
		if(temp!=0) return 0;
	}
	return 1;
}
inline void Init()
{
	int i,j;
	for(i=0;i<=0;++i)
	{
		for(j=0;j<=n;++j)
		{
			LL tmp=0,base=1ll;
			int len=strlen(str[j]);
			for(int k=len-1;k>=0;--k)
			{
				if(k==0&&str[j][k]=='-')
				{
					tmp=(mod[i]-tmp%mod[i])%mod[i];
				}
				else
				{
					tmp=(tmp+(str[j][k]-'0')*base)%mod[i], base=base*10%mod[i];
				}
			}
			a[i][j]=tmp;
			// printf("%d %lld\n",j,a[j]);
		}
	}
}
int main()
{
	// setIO("input");
	int i,j;
	scanf("%d%d",&n,&m);
	for(i=0;i<=n;++i)  scanf("%s",str[i]);
	Init();
	for(i=1;i<=m;++i)  if(check(i))   v.push_back(i);
	printf("%d\n",v.size());
	for(i=0;i<v.size();++i)   printf("%d\n",v[i]);
	return 0;
}