51nod--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. 快速排斥实验
2. 跨立实验

快速排斥实验

我们首先判断两条线段在 x 以及 y 坐标的投影是否有重合。
也就是判断下一个线段中 x 较大的端点是否小于另一个线段中 x 较小的段点，若是，则说明两个线段必然没有交点，同理判断下 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)

如果上面的四条判断有一个为真，则代表两线段必不可交，否则应该进行第二步判断。
显然，上图通不过快速排斥实验。

跨立实验

矢量叉积

计算矢量叉积是与直线和线段相关算法的核心部分。
设矢量 P = (x1, y1)，Q = ( x2, y2 )，则矢量叉积定义为：P × Q = x1*y2 - x2*y1，其结果是一个矢量，与为 P Q 向量所在平面的法向量。显然有性质 P × Q = - ( Q × P ) 和 P × ( - Q ) = - ( P × Q )。
叉积的一个非常重要性质是可以通过它的符号判断两矢量相互之间的顺逆时针关系：
　　若 P × Q > 0 , 则 P 在 Q 的顺时针方向。
　　若 P × Q < 0 , 则 P 在 Q 的逆时针方向。
　　若 P × Q = 0 , 则 P 与 Q 共线，但可能同向也可能反向。

通过叉积来判断线段相交

这里写图片描述
如果两线段相交那么就意味着它们互相跨立，即如上图点 A 和 B 分别在线段 CD 两侧，点 C 和 D 分别在线 AB 两侧。
判断 A 点与 B 点是否在线段 DC 的两侧，即向量 A-D 与向量 B-D 分别在向量 C-D 的两端，也就是其叉积是异号的，即 $(A - D) \times (C - D) * (B - D) \times (C - D) < 0$

然后我们来看看临界情况，也就是上式恰好等于 0 的情况下：

这里写图片描述

当出现如上图所示的情况的时候， $(A - D) \times (C - D) * (B - D) \times (C - D) = 0$

再接得想一想，如果没有第一步的快速排斥实验，仅判断第二步，会出现什么问题？

这里写图片描述

当出现如上所示的情况的时候，叉积都为 0, 可以通过跨立实验，但是两个线段并没有交点。不过还好，这种情况在第一步快速排斥已经被排除了。

/*
    data:2018.5.13
    author:gsw
    link:http://www.51nod.com/onlineJudge/questionCode.html#!problemId=1256
*/
#define ll long long
#define IO ios_with_sync(false);

#include<iostream>
#include<algorithm>
#include<math.h>
#include<stdio.h>
#include<string.h>
using namespace std;

double x1,y11,x2,y2,x3,y3,x4,y4;
bool judge()
{
    if(max(x1,x2)<min(x3,x4)||max(x3,x4)<min(x1,x2)
    ||max(y11,y2)<min(y3,y4)||max(y3,y4)<min(y11,y2))
        return false;
    double abc=(x2-x1)*(y3-y2)-(y2-y11)*(x3-x2);
    double abd=(x2-x1)*(y4-y2)-(y2-y11)*(x4-x2);
    double dca=(x4-x3)*(y11-y3)-(y4-y3)*(x1-x3);
    double dcb=(x4-x3)*(y2-y3)-(y4-y3)*(x2-x3);
    if(abc*abd<=0&&dca*dcb<=0)return true;
    return false;
}
int main()
{
    int n;
    scanf("%d",&n);
    for(int i=0;i<n;i++)
    {
        cin>>x1>>y11>>x2>>y2>>x3>>y3>>x4>>y4;
        if(judge())cout<<"Yes"<<endl;
        else cout<<"No"<<endl;
    }
    return 0;
}