zoukankan      html  css  js  c++  java
  • Jzoj3093 合唱队形

    他首先尝试排成m1行,发现最后多出来a1个同学;接着他尝试排成m2行,发现最后多出来a2个同学,……,他们尝试了n种排队方案,但每次都不能让同学们正好排成mi行。于是小刘寻求同事小明的帮助,以便给同学们排好队型。但小刘来去太匆忙,忘记告诉小明他们班有多少人了。没办法,现在只能根据上述信息求个满足要求的最小的数字来作为人数了。

    这个题就是中国剩余定理了,这里介绍一种用扩展gcd的方法(本质上二者没有区别)

    我们来考虑两个同余方程 X=A(MOD M1) 和 X=B(MOD M2)

    我们可以将其变形成为求一个方程 M1x+M2y=(B-A)是否有解,这里用扩展gcd即可

    如果没有显然直接退出,如果有,那么令A'=x*M1+A,M'=M1*M2/gcd(M1,M2)

    那么我们就将这两个方程X=A(MOD M1) 和 X=B(MOD M2)合并成了一个方程 X=A'(MOD M')

    为什么这样是对的呢?

    M1x+M2y=(B-A)可以等价于M1x=(B-A)(MOD M2),那么自然,M1x+A=B(MOD M2) 

    而M'又是M2的倍数,所以显然X=A'(MOD M')包含了X=B(MOD M2)

    而因为A'=x*M1+A=A(MOD M1),所以成立

    我们将所有的方程合并成一个,最后的A显然就是答案

    #include<stdio.h>
    #define L long long
    L gcd(L a,L b){
    	for(L c;b;a=b,b=c) c=a%b;
    	return a;
    }
    L extgcd(L a,L b,L& x,L& y){
    	if(b){
    		L r=extgcd(b,a%b,y,x);
    		y-=x*(a/b); return r;
    	} else { x=1;y=0; return a; }
    }
    int main(){
    	int n; scanf("%d",&n);
    	L a,m,M,A,x,y,z,r;
    	scanf("%lld%lld",&m,&a);
    	for(int i=1;i<n;++i){
    		scanf("%lld%lld",&M,&A);
    		r=extgcd(m,M,x,y);
    		if((A-a)%r) return 0&puts("-1");
    		x*=(A-a)/r;
    		x=(x%M+M)%M; a=x*m+a; 
    		m=m/r*M; a=a%m; 
    	}
    	printf("%lld
    ",a);
    }


  • 相关阅读:
    Scala Ant Tasks
    Git挂钩
    读写文件
    DC10用CSS定位控制网页布局
    table设置colspan属性,列宽显示错位解决方法
    ATM和购物商城-错题集
    python 函数参数多种传递方法
    python 函数 初学
    python 集合 gather
    元组 字体高亮 购物车练习
  • 原文地址:https://www.cnblogs.com/Extended-Ash/p/7774414.html
Copyright © 2011-2022 走看看