计算几何

把草稿纸上的集合体转变成代码其中还是有很多细节问题需要注意的，《算法导论》主要介绍了叉积在几何学中的应用。向量的两个运算点积与叉积,点积：ab = |a||b|cos 叉积：a x b = |a||b|sin,由于叉积的形式与面积公式相似，也常用于计算多边形的面积，同时如果a x b > 0则a 向量在b向量的顺时针方向上，利用这个性质，《算法导论》介绍了凸包的求解方法。

HDU2036就是利用叉积求多边形面积的例子：

#include<stdio.h>
#include<math.h>

#define MAXN 105

struct POINT
{
	double x,y;
}p[MAXN];

double polygon_area(POINT p[],int n);

int main()
{
	int n;

	//freopen("Sample Input.txt","r",stdin);

	while(scanf("%d",&n) != EOF && n)
	{
		for(int i = 0;i < n;i++)
		{
			scanf("%lf%lf",&p[i].x,&p[i].y);
		}

		printf("%.1f\n",polygon_area(p,n));
	}
}

double polygon_area(POINT p[],int n)
{
	double s = 0;

	for(int i = 0;i < n;i++)
	{
		s += (p[i].x * p[(i + 1) % n].y - p[i].y * p[(i + 1) % n].x);
	}

	return fabs(s / 2.0);
}

double polygon_area(POINT p[],int n)就是将多边形以原点为定点分成小三角形利用叉积求解的例子，其中输入点对为逆时针方向，如果杂乱则可用下面的方法排序。

HDU1392介绍了利用叉积求解凸包的方法：

#include<stdio.h>
#include<algorithm>
#include<math.h>

#define MAXN 105


struct POINT
{
	int x,y;
}trees[MAXN];

int cmp(const void * a,const void * b);
double get_dis(POINT a,POINT b);
int cross_product(POINT a,POINT b,POINT c);
int graham_scan(POINT trees[],POINT ch[],int n);

int main()
{
	int n;

	//freopen("Sample Input.txt","r",stdin);

	while(scanf("%d",&n) && n)
	{
		double dis = 0;

		for(int i = 0;i < n;i++)
		{
			scanf("%d%d",&trees[i].x,&trees[i].y);
		}
		
		if(n == 2)										
		{
			dis = get_dis(trees[0],trees[1]);
		}
		
		if(n >= 3)
		{
			POINT ch[MAXN];
			int cnt = graham_scan(trees,ch,n);
			for(int i = 0;i < cnt - 1;i++)
			{
				dis += get_dis(ch[i],ch[i + 1]);
			}
			dis += get_dis(ch[cnt - 1],ch[0]);
		}

		printf("%.2f\n",dis);
	}
}

int cross_product(POINT a,POINT b,POINT c)
{
	return (a.x - c.x) * (b.y - c.y) - (a.y - c.y) * (b.x - c.x);
}

int cmp(const void * a,const void * b)
{
	double k = cross_product(*(POINT *)a,*(POINT *)b,trees[0]);
	if(k < 0 || (!k && get_dis(*(POINT *)a,trees[0]) > get_dis(*(POINT *)b,trees[0])))return 1;					//不容易删除的情况下折中的办法
	return -1;
}

double get_dis(POINT a,POINT b)
{
	return sqrt(pow(double(a.x - b.x),2) + pow(double(a.y - b.y),2));
}

void swap(POINT * a,POINT * b)
{
	POINT t = * a;
	* a = * b;
	* b = t;
}

int graham_scan(POINT trees[],POINT ch[],int n)
{
	int min = 0;
	for(int i = 0;i < n;i++)
	{
		if(trees[i].y < trees[min].y || (trees[i].y == trees[min].y && trees[i].x < trees[min].x))
		{
			min = i;
		}
	}
	swap(&trees[0],&trees[min]);

	qsort(trees + 1,n - 1,sizeof(trees[0]),cmp);

	ch[0] = trees[0];
	ch[1] = trees[1];
	ch[2] = trees[2];
	int top = 2;

	for(int i = 3;i < n;i++)
	{
		while(cross_product(trees[i],ch[top],ch[top - 1]) > 0 && top >= 2)
		{
			top--;
		}
		ch[++top]=trees[i];
	}
	
	return top + 1;
}

这里利用扫描法解决问题，先讲点按逆时针排序，然后扫描新点并检查以前的点最终的到结果，每一个状态都能保证暂时是凸包。

计算几何学博大精深啊，以后还会选修《计算机图形学》，里边应该会有很多有趣的东西，期待。。。