蛋白质组学北京大学人工智能实验室ProteomicsArtificialIntelligenceLa.ppt

半平面求交及相关

吴斌星

线性规划

这个大家都知道

其实线性规划就是半平面求交

由n个形如ax+by+c=0的不等式确定的半平面，求其交集区域

容易知道该区域是至多n边的凸多边形

当然前提是在一个有限范围内，如果题目要求无限范围，你只要自己定一个足够大的有限范围即可

朴素算法

初始设区域A为整个平面

一次用给定不等式对应的直线切割A

所有直线切割完毕后得到最终的交集

复杂度O(n2)

如果要求每增加一个不等式都要输出一次A，该算法是最优的

分治算法

如果可以在O(n+m)的时间里求出一个n条边的凸多边形和一个m条边的凸多边形的交集，那么就可以吧半平面求交的问题分治为两个相当的小问题，然后再合并