最近几天都在刷数论,主要是解一元线性方程ax+by=c的题目。这类题目都是用扩展欧几里德的算法去解,这个经典的模板很多博文中都有,在这里略掉。我这几天刷的这些题,基本都是水题,但AC率确实在不敢恭维,从WA,TLE,RE神马烂七八糟的错误都有,我觉得很有必要总结一下这类题应该怎么去快而准的完成。
拿到题目中,首先列出方程ax+by=c,当a,b,c数据量较大时,通常要用到long long或int64了。在忙于解通解时,首先务必考虑特殊情况,也就是当a,b,c有一个数等于0时的情况。否则肯定re。入果a,b,c有负数取值,还有考虑把负数换为正数,把方程做一下小变换。搞定这些问题后,就是求通解。若c%gcd(a,b)=0,则有解,否则必无解。我们用扩展欧几里德算法得出的解是ax+by=gcd(a,b)的解,然后把x,y乘以c/gcd(a,b),a和b再除以gcd(a,b)使之互质。这样原方程通解x=x0+bt,y=y0+at,即我们已经求出了x0,y0。通常题目中要求最小整数解,公式x=(x0%b+t)%b