51Nod-1264-线段相交-【数学】

传送门：http://www.51nod.com/onlineJudge/questionCode.html#!problemId=1264

1264 线段相交

基准时间限制：1 秒 空间限制：131072 KB 分值: 0难度：基础题

收藏

关注

给出平面上两条线段的两个端点，判断这两条线段是否相交（有一个公共点或有部分重合认为相交）。 如果相交，输出"Yes"，否则输出"No"。

Input

第1行：一个数T，表示输入的测试数量(1 <= T <= 1000)
第2 - T + 1行：每行8个数，x1,y1,x2,y2,x3,y3,x4,y4。(-10^8 <= xi, yi <= 10^8)
(直线1的两个端点为x1,y1 | x2, y2,直线2的两个端点为x3,y3 | x4, y4)

Output

输出共T行，如果相交输出"Yes"，否则输出"No"。

Input示例

2
1 2 2 1 0 0 2 2
-1 1 1 1 0 0 1 -1

Output示例

Yes
No

首先先来几个大佬的博客:1 讲的跨立和排斥点击打开链接          点击打开链接        点击打开链接

解题：判断线段相交，直接判断两点分别在另两点两边

跨立

如果两线段相交那么就意味着它们互相跨立，即如上图点A和B分别在线段CD两侧，点C和D分别在线AB两侧。

即向量(A-C)和(B-C)分别在向量(D-C)两边，则向量(A-C)和(D-C)的叉乘积与(B-C)和(D-C)的叉乘积符号相反，根据右手定则，它们的叉乘积方向一个向下一个向上，是方向相反的

平行线。则它们的点乘小于零。如果向量(A-C)和(B-C)在向量(D-C)同一侧，则它们叉乘积同向，因为根据右手定则都向一个方向指向，所以它们是符号相同的平行线，即点乘大于零；

公式是：

（(A-C)x(D-C))*((B-C)x(D-C))<0;

同样需要证明向量(D-B)和向量(C-B)在向量(A-B)的两侧，（(D-B)x(A-B))*((C-B)x(A-B))<0;这两个同时成立才行；

也可以先判断一下排斥

如果知道，如果cd边的最大点的x值小于ab边的最小点的x值 ,或者cd边最大点的y值小于ab边的最小点的y值可以说明分别以两线段为对角线的矩形不相交；

代码表示如下:

max(C.x,D.x)<min(A.x,B.x)或者max(C.y,D.y)<min(A.y,B.y)

同样也需要检查上面的边的代号反过来的：

max(A.x,B.x)<min(C.x,D.x)或者max(A.y,B.y)<min(C.y,C.y)

如果上面的四条判断有一个为真，则代表两线段必不可交，否则应该进行第二步判断；

当通过第一步后会有下面四种可能：

#include<cstdio>
struct Point
{
	double x,y;
};
Point a,b,c,d;
double mul(Point a, Point b,Point c)//向量的X乘  x1y2-x2y1 
{
	return (a.x - c.x)*(b.y - c.y)-(b.x - c.x)*(a.y - c.y);
}
int main()
{
	int T;
	scanf("%d",&T);
	while(T--)
	{
		scanf("%lf%lf%lf%lf%lf%lf%lf%lf",&a.x,&a.y,&b.x,&b.y,&c.x,&c.y,&d.x,&d.y);
		if(mul(a,b,c)*mul(a,b,d)<=0 && mul(c,d,a)*mul(c,d,b)<=0)
		printf("Yes\n");
		else
		printf("No\n");
	}
	return 0;
}
/*
2
1 2 2 1 0 0 2 2
-1 1 1 1 0 0 1 -1
*/