大家好,我很久都没来水题解了,昨天我们社团的考试中考了小凯的疑惑这道经典的数论题,但由于大家早已做过Noip2017所以直接拿出公式,一秒过题,但却不能证明,令我痛心,今天我就来写一篇题解,以浇胸中块垒,顺便也解一道Dp+数论。
简化题目:
小凯的题意大约为
有a,b大于0,gcd(a,b)=1(互质),求最大n,nan+bm,n和m0。
乍一看以为很难,感觉参加的比赛等级不对,不过仔细看还是能做。
网上大部分的题解都是含糊不清的给个a*b-a-b不能被凑出来就Q.E.D了,我怎么看的下去,肯定得来推一推。
首先由于变量较多,先将式子简化,你会发现,如果単由一个数(假如a)凑不出来的数,如果取余a后的余数可以通过bm%a求出且这个数够大那么就可以凑出,那么我们就可以知道他到什么时候就一定能被凑出来了。
即:bm%a能凑出所以余数之后,那么这个数多大呢?
这里又涉及到一个规律,很好证明,不知道他叫什么。即:如果a和b互质,b*k%a的余数遍布0~a-1,每a个不重复,
首先用反证法证明S={0,a,2a,3a,⋯,(b−1)a}为模b的完全剩余系
如果存在ax≡ay(modb),1≤x,y≤b−1,则b|a(x−y),由于a,b互质,b,(x−y)互质,矛盾,因此S模b的余数互不相同.
所以只要an+bm>=(a-1)*b就一定可以凑出,
接着想那最大不能凑出(就是凑不出最后一个凑出的余数)是什么啊
我们假设aq+p=(a-1)b。那么再减一个a(余数仍然为p)不就凑不出来了(他们互质)?
结果为ab-a-b;
Q.E.D
上代码:
#include<cstdio>
#include<cmath>
#include<algorithm>
#include<cstring>
using namespace std;
#define LL long long
#define M 100
#define Mod 2009
LL n,t;
int main(){
scanf("%lld %lld",&n,&t);
printf("%lld",n*t-n-t);
}
然后是麦香牛块这道题,确实200000000000是很大,但其实你也能发现还是ab-a-b;
由于每个牛块不大,才256最大256*255-255-256,随便背包水过去就好,
上代码
#include<cstdio>
#include<cmath>
#include<cstring>
#include<stack>
#include<algorithm>
using namespace std;
const int M=256*256-256;
void read(int &x)
{
x=0;int f=1;
char c=getchar();
while(c<'0'||c>'9'){
if(c=='-')
f=0-f;
c=getchar();
}
while(c>='0'&&c<='9'){x=x*10+c-'0';c=getchar();}
x*=f;return ;
}
bool dp[M+5];
int n,ans,a;
int main()
{
read(n);
dp[0]=1;
for(int i=1;i<=n;i++)
{
read(a);
for(int j=a;j<=M+1;j++)
if(dp[j-a])
dp[j]=1;
}
for(int i=0;i<=M+1;i++)
if(!dp[i])
ans=i;
if(ans>M)
ans=0;
printf("%d",ans);
}
just do it