SGU 106 The Equation 扩展欧几里得应用
2013-12-15 23:59
357 查看
Sol:线性不定方程+不等式求解
证明的去搜下别人的证明就好了。。。数学题。
证明的去搜下别人的证明就好了。。。数学题。
#include <algorithm> #include <cstdio> #include <iostream> using namespace std; long long extend_gcd(long long a,long long b,long long &x,long long &y) { if(a==0&&b==0) return -1; if(b==0){x=1;y=0;return a;} long long d=extend_gcd(b,a%b,y,x); y-=a/b*x; return d; } long long a,b,c,x1,x2,y1,y2,ans; int main() { cin>>a>>b>>c>>x1>>x2>>y1>>y2; c=-c; if(a==0&&b==0) { if(c==0) ans=(x2-x1+1)*(y2-y1+1); } else if(a==0) { if(c%b==0&&c/b>=y1&&c/b<=y2) ans=x2-x1+1; } else if(b==0) { if(c%a==0&&c/a>=x1&&c/a<=x2) ans=y2-y1+1; } else { long long x=0,y=0; long long d=extend_gcd(a,b,x,y); if(c%d==0) { long long X=x*(c/d); long long Y=y*(c/d); long long k1,k2,k3,k4; if(x1<=X||(x1-X)*d%b==0) k1=(x1-X)*d/b; else k1=(x1-X)*d/b+1; if(x2>=X||(X-x2)*d%b==0) k2=(x2-X)*d/b; else k2=(x2-X)*d/b-1; if(y1<=Y||(y1-Y)*d%a==0) k3=(Y-y1)*d/a; else k3=(Y-y1)*d/a-1; if(y2>=Y||(Y-y2)*d%a==0) k4=(Y-y2)*d/a; else k4=(Y-y2)*d/a+1; if(k1>k2) swap(k1,k2); if(k3>k4) swap(k3,k4); ans=min(k2,k4)-max(k1,k3)+1; } } printf("%I64d\n",ans); return 0; }
相关文章推荐
- SGU 106 The Equation 扩展欧几里得应用
- poj 1601 青蛙的约会 扩展欧几里得定理应用
- SGU 106 扩展欧几里得 不定方程
- [置顶] 扩展欧几里得定理及其应用
- SGU 141 Jumping Joe(扩展欧几里得)
- SGU 106 The equation 扩展欧几里得好题
- SGU - 106 - The equation (扩展欧几里得)
- 扩展欧几里得算法的应用 POJ 2115 POJ 2142 POJ 1061 HDU 2669 HDU 1576 SGU 106
- SGU 106 扩展欧几里得
- HDU 1576 A/B (扩展欧几里得应用)
- 扩展欧几里得及其应用
- poj1061(青蛙的约会)(欧几里得扩展原理应用)
- 数论 + 扩展欧几里得 - SGU 106. The equation
- SGU 140 Integer Sequences(扩展欧几里得)
- hdu_1222_欧几里得_gcd简单应用_欧几里得扩展性质
- SGU 106 The equation(扩展欧几里得)
- The equation - SGU 106(扩展欧几里得)
- SGU 140 扩展欧几里得
- SGU 141 Jumping Joe(扩展欧几里得)
- SGU 141 Jumping Joe(扩展欧几里得)