这题其实不难,分类讨论即可:
(1)当a为0时,则必然p!=0,那么只要在这个条件下满足p/q < c/d即可,那么我们可以取p=1,此时有,1/q < c/d 即,d/c < q 为了q能够取等号,则有d/c+1 <= q(在整数运算下显然成立),即q取d/c+1,此时必然满足要求。
(2)当a>b时,可知a/b为假分数形式,那么可以将a/b(分数形式)拆分成a/b+(a%b)/b,
例如:5/3可以拆分成:1+2/3的形式。
那么实际可以将原式化成:a/b+(a%b)/b<a/b+p/q<a/b+c/d
即在某个全为真分数的式子中加上了a/b后变成了现在的式子即x/y<P/Q<i/j的形式。
故只要在(a%b)<p/q<c/d下求得p/q就可以求得现在P/Q了。
(3)当c>d,显然可以取p=1,q=1
(4)如果不符合上述任何一种情况的话,那么我们只需要对原来式子取倒数,即d/c<q/p<b/a,强行使它符合上述3种情况的任意一种,那么在这种情况下求得的p/q显然为原来的倒数,所以交换一下p,q即可
#include<iostream>
#include<cstdio>
#include<cstring>
#include<cmath>
#include<queue>
#include<stack>
#include<map>
#include<algorithm>
#include<sstream>
#include<bitset>
#define scand(a) scanf("%d",&a)
#define scandd(a,b) scanf("%d%d",&a,&b)
#define scanddd(a,b,c) scanf("%d%d%d",&a,&b,&c)
#define mst(a,b) memset(a,b,sizeof(a))
#define lowbit(x) x&-x
#define lson rt<<1
#define rson rt<<1|1
using namespace std;
typedef long long ll;
typedef unsigned long long ull;
typedef pair<int,int> pii;
typedef pair<ll,ll> pll;
const int inf=0x3f3f3f3f;
const ll INF=0x3f3f3f3f3f3f3f3f;
const int maxn=2e5+5;
const ll mod=1e9+9;
ll p,q;
void likegcd(ll x,ll y,ll i,ll j)
{
if(x==0)
{
p=1;
q=j/i+1;
}
else if(x>=y)
{
/*
显然现在的i/j是由x/y+c/d组成的,
易知j==d,则要求得c可以从i/j-(x/y)*j/j取得c=i-(x/y)*j
*/
likegcd(x%y,y,i-(x/y)*j,j);
p+=q*(x/y);
}
else if(i>j)
{
p=q=1;
}
else
{
likegcd(j,i,y,x);
swap(p,q);
}
}
int main()
{
#ifdef local
freopen("1.txt","r",stdin);
#endif
int T;
scand(T);
while(T--)
{
ll a,b,c,d;
scanf("%lld%lld%lld%lld",&a,&b,&c,&d);
likegcd(a,b,c,d);
printf("%lld/%lld\n",p,q);
}
}