2016级算法第六次上机-F.AlvinZH的学霸养成记VI
1082 AlvinZH的学霸养成记VI
思路
难题，凸包。
分析问题，平面上给出两类点，问能否用一条直线将二者分离。
首先应该联想到这是一个凸包问题，分别计算两类点的凸包，如果存在符合题意的直线，那么这两个凸包（凸多边形）一定是不相交的。
计算凸包一般有两种方法，Graham扫描法和Jarvis步进法。
Graham扫描法比较简单，好理解，书中也有伪代码。先找到最左下点P0，对剩下的点相对P0进行极角排序。然后依次进栈判断。当算法终止时，栈中从底部到顶部，依次是按逆时针方向排列的凸包中的点（有时候需要利用这一点）。
这个方法有一个缺点是如果想求得纯粹的顶点，即不包含共线点，很容易出错。中间的点可以通过叉积直接排除，对栈底部和顶部还需要额外的判断。
bool cmp(const Point& p1,const Point& p2)
{
double C = Cross(p1-p[0], p2-p[0]);
return C ? C>0 : dis(p[0],p1) < dis(p[0],p2);
}
//点集凸包
void Graham(int n)
{
double x=p[0].x;
double y=p[0].y;
int mi=0;
for(int i=1;i<n;i++)//找到最左下点
{
if(p[i].x<x||(p[i].x==x&&p[i].y<y))
{
x=p[i].x;
y=p[i].y;
mi=i;
}
}
Point tmp=p[mi];
p[mi]=p[0];
p[0]=tmp;
sort(p+1,p+n,cmp);//极角排序
stack[0]=p[0];
stack[1]=p[1];
stack[2]=p[2];
int top=2;
for (int i=3 ; i<n ; ++i)
{
while(crossProd(stack[top-1],stack[top],p[i])<=0&&top>=2)
--top;
stack[++top]=p[i];
}
}
解题代码中采用Jarvis步进法，先把点集按先y后x排序，从最低点到最高点遍历，再从最高点到最低点遍历，即可找到凸包上所有的点。算法终止时，数组CH中也是按逆时针顺序排列的，且最后一点与第一点相同。
x、y意义上是相同的，下列代码中采用从左到右、再从右到左，排序也作相应改变，先x后y，效果一样。
bool operator < (const Point& p1, const Point& p2) {
return p1.x < p2.x || (p1.x == p2.x && p1.y < p2.y);
}
//点集凸包
vector<Point> ConvexHull(vector<Point> p) {
//预处理，删除重复点
sort(p.begin(), p.end());
p.erase(unique(p.begin(), p.end()), p.end());
int n = p.size();
int m = 0;
vector<Point> ch(n+1);
for(int i = 0; i < n; i++) {
while(m > 1 && Cross(ch[m-1]-ch[m-2], p[i]-ch[m-2]) <= 0) m--;
ch[m++] = p[i];
}
int k = m;
for(int i = n-2; i >= 0; i--) {
while(m > k && Cross(ch[m-1]-ch[m-2], p[i]-ch[m-2]) <= 0) m--;
ch[m++] = p[i];
}
if(n > 1) m--;
ch.resize(m);
return ch;
}
第二个问题，判断红点和蓝点分别组成的两个凸包（凸多边形）是否相离。完全暴力判断，别无他法。
①任取一个红点，判断是否在蓝凸包内or上。如果是，则无解。蓝点红凸包同理。
二分法：判断点在凸多边形内，n个点总时间复杂度O(nlgn)。
②任取红凸包上的一条线段和蓝凸包上的一条线段，判断二者是否相交。如果相交（不一定是规范相交，有公共点就算相交），则无解。
方法：叉积的应用。如果另一线段两端点分别在这一线段的两侧，那么线段可能相交（也可能在线段外），否则不可能相交。对另一线段采用相同方法就可判断出是否相交了。
任何一个凸包退化成点或者线段时本来需要特判，上面两种情况已经包含。
分析
求解凸包的两种算法中，Graham扫描法时间复杂度\(O(nlgn)，Jarvis步进法时间复杂度为\)O(nh)。
求解凸包方法：http://www.csie.ntnu.edu.tw/~u91029/ConvexHull.html（页面粉粉的
判断相离复杂度较高，分析无意义。
参考代码
#include<cstdio>
#include<vector>
#include<cmath>
#include<algorithm>
using namespace std;
//精度判断
const double eps = 1e-10;
double dcmp(double x) {
if(fabs(x) < eps) return 0;
else return x < 0 ? -1 : 1;
}
struct Point {
double x, y;
Point(double x=0, double y=0):x(x),y(y) {}
};
Point operator - (const Point& A, const Point& B) {
return Point(A.x-B.x, A.y-B.y);
}
double Cross(const Point& A, const Point& B) {
return A.x*B.y - A.y*B.x;
}
double Dot(const Point& A, const Point& B) {
return A.x*B.x + A.y*B.y;
}
bool operator < (const Point& p1, const Point& p2) {
return p1.x < p2.x || (p1.x == p2.x && p1.y < p2.y);
}
bool operator == (const Point& p1, const Point& p2) {
return p1.x == p2.x && p1.y == p2.y;
}
//判断两条线段是否相离
bool SegmentProperIntersection(const Point& a1, const Point& a2, const Point& b1, const Point& b2) {
double c1 = Cross(a2-a1,b1-a1), c2 = Cross(a2-a1,b2-a1),
c3 = Cross(b2-b1,a1-b1), c4=Cross(b2-b1,a2-b1);
return dcmp(c1)*dcmp(c2)<0 && dcmp(c3)*dcmp(c4)<0;
}
bool OnSegment(const Point& p, const Point& a1, const Point& a2) {
return dcmp(Cross(a1-p, a2-p)) == 0 && dcmp(Dot(a1-p, a2-p)) < 0;
}
//点集凸包，Jarvis步进法
vector<Point> ConvexHull(vector<Point> p) {
//预处理，删除重复点
sort(p.begin(), p.end());
p.erase(unique(p.begin(), p.end()), p.end());
int n = p.size();
int m = 0;
vector<Point> ch(n+1);
for(int i = 0; i < n; i++) {
while(m > 1 && Cross(ch[m-1]-ch[m-2], p[i]-ch[m-2]) <= 0) m--;
ch[m++] = p[i];
}
int k = m;
for(int i = n-2; i >= 0; i--) {
while(m > k && Cross(ch[m-1]-ch[m-2], p[i]-ch[m-2]) <= 0) m--;
ch[m++] = p[i];
}
if(n > 1) m--;
ch.resize(m);
return ch;
}
//判断点与凸多边形是否相离
int IsPointInPolygon(const Point& p, const vector<Point>& poly) {
int wn = 0;
int n = poly.size();
for(int i=0; i<n; ++i) {
const Point& p1 = poly[i];
const Point& p2 = poly[(i+1)%n];
if(p1 == p || p2 == p || OnSegment(p, p1, p2)) return -1;//在边界上
int k = dcmp(Cross(p2-p1, p-p1));
int d1 = dcmp(p1.y - p.y);
int d2 = dcmp(p2.y - p.y);
if(k > 0 && d1 <= 0 && d2 > 0) wn++;
if(k < 0 && d2 <= 0 && d1 > 0) wn--;
}
if(wn != 0) return 1;//内部
return 0;//外部
}
bool ConvexPolygonDisjoint(const vector<Point> ch1, const vector<Point> ch2) {
int c1 = ch1.size();
int c2 = ch2.size();
for(int i=0; i<c1; ++i)
if(IsPointInPolygon(ch1[i], ch2) != 0) return false;
for(int i=0; i<c2; ++i)
if(IsPointInPolygon(ch2[i], ch1) != 0) return false;
for(int i=0; i<c1; ++i)
for(int j=0; j<c2; ++j)
if(SegmentProperIntersection(ch1[i], ch1[(i+1)%c1], ch2[j], ch2[(j+1)%c2])) return false;
return true;
}
int main()
{
int n, m;
while(scanf("%d %d", &n, &m) == 2 && n > 0 && m > 0)
{
vector<Point> P1, P2;
double x, y;
for(int i = 0; i < n; i++) {
scanf("%lf %lf", &x, &y);
P1.push_back(Point(x, y));
}
for(int i = 0; i < m; i++) {
scanf("%lf %lf", &x, &y);
P2.push_back(Point(x, y));
}
if(ConvexPolygonDisjoint(ConvexHull(P1), ConvexHull(P2)))
printf("YES\n");
else
printf("NO\n");
}
}
