CodeForces - 1538G Gift Set - ( 二分 )

题目链接：点击进入

题目

题意

x 个红糖果，y 个蓝糖果，一套礼品可以是：
a 个红糖果，b 个蓝糖果
或者
b 个红糖果，a 个蓝糖果
问最多能形成多少套礼品

转换成不等式就是：
a * m + b * n <= x
a * n + b * m <= y
a , b , x , y ,已知，求 m + n最大（ m 是第一种礼品组合方式礼品数，n 是第二种组合方式的礼品数 ）

思路

那怎么求最大的 m + n 嘞，三分？（ 不对，刘爷被hack了？！）那就是二分？！
怎么二分嘞，二分 m / n ? 不不不，这样没单调性（ 数大的 m 成立，不一定数小的 m 就一定成立 ），而且也没法 check
那二分 m + n = mid ?! ( 嗯，，，数大的 mid 一定可以确定数小的 mid 成立🐎，可以！，单调性有了 )
那么怎么 check 呢❓
再看看不等式：
a * m + b * n <= x
a * n + b * m <= y
转换成带 mid 的
a * k + b * ( mid - k ) <= x
a * ( mid - k ) + b * k <= y
即
k <= ( x - b * mid ) / ( a - b )
k >= ( y - a * mid ) / ( b - a )
这不就变成了求是否存在一个 k 满足 ( y - a * mid ) / ( b - a ) <= k <= ( x - b * mid ) / ( a - b ) 了🐎
但是这样就结束了🐎
不不不， k 还得满足 0 <= k < = mid
这样四个不等式求解，若存在满足条件的整数 k 则 mid 成立，否则不成立
（ 注意要保证初始 a > b ,这样区间对比才是 l <= r ，要不就变成了 l >= r 了 ）（ 还有由于 k 要取整数，所以对于左边界上取整，右边界下取整 ）

代码

// #pragma GCC optimize("Ofast","inline","-ffast-math")
// #pragma GCC target("avx,sse2,sse3,sse4,mmx")
//#pragma GCC optimize(3)//O3
//#pragma GCC optimize(2)//O2
//#include<bits/stdc++.h>
#include<iostream>
#include<string>
#include<map>
#include<set>
//#include<unordered_map>
#include<queue>
#include<cstdio>
#include<vector>
#include<cstring>
#include<algorithm>
#include<iomanip>
#include<cmath>
#include<bitset>
#include<fstream>
#define X first
#define Y second
#define best 131 
#define INF 0x3f3f3f3f3f3f3f3f
#define pii pair<int,int>
#define lowbit(x) x & -x
#define inf 0x3f3f3f3f
//#define max(a,b) a>b?a:b
//#define min(a,b) a<b?a:b
#define int long long
//#define double long double
//#ifndef ONLINE_JUDGE  freopen("data.in.txt","r",stdin);
//freopen("data.out.txt","w",stdout); #endif //???t?áè? 
using namespace std;
typedef long long ll;
typedef unsigned long long ull;
const double pai=acos(-1.0);
const int Mod=998244353;
const double eps=1e-9;
const int N=26;
const int mod=1e8;
const int maxn=1e6+10;

/*--------------------------------------------*/ 
inline int read()
{
    int data=0,w=1; char ch=0;
    while(ch!='-' && (ch<'0' || ch>'9')) ch=getchar();
    if(ch=='-') w=-1,ch=getchar();
    while(ch>='0' && ch<='9') data=data*10+ch-'0',ch=getchar();
    return data*w;
}
/*--------------------------------------------*/

int t,x,y,a,b;
bool check(int mid)
{
	if(b==a) 
		return mid<=min(x/a,y/b);
	int l=(int)ceil(1.0*(y-a*mid)/(b-a)); 
	int r=(int)floor(1.0*(x-b*mid)/(a-b));
	l=max(0LL,l),r=min(r,mid);
	if(l<=r) return 1;
	else return 0;
} 

signed main()																						
{	
	ios::sync_with_stdio(false);
	cin.tie(0);cout.tie(0);
	cin>>t;
	while(t--)
	{
		cin>>x>>y>>a>>b;
		if(a<b) swap(a,b);
		int l=0,r=max(x/a,y/b),ans=0;
		while(l<=r)
		{
			int mid=l+r>>1;
			if(check(mid)) l=mid+1,ans=mid;
			else r=mid-1;
		}
		cout<<ans<<endl;
	}
	return 0;
}