【题解】
对于绝对值不同的区间去绝对值后式子不同,即会有(n+1)个求解区间,分别求解即可。
代码借鉴于2019 杭电多校(第五场)
【代码】
#include <bits/stdc++.h>
using namespace std;
#define ll long long
const ll inf=1e18;
const int maxn = 1e5+100;
struct node{
int a,b;
double x;
int id;
}f[maxn];
queue <node> q;
int n,c,A,B;
int flag;
bool cmp(node a,node b)
{
return a.x!=b.x?a.x<b.x:a.id<b.id;
}
void solve(double l,double r)
{
if(A==0&&B==c){ //Ax+B=B=c,无穷解
flag=1;
return ;
}
double ans=(double)(c-B)/A;
if(ans>l&&ans<=r){
int x=c-B,y=A,z;
x=abs(x),y=abs(y);
if(x==0) z=y; //0/1
else z=__gcd(x,y);
node u;
u.a=x/z,u.b=y/z;
if(ans<0) u.a*=-1;
q.push(u);
}
}
int main()
{
int T; scanf("%d",&T);
while(T--){
while(!q.empty()) q.pop();
scanf("%d%d",&n,&c);
A=0,B=0;
for(int i=1;i<=n;i++){
int a,b; scanf("%d%d",&a,&b);
f[i].a=a,f[i].b=b;
f[i].id=i;
f[i].x=(double)b/a*(-1.0); //当绝对值内小于0,x>f[i].x
A-=a,B-=b; //全部去掉绝对值翻转,比如|x-1|-->1-x
}
sort(f+1,f+1+n,cmp); //按取值区间排序,便于最后按序不翻转
flag=0;
double l,r;
l=-inf,r=-inf,f[n+1].x=inf;
for(int i=1;i<=n+1;i++){ //依次不翻转,比如|x-1|-->x-1
l=r,r=f[i].x; //更新x的取值区间
solve(l,r);
A+=f[i].a*2;
B+=f[i].b*2;
}
if(flag) printf("-1\n");
else{
printf("%d",q.size());
while(!q.empty()){
node u=q.front();
q.pop();
printf(" %d/%d",u.a,u.b);
}
puts("");
}
}
return 0;
}