判断两线段是否相交

两条线段有且仅有一个公共点，且这个点不是任何一条线段的端点时，称这两条线段是严格相交的。

也就是说线段不严格相交时可以将端点作为交点，但本文不讨论不严格相交，只讨论严格相交的情况（即使它们在算法实现上差别不大）。

在判断两条线段是否相交时，我们常用快速排斥实验跟跨立实验这两种方法，快速排斥实验能很快的排除掉线段不相交的情况，但并没法成为线段相交的充要条件，在快速排斥实验之后接上跨立实验就能完全的判断两线段是否相交，但其实只用跨立实验这一种办法也能作为判断线段相交的充要条件。

1.快速排斥实验：

假设以线段P1，P2为对角线作一矩形R，再以Q1,Q2为对角线作矩形T，当两个矩形不相交的时候两条线段肯定不相交，即线段相交的必要条件时矩形相交。

P1坐标为（p1x,p1y）,P2坐标为（p2x,p2y），Q1的坐标为（q1x,q1y），Q2的坐标为（q2x,q2y)。

那矩形相交的条件就是：

min(p1x,p2x) <= max(q1x,q2x) &&
min(q1x,q2x) <= max(p1x,p2x) &&
min(p1y,p2y) <= max(q1y,q2y) &&
min(q1y,q2y) <= max(p1y,p2y);

编程里只要写出min(int a,int b)跟max(int a,int b)这两个函数，再将上面的条件放进if() 语句就能初步确定线段有没有相交的可能性。

（1）快速排斥实验
设以线段 P1P2 为对角线的矩形为R， 设以线段 Q1Q2 为对角线的矩形为T，如果R和T不相交，显然两线段不会相交。
（2）跨立实验
如果两线段相交，则两线段必然相互跨立对方。若P1P2跨立Q1Q2 ，则矢量 ( P1 - Q1 ) 和( P2 - Q1 )位于矢量( Q2 - Q1 ) 的两侧，即( P1 - Q1 ) × ( Q2 - Q1 ) * ( P2 - Q1 ) × ( Q2 - Q1 ) < 0。上式可改写成( P1 - Q1 ) × ( Q2 - Q1 ) * ( Q2 - Q1 ) × ( P2 - Q1 ) > 0。当 ( P1 - Q1 ) × ( Q2 - Q1 ) = 0 时，说明 ( P1 - Q1 ) 和 ( Q2 - Q1 )共线，但是因为已经通过快速排斥试验，所以 P1 一定在线段 Q1Q2上；同理，( Q2 - Q1 ) ×(P2 - Q1 ) = 0 说明 P2 一定在线段 Q1Q2上。所以判断P1P2跨立Q1Q2的依据是：( P1 - Q1 ) × ( Q2 - Q1 ) * ( Q2 - Q1 ) × ( P2 - Q1 ) >= 0。同理判断Q1Q2跨立P1P2的依据是：( Q1 - P1 ) × ( P2 - P1 ) * ( P2 - P1 ) × ( Q2 - P1 ) >= 0。：

https://dev.gameres.com/Program/Abstract/Geometry.htm#矢量叉积