链接：http://acm.fzu.edu.cn/problem.php?pid=1015
Problem 1015 土地划分
Accept: 714 Submit: 1675
Time Limit: 1000 mSec Memory Limit : 32768 KB
Problem Description
在Dukeswood这块土地上生活着一个富有的农庄主和他的几个孩子。在他临终时，他想把他的土地分给他的孩子。他有许多农场，每个农场都是一块矩形土地。他在农场地图上划上一些直线将矩形分成若干块。当他划直线时，他总是从矩形边界上的某一点划到另一个矩形边界上的点，这条线的结束点将成为下一条线的起始点。他划线时从不会让任三线共点。例如图1是某一种划分结果。
图1
划分的起始点和结束点均以五角星标记。当他完成划分后，他想要数一下划出的土地的块数以确保每个孩子都有一块地。例如，图1中土地被划分成18块。然而这个庄主由于年迈常会数错，因而他寻求你的帮助。
请写一个程序，输入原来的土地尺寸及线段的位置，输出划分出的土地块数。
Input
输入文件有多组数据组成。每组数据格式如下：
第一行输入地图的宽度w (1<=w<=1000)和高度 h (1<=h<=1000)，均为整数。
第二行输入线段数L (1<=L<=50)。
以下L+1行每行一个整数坐标(Xi,Yi)，庄主划的线段为(Xi,Yi)-(Xi+1,Yi+1)，i=1,2,…,L。当然(Xi,Yi)必定在矩形的边界上。
最后一组数据w=h=0，标志文件结束，不需要处理。
第一行输入地图的宽度w (1<=w<=1000)和高度 h (1<=h<=1000)，均为整数。
第二行输入线段数L (1<=L<=50)。
以下L+1行每行一个整数坐标(Xi,Yi)，庄主划的线段为(Xi,Yi)-(Xi+1,Yi+1)，i=1,2,…,L。当然(Xi,Yi)必定在矩形的边界上。
最后一组数据w=h=0，标志文件结束，不需要处理。
Output
对于给定的输入，输出一行仅含一个数，即划分出的土地块数。
Sample Input
18 12
8
2 0
6 12
10 0
18 9
15 12
0 6
14 0
10 12
0 9
7 6
6
2 0
5 6
7 3
0 3
3 0
3 6
0 5
0 0
Sample Output
18
11
/。/。/。/。/。/。/。/。/。/。/。/。/。/。/。/。/。/。/。/。/。/。/。/。
看到此题，可联想到组合几何中的一个问题，求平面上n条直线最多可以将平面分成多少块
首先分析直线划分区域的情况，根据已知的结论：平面上的n条直线最多可以将平面分成 f ( n )个区域，其中 f(n)=(n^2+n+2)/2.
实际上，重点是讨论如何得出这个结论的过程
方法————数学归纳法
当n=1时，f(1)=(1^2+1+2)/2=2显然成立，即一条直线把平面分成两个区域。
-----------------------------------------------------------------------------------
假设，对所有的n<k的n，均有f(n)=(n^2+n+2)/2。考虑ｎ=k
新的直线L做多可以和原来的n-1条直线有n-1个交点，这n-1个交点将直线分成了n段，其中
ｎ－２段为线段，两段为射线。这ｎ段线将其所在的ｎ个区域一分为二，这样就增加了ｎ个
区域，所以f(n)=f(n-1)+n。再由归纳假设，f(n-1)=((n-1)^2+(n-1)+2)/2，因而有：
f(n)=((n-1)^2+(n-1)+2)/2+n=(n^2+n+2)/2
因此，对所有的正整数ｎ，均有f(n)=(n^2+n+2)/2
-----------------------------------------------------------------------------------
具体推导过程看这里吧：http://wenku.baidu.com/view/15733b0b79563c1ec5da71cf.html
经过推导，可以得出结论，f(L)=1+T+L
就是不在矩形边上的交点个数T+线段的条数L+1即为答案
下面给出代码：
#include <stdio.h>
#include <string.h>
#include <stdlib.h>
#include <math.h>
#include <iostream>
#include <algorithm>
#define eps 1e-6 struct point
{
double x,y;
}; struct beline
{
point a,b;
}; using namespace std; point p[]; bool dy(double x,double y)
{
return x > y+eps;
}
bool xy(double x,double y)
{
return x < y-eps;
}
bool xyd(double x,double y)
{
return x < y+eps;
}
bool dyd(double x,double y)
{
return x > y-eps;
}
double dd(double x,double y)
{
return fabs(x-y) < eps;
} double crossProduct(point a,point b,point c)
{
return (c.x-a.x)*(b.y-a.y)-(c.y-a.y)*(b.x-a.x);
} bool onSegment(point a,point b,point c)
{
double maxx=max(a.x,b.x);
double maxy=max(a.y,b.y);
double minx=min(a.x,b.x);
double miny=min(a.y,b.y);
if(dd(crossProduct(a,b,c),0.0)&&dyd(c.x,minx)&&xyd(c.x,maxx)
&&dyd(c.y,miny)&&xyd(c.y,maxy))
return true;
return false;
} bool segIntersect(point p1,point p2,point p3,point p4)
{
double d1 = crossProduct(p3,p4,p1);
double d2 = crossProduct(p3,p4,p2);
double d3 = crossProduct(p1,p2,p3);
double d4 = crossProduct(p1,p2,p4);
if(xy(d1*d2,0.0)&&xy(d3*d4,0.0))
return true;
if(dd(d1,0.0)&&onSegment(p3,p4,p1))
return true;
if(dd(d2,0.0)&&onSegment(p3,p4,p2))
return true;
if(dd(d3,0.0)&&onSegment(p1,p2,p3))
return true;
if(dd(d4,0.0)&&onSegment(p1,p2,p4))
return true;
return false;
} point intersectpoint(beline u,beline v)
{
point ans=u.a;
double t = ((u.a.x-v.a.x)*(v.a.y-v.b.y)-(u.a.y-v.a.y)*(v.a.x-v.b.x))/
((u.a.x-u.b.x)*(v.a.y-v.b.y)-(u.a.y-u.b.y)*(v.a.x-v.b.x));
ans.x+=(u.b.x-u.a.x)*t;
ans.y+=(u.b.y-u.a.y)*t;
return ans;
}
int main()
{
int n,m,i,j,k;
beline li[];
while(scanf("%d%d",&n,&m)!=EOF&&n||m)
{
scanf("%d",&k);
for(i=;i<=k;i++)
{
scanf("%lf%lf",&p[i].x,&p[i].y);
}
for(i=;i<k;i++)
{
li[i].a.x=p[i].x;
li[i].a.y=p[i].y;
li[i].b.x=p[i+].x;
li[i].b.y=p[i+].y;
} int sum=;
for(i=;i<k;i++)
{
for(j=i+;j<k;j++)
{
if(segIntersect(li[i].a,li[i].b,li[j].a,li[j].b))
{
point tmp;
tmp=intersectpoint(li[i],li[j]);
if(dy(tmp.x,0.0)&&xy(tmp.x,(double)n)&&dy(tmp.y,0.0)&&xy(tmp.y,(double)m))
{
sum++;
}
}
}
}
printf("%d\n",sum+k+);
}
return ;
}