hdu 1573 X问题 ,模线性方程组

求在小于等于N的正整数中有多少个X满足:X mod a[0] = b[0], X mod a[1] = b[1], X mod a[2] = b[2], …, X mod a[i] = b[i], … (0 < a[i] <= 10)。

Input

输入数据的第一行为一个正整数T,表示有T组测试数据。每组测试数据的第一行为两个正整数N,M (0 < N <= 1000,000,000 , 0 < M <= 10),表示X小于等于N,数组a和b中各有M个元素。接下来两行,每行各有M个正整数,分别为a和b中的元素。

Output

对应每一组输入,在独立一行中输出一个正整数,表示满足条件的X的个数。

Sample Input

3
10 3
1 2 3
0 1 2
100 7
3 4 5 6 7 8 9
1 2 3 4 5 6 7
10000 10
1 2 3 4 5 6 7 8 9 10
0 1 2 3 4 5 6 7 8 9

Sample Output

1
0
3

模线性方程组模板题

#include <cstdio>
#include <cstring>
#include <iostream>
#include <algorithm>

using namespace std;
typedef long long ll;

ll ex_gcd(ll a, ll b, ll &x, ll &y){
	if(a==0 && b==0) return -1;
	if(b==0) {x=1; y=0; return a;}
	ll d = ex_gcd(b, a%b, y, x);
	y -= a/b*x;
	return d;
}

bool solve(int &m0, int &a0, int m, int a){
	ll y, x;
	ll g = ex_gcd(m0, m, x, y);
	if( abs(a-a0)%g ) return false;
	x *= (a-a0)/g;
	x %= m/g;
	a0 = (x*m0 + a0);
	m0 *= m/g;
	a0 %= m0;
	if(a0 < 0) a0 += m0;
	return true;
}

int mm[11], aa[11];
//模数为mm[i],余数为aa[i],X % mm[i] = aa[i]
// X = a0 + m0*t (0<=a0<m0)
bool MLES(int &m0, int &a0, int n){
	bool flag = true;
	m0 = 1;
	a0 = 0;
	for(int i=0; i<n; ++i)
		if( !solve(m0, a0, mm[i], aa[i]) ){
			flag = false;
			break;
		}
	return flag;
}

int main(){
	int T, n, m;
	freopen("in.txt","r",stdin);
	scanf("%d", &T);
	while(T--){
		scanf("%d%d", &n, &m);
		for(int i=0; i<m; ++i) scanf("%d", &mm[i]);
		for(int i=0; i<m; ++i) scanf("%d", &aa[i]);
		int m0, a0;
		// 0<(x=a0+m0*t)<=n
		if( !MLES(m0, a0, m) || n<a0)
			printf("0\n");
		else
			printf("%d\n", (n-a0)/m0+1-(a0==0?1:0) );
	}
	return 0;
}
时间: 2024-08-10 17:04:52

hdu 1573 X问题 ,模线性方程组的相关文章

HDU 1573 CRT

CRT模板题 /** @Date : 2017-09-15 13:52:21 * @FileName: HDU 1573 CRT EXGCD.cpp * @Platform: Windows * @Author : Lweleth ([email protected]) * @Link : https://github.com/ * @Version : $Id$ */ #include <bits/stdc++.h> #define LL long long #define PII pair

解模线性方程组 非互质中国剩余定理

首先咱们得感谢KIDx大神给出这样的解法. 这里是我所学习这个算法的地方:http://972169909-qq-com.iteye.com/blog/1266328 . 我将对这个算法进行一定的总结与梳理,以及小地方的修正. 今有物不知其数,三三数之余二:五五数之余三:七七数之余二.问物几何? 这是经典的孙子定理.我们注意到其中的模数都是互质的,这样可以让我们进行传统孙子定理中的转化与合并. 但是如果遇到不是互质的模线性方程组我们要怎么办呢? [主要使用手段:合并方程] 利用一定手段,不断的合

HDU 1573 X问题 中国剩余定理

链接:http://acm.hdu.edu.cn/showproblem.php?pid=1573 题意:求在小于等于N的正整数中有多少个X满足:X mod a[0] = b[0], X mod a[1] = b[1], X mod a[2] = b[2], -, X mod a[i] = b[i], - (0 < a[i] <= 10). 思路:中国剩余定理的模板题,如果找不到这样的数或者最小的X大于N,输出零. 代码: #include <iostream> #include

模线性方程组

#1303 : 数论六·模线性方程组 时间限制:10000ms 单点时限:1000ms 内存限制:256MB 描述 小Ho:今天我听到一个挺有意思的故事! 小Hi:什么故事啊? 小Ho:说秦末,刘邦的将军韩信带领1500名士兵经历了一场战斗,战死四百余人.韩信为了清点人数让士兵站成三人一排,多出来两人:站成五人一排,多出来四人:站成七人一排,多出来六人.韩信立刻就知道了剩余人数为1049人. 小Hi:韩信点兵嘛,这个故事很有名的. 小Ho:我觉得这里面一定有什么巧妙的计算方法!不然韩信不可能这么

hihoCoder 1303 数论六&#183;模线性方程组

Description 求解模线性方程组, \(m_i\) 不互质. Sol 扩展欧几里得+中国剩余定理. 首先两两合并跟上篇博文一样. 每次通解就是每次增加两个数的最小公倍数,这对取模任意一个数都是0. 伪代码如下 M = m[1], R = r[1] For i = 2 .. N d = gcd(M, m[i]) c = r[i] - R If (c mod d) Then // 无解的情况 Return -1 End If (k1, k2) = extend_gcd(M / d, m[i]

hiho一下 第九十七周 题目1 : 数论六&#183;模线性方程组

传送门 题目1 : 数论六·模线性方程组 时间限制:10000ms 单点时限:1000ms 内存限制:256MB 描述 小Ho:今天我听到一个挺有意思的故事! 小Hi:什么故事啊? 小Ho:说秦末,刘邦的将军韩信带领1500名士兵经历了一场战斗,战死四百余人.韩信为了清点人数让士兵站成三人一排,多出来两人:站成五人一排,多出来四人:站成七人一排,多出来六人.韩信立刻就知道了剩余人数为1049人. 小Hi:韩信点兵嘛,这个故事很有名的. 小Ho:我觉得这里面一定有什么巧妙的计算方法!不然韩信不可能

算法总结之求解模线性方程组

1)求解模线性方程 ax = b(mod n) 方程ax = b(mod n) -> ax = b + ny ->ax - ny = b -> ax + n (-y) =b 其中a,n,b已知. 可用扩展欧几里得来求解该方程的一组特解. 这里给出下列几个定理用来求解方程: 1.当且仅当d|b时,方程ax = b(mod n)有解.d=gcd(a,n) 2.ax = b(mod n) 或者有d个不同解,或者无解. 3.令d=gcd(a,n) 假定对整数x', y', 有d = ax' +

中国剩余定理 hdu 1573 X问题

HDU 1573 X问题 Time Limit: 1000/1000 MS (Java/Others)    Memory Limit: 32768/32768 K (Java/Others)Total Submission(s): 4857    Accepted Submission(s): 1611 Problem Description 求在小于等于N的正整数中有多少个X满足:X mod a[0] = b[0], X mod a[1] = b[1], X mod a[2] = b[2],

hdu 1573 X问题 (非互质的中国剩余定理)

X问题 Time Limit: 1000/1000 MS (Java/Others)    Memory Limit: 32768/32768 K (Java/Others)Total Submission(s): 2980    Accepted Submission(s): 942 Problem Description 求在小于等于N的正整数中有多少个X满足:X mod a[0] = b[0], X mod a[1] = b[1], X mod a[2] = b[2], …, X mod