有一个印章,其完全由线段构成。这些线段的线足够细可以忽略其宽度,就像数学上对线的定义一样,它们没有面积。现在给你一张巨大的白纸(10亿x10亿大小的纸,虽然这个纸很大,但是它的面积毕竟还是有限的),你可以在上面盖这个印章。要求盖印章时只能平移印章不能将其旋转,同时两次印章盖下的痕迹不能有交点(存在交点,指的是两次盖完印章后,可以从第一次的印章图案中取出一条线段,同时第二次的图案中也取出一条线段,且这两天线段相交)。给定印章中的图案,请判断是否有办法在这个有限的白纸上盖无限个章?存在输出"Infinite",否则输出"Finite".
提示:下图给出一些印章图案以及它们对应的结果。
Input
多组测试数据,第一行一个整数T,表示测试数据数量,1<=T<=5
每组测试数据有相同的结构构成。
每组数据的第一行包含一个整数N,表示印章中的线段条数,其中1<=N<=50
接下来N行每行四个整数ai,bi,ci,di,表示一条线段的两个端点(ai,bi)与(ci,di),其中-1000<=ai,bi,ci,di<=1000
Output
每组数据一行输出,存在无穷个印章的盖法输出"Infinite",否则输出"Finite".
这题卡精度。。。最好不要用浮点数。。。
答案为Infinite当且仅当存在一个方向,使印章在此方向平移一个极小(趋向于0)的距离后不与自身相交,而每对仅在端点相交的线段就确定了两个方向区间,不能向区间内方向平移,离散化,排序扫一次就可以确定是否有满足要求的方向存在
#include<cstdio>
#include<algorithm>
struct vec{
int x,y;
void fix(){
if(y<||y==&&x<)x=-x,y=-y;
}
};
vec operator+(vec a,vec b){return (vec){a.x+b.x,a.y+b.y};}
vec operator-(vec a,vec b){return (vec){a.x-b.x,a.y-b.y};}
int operator*(vec a,vec b){return a.x*b.y-a.y*b.x;}
bool operator==(vec a,vec b){return a.x==b.x&&a.y==b.y;}
struct seg{
vec a,b;
void scan(){
scanf("%d%d%d%d",&a.x,&a.y,&b.x,&b.y);
}
void swap(){
std::swap(a,b);
}
bool isp(){
vec c=a-b;
return !(c.x|c.y);
}
}ss[];
int ep,sum,cnt;
int sgn(int x){
return x>?:x<?-:;
}
bool cross(seg a,seg b){
return
sgn((b.a-a.a)*(a.b-a.a))*sgn((b.b-a.a)*(a.b-a.a))+
sgn((a.a-b.a)*(b.b-b.a))*sgn((a.b-b.a)*(b.b-b.a))<;
}
bool pal(seg a,seg b){
return (a.b-a.a)*(b.b-b.a)==;
}
struct event{
vec x;int v;
}es[];
bool operator<(event a,event b){
int c=a.x*b.x;
return c?c>:a.v<b.v;
}
void chk(seg a,seg b){
if(a.a==b.b)b.swap();
if(a.b==b.a)a.swap();
if(a.b==b.b)a.swap(),b.swap();
if(a.a==b.a){
vec p1=a.b-a.a,p2=b.b-b.a;
if(p1*p2<)std::swap(p1,p2);
p1.fix();p2.fix();
if(p1*p2<)++sum;
++cnt;
es[ep++]=(event){p1,};
es[ep++]=(event){p2,-};
}
}
int T,n;
int main(){
scanf("%d",&T);
while(T--){
ep=;sum=cnt=;
scanf("%d",&n);
for(int i=;i<n;i++)ss[i].scan();
int is=;
for(int i=;i<n;i++)for(int j=;j<i;j++){
if(ss[i].isp()||ss[j].isp())continue;
if(pal(ss[i],ss[j]))continue;
if(cross(ss[i],ss[j])){
is=;
i=n;
break;
}
chk(ss[i],ss[j]);
}
if(is){
std::sort(es,es+ep);
for(int i=;i<ep;i++){
if((sum+=es[i].v)==cnt){
is=;
break;
}
}
}
puts((is==||is==&&!cnt)?"Infinite":"Finite");
}
return ;
}