半平面交，求解多边形内核

原文链接为：http://www.cnblogs.com/ka200812/archive/2012/01/20/2328316.html

关于求多边形内核的算法

什么是多边形的内核？

它是平面简单多边形的核是该多边形内部的一个点集，该点集中任意一点与多边形边界上一点的连线都处于这个多边形内部。就是一个在一个房子里面放一个摄像 头，能将所有的地方监视到的放摄像头的地点的集合即为多边形的核。

 

         

如上图，第一个图是有内核的，比如那个黑点，而第二个图就不存在内核了，无论点在哪里，总有地区是看不到的。

 

那么，如何求得这个内核区间呢？通常的算法是用两点的直线去不断切割多边形，切割到最后剩下的，就是内核区间了。

我们都知道一条直线可以将平面切割成两个区域，假设直线方程为

ax+by+c==0，那么，两个平面可分别表示成ax+by+c>=0 和 ax+by+c<0

 

具体如何用程序实现直线对多边形的切割呢？

流程是这样的：

1、          用一个顺时针或者逆时针的顺序，将最初的多边形的点集储存起来。

2、          按顺序取连续的两个点组成一条直线，用这条直线来切割原先的多边形

我首先假设点是顺时针储存的，如图：

此时，多边形的点集是{1,2,3,4,5,6,7,8，9,10}

 

取点1,和点2组成直线ax+by+c==0，这时候，将点集中的点一次带入方程ax+by+c，得到的值都将会是大于等于0的，说明所有的点都在该直线的同一侧，继续保持点集不变

 

取点2和点3组成直线，同样，将点集中的点依次带入方程ax+by+c中，此时，4和5两个点的结果是小于0的，而其他的点的值依旧是大于等于0，这时候说明4和5两个点被切割出了该多边形，于是现在点集只剩下{1,2,3,6,7,8，9,10，X},(X是直线23和直线56的交点)

 

依次类推，一直执行到点10和点1，那么内核的集合就得到了。

 

值得说明的是，这个例子的图形比较特殊，全是直角，如果图形比较随意，那么当某一个点被断定在多边形区间之外的时候，我们还应该考虑它和它相邻的两个点各自组成的直线和ax+by+c有没有交点，有交点的话，更新的点集中还应该加上这些交点，比如例子中执行完点2和点3组成的直线后，点集是{1,2,3,6,7,8,X}，其中3和X就是这样的结果

 

还有，为什么将所有的点依次执行一遍，然后取剩下的某一边的点构成新的点集就够了呢？答案是，点是顺时针或者逆时针给出的~~~

 

下面给一个实例，poj 3335

#include<iostream>
#include <stdio.h>
#include <math.h>
#define eps 1e-8
using namespace std;
const int MAXN=105;
int m;
double r;
int cCnt,curCnt;//此时cCnt为最终切割得到的多边形的顶点数、暂存顶点个数
struct point
{
    double x,y;
};
point points[MAXN],p[MAXN],q[MAXN];//读入的多边形的顶点（顺时针）、p为存放最终切割得到的多边形顶点的数组、暂存核的顶点
void getline(point x,point y,double &a,double &b,double   &c){//两点x、y确定一条直线a、b、c为其系数
    a = y.y - x.y;
    b = x.x - y.x;
    c = y.x * x.y - x.x * y.y;
}
void initial(){
    for(int i = 1; i <= m; ++i)p[i] = points[i];
    p[m+1] = p[1];
    p[0] = p[m];
    cCnt = m;//cCnt为最终切割得到的多边形的顶点数，将其初始化为多边形的顶点的个数
}
point intersect(point x,point y,double a,double b,double c){//求x、y形成的直线与已知直线a、b、c、的交点
    double u = fabs(a * x.x + b * x.y + c);
    double v = fabs(a * y.x + b * y.y + c);
    point pt;
    pt.x=(x.x * v + y.x * u) / (u + v);
    pt.y=(x.y * v + y.y * u) / (u + v);
    return  pt;
}
void cut(double a,double b ,double c){
    curCnt = 0;
    for(int i = 1; i <= cCnt; ++i){
        if(a*p[i].x + b*p[i].y + c >= 0)q[++curCnt] = p[i];// c由于精度问题，可能会偏小，所以有些点本应在右侧而没在，
        //故应该接着判断
        else {
            if(a*p[i-1].x + b*p[i-1].y + c > 0){//如果p[i-1]在直线的右侧的话，
                //则将p[i],p[i-1]形成的直线与已知直线的交点作为核的一个顶点(这样的话，由于精度的问题，核的面积可能会有所减少)
                q[++curCnt] = intersect(p[i],p[i-1],a,b,c);
            }
            if(a*p[i+1].x + b*p[i+1].y + c > 0){//原理同上
                q[++curCnt] = intersect(p[i],p[i+1],a,b,c);
            }
        }
    }
    for(int i = 1; i <= curCnt; ++i)p[i] = q[i];//将q中暂存的核的顶点转移到p中
    p[curCnt+1] = q[1];p[0] = p[curCnt];
    cCnt = curCnt;
}
void solve(){
  //注意：默认点是顺时针，如果题目不是顺时针，规整化方向
    initial();
    for(int i = 1; i <= m; ++i){
        double a,b,c;
        getline(points[i],points[i+1],a,b,c);
        cut(a,b,c);
    }
  /*
    如果要向内推进r，用该部分代替上个函数
    for(int i = 1; i <= m; ++i){
        Point ta, tb, tt;
        tt.x = points[i+1].y - points[i].y;
        tt.y = points[i].x - points[i+1].x;
        double k = r / sqrt(tt.x * tt.x + tt.y * tt.y);
        tt.x = tt.x * k;
        tt.y = tt.y * k;
        ta.x = points[i].x + tt.x;
        ta.y = points[i].y + tt.y;
        tb.x = points[i+1].x + tt.x;
        tb.y = points[i+1].y + tt.y;
        double a,b,c;
        getline(ta,tb,a,b,c);
        cut(a,b,c);
    }*/
 /*   //多边形核的面积
    double area = 0;
    for(int i = 1; i <= curCnt; ++i)
        area += p[i].x * p[i + 1].y - p[i + 1].x * p[i].y;
    area = fabs(area / 2.0);
 */
}
void GuiZhengHua(){
     //规整化方向，逆时针变顺时针，顺时针变逆时针
    for(int i = 1; i <=m; i ++)q[i]=points[m-i+1];
    for(int i=1;i<=m;i++)points[i]=q[i];
}
int main()
{
    int t;
    while(cin>>m)
    {
        if(m==0)break;
        int i;
        for(i=1;i<=m;i++)cin>>points[i].x>>points[i].y;
        GuiZhengHua();
        points[m+1]=points[1];
        solve();
        if(cCnt<1)cout<<"0"<<endl;
        else cout<<"1"<<endl;
    }
    return 0;
}