CF - 483B -- Friends and Presents【容斥+二分】

Friends and Presents

题意：

有一个1到m的连续集合，让你找出cnt1个不被x整除的数，cnt2个不被y整除的数。已知cnt1，cnt2，x，y，求最小的m。

思路：

我们根据题意画出图可知，本题是一个容斥原理。
如果要让m最小，首先应该用到num1和num2部分，cnt1首先用num1部分，cnt2首先用num2部分,不够再去用d这部分。然后我们知道如果满足条件，那么大于m的也能满足条件，所以这个题就是求一个最大值极小化。就用二分来求。

AC代码

#include<iostream>
#include<cstdio>
#include<algorithm>
using namespace std;
typedef long long ll;
const ll maxn = 2e9+5;
int cnt1, cnt2, x, y;
ll max(ll a, ll b){
	return a < b ? b : a;
}
bool cheak(ll m){
	ll a = m / x, b = m / y, c = m / x / y;
	ll d = m - a - b + c, num1 = cnt1, num2 = cnt2;
	num1 = max(0, num1 - b + c);
	num2 = max(0, num2 - a + c);
	return num1 + num2 <= d;
}
void solve(){
	scanf("%d%d%d%d", &cnt1, &cnt2, &x, &y);
	ll l = 0, r = maxn, m;
	while (r - l > 1){
		m = (r + l) >> 1;
		if (cheak(m))	r = m;
		else	l = m;
	}
	printf("%d\n", r);
}
int main(){
	solve();
	return 0;
}