一，算法原理

以上图为例，直线(start,end)切割凹多边形ABCDEFGHIJKLMNOP。

记

切割线divLine=(start,end)。

多边形顶点序列vertexList=(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P)。

边序列edgeList=(AB,BC,CD,DE,EF,FG,GH,HI,IJ,JK,KL,LM,MN,NO,OP,PA)。

下面开始计算：

1，求切割点。

遍历edgeList，拿其中各edge与divLine求交，得切割点序列divPointList=(1,2,3,4,5,6,7,8)。

注：线段与直线求交，见：http://www.cnblogs.com/wantnon/p/6384543.html

插入切割点后顶点序列vertexList_afterDiv=(A,1,B,C,2,D,E,3,F,G,4,H,I,5,J,K,6,L,M,7,N,O,8,P)。

插入切割点后的边序列edgeList_afterDiv=(A1,1B,BC,C2,2D,DE,E3,3F,FG,G4,4H,HI,I5,5J,JK,K6,6L,LM,M7,7N,NO,O8,8P,PA)。

2，求各边在切割线哪一侧。

所谓“点在切割线左侧”是指：当站在start面朝end时，点在左手边。

可以使用点到直线的带符号距离来判断点在直线的哪一侧，参考：http://www.cnblogs.com/wantnon/p/6384543.html

求得结果为：B,C,F,G,J,K,N,O在切割线右侧，A,D,E,H,I,L,M,P在切割线左侧。

则切割后的边集edgeList_afterDiv被划分为两个集合：

右侧边集合：rightSideEdgeSet={1B,BC,C2,3F,FG,G4,5J,JK,K6,7N,NO,O8}。

左侧边集合：leftSideEdgeSet={A1,2D,DE,E3,4H,HI,I5,6L,LM,M7,8P,PA}。

3，求封口边。

将divLine反向延长得到点veryFarStart，我们假定点veryFarStart足够远，以至于divPointList中的所有点都在射线[veryFarStart,end)上。

然后我们根据到veryFarStart的距离对divPointList中的点进行排序，得到divPointList_sorted=(1,2,3,8,7,4,5,6)。

然后把divPointList_sorted中的点相邻两个结对儿，得到12,38,74,56。可以发现规律：

线段12，线段38，线段74，线段56，正好都是左侧子多边形的封口。

而将上面每个线段都反向，得到：线段21，线段83，线段47，线段65，正好都是右侧子多边形的封口。

所以有：

leftSideCapSet={12,38,74,56}，

rightSideCapList={21,83,47,65}。

4，重新组装。

右侧边和封口形成的集合为rightSideEdgeAndCapSet=rightSideEdgeSet与rightSideCapSet的并集={1B,BC,C2,3F,FG,G4,5J,JK,K6,7N,NO,O8,21,83,47,65}，

左侧边和封口形成的集合为leftSideEdgeAndCapSet=leftSideEdgeSet与leftSideCapSet的并集={A1,2D,DE,E3,4H,HI,I5,6L,LM,M7,8P,PA,12,38,74,56}。

对rightSideEdgeAndCapSet中的边进行组装，可得多边形:1BC2,3FG47NO8,5JK6，

对leftSideEdgeAndCapSet中的边形行组装，可得多边形:A12DE38P,4HI56LM7

(注意，组装过程并不需要比较坐标(比较坐标的方法不但效率低，而且特殊情况还有可能产生错误)，只需对线段端点字母进行匹配即可)。

所以凹多边形ABCDEFGHIJKLMNOP被直线(start,end)切割成五个子多边形：1BC2,3FG47NO8,5JK6,A12DE38P,4HI56LM7。

计算完毕。

二，实现

在unity里进行了试验，效果如下：

开源地址：http://git.oschina.net/wantnon2/polygonDiv