codeforces 828 E1

题目
题意: 给定a、b、c、d，判断是否存在x、y，满足a<x<=c，b<y<=d，使得(x * y) | (a * b)
思路: 数据范围只有1e5，可以暴力枚举。
引入引理，如果 c | ab，且gcd(b,c) = 1，c | a。
a和b的因子包含a的因子，如果b和c互质，说明b没有什么贡献，所以c | a.
那么对于这个题，要求(x * y) | (a * b)。
t1 = y / gcd(y,ab)，t2 = ab / gcd(y,a*b)
则t1、t2互质。
则t1没有贡献。
t2 | x，x是t2的倍数。

代码:

#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
const int N = 1e5+10;
int n,m,k,T;
int a,b,c,d;
ll l,r;
bool flag;
void check(ll x)
{
	if(x>3) 
	{
		for(int i=1;i*i<=x;++i)
		{
			if(x%i==0)
			{
				ll t1 = x/i;
				ll t2 = i;
				if(a<t1&&t1<=c&&b<t2&&t2<=d)
				{
					flag = 1;
					l = t1;
					r = t2;
				}
				if(b<t1&&t1<=d&&a<t2&&t2<=c)
				{
					flag = 1;
					l = t2;
					r = t1;
				}
			}
		}
	}
	else
	{
		for(int i=1;i<=x;++i)
		{
			if(x%i==0)
			{
				ll t1 = x/i;
				ll t2 = i;
				if(a<t1&&t1<=c&&b<t2&&t2<=d)
				{
					flag = 1;
					l = t1;
					r = t2;
				}
				if(b<t1&&t1<=d&&a<t2&&t2<=c)
				{
					flag = 1;
					l = t2;
					r = t1;
				}
			}
		}
	}
}
void solve()
{
	cin>>a>>b>>c>>d;
	ll tmp = 1ll*a*b;
	if(tmp==1)
	{
		cout<<c<<" "<<d<<"\n";
	}
	else
	{
		for(int i=b+1;i<=d;++i)
		{
			ll t = __gcd(tmp,1ll*i);
			ll wh = tmp / t; //倍数 
			ll le = (a+1)%wh;
			if(le==0) le = a+1;
			else le = a+1+wh-le;
			if(le<=c)
			{
				cout<<le<<" "<<i<<"\n";
				return ;
			}
		}
		cout<<-1<<" "<<-1<<"\n";
	}
}
signed main(void)
{
	ios::sync_with_stdio(false),cin.tie(0),cout.tie(0);
	cin>>T;
	while(T--)
	solve();
	return 0;
}
/*
10
1 1 2 2
1 1 2 3
1 1 3 3
2 1 3 2
2 1 3 3
2 2 3 3
2 2 3 4
2 2 4 4
2 3 3 4
3 3 8 5
*/