数学

数学

裴蜀定理基本介绍

裴蜀定理也叫做(贝祖定理)
定理内容:

如果方程 ax + by == c，如果x，y的解为整数，那么c一定是gcd(a,b)的倍数。//gcd(a,b)为a，b的最大公约数

粗略证明：
当x，y都等于1的时候:
a%gcd(a,b) 0，b%gcd(a,b) 0.那么(a+b)%gcd(a,b) 0，而c a+b;
当x，y任意取时，同理可推；

当方程组为多元时，可推得一样成立

更新:
看这个证明可能要好懂点
例:
2 * x + 4 * y = c
那么c无论如何都是偶数，换句话来说，c一定是2的倍数2 = gcd(2,4)

3 * x + 9 * y = c
那么同理c一定是3的倍数，因为上述等于 : 3 * x + 3 * 3 * y = c
3 * (x + 3 * y) = c，​外面乘了个3​，那么c再怎么都是3的倍数，3 = gcd(3,9)

那么这个定理有什么用呢。当x，y为整数解的时候，c一定是gcd(a,b)的倍数，那么我们就可以求得当为整数解的时候，c的最小值肯定就是gcd(a,b)//最大公约数的1倍。

推广：

​​

例题：小凯的疑惑（洛谷）

#include <cstdio>
#include <iostream>

using namespace std;

long long int a, b;

int main()
{
	scanf("%lld%lld", &a, &b);
    printf("%lld\n", a * b - a - b);
    return 0;
}

---

例题：感冒蚂蚁

#include<iostream>
using namespace std;
const int N=55;
int n;
int x[N];
int main()
{
	cin>>n;
	for(int i=0;i<n;i++)
	cin>>x[i];

	int left=0,right=0;
	for(int i=1;i<n;i++)
	{
		if(abs(x[i])<abs(x[0])&&x[i]>0) left++;
		else if(abs(x[i])>abs(x[0])&&x[i]<0) right++;
	}
	if(x[0]>0&&right==0||x[0]<0&&left==0) cout<<1<<endl;
	else cout<<left+right+1<<endl;
	return 0;
}

例题：饮料换购

#include<iostream>
using namespace std;
int main()
{
	int cnt=0,res=0,n;
	cin>>n;
	res=n;
	while(n>=3)
	{
		res+=n/3;
		n=n/3+n%3;
	
	}
	cout<<res;;
	return 0;
}

补充：上取整

​​

这一个公式解决！！！

‍