对偶与直线排列

对偶与直线排列

 

对偶（dual）

对偶定义

• 某个对象经过对偶变换后得到的映射，称为该对象的对偶（dual）
• 平面上的任何一点，都拥有两个参数⎯⎯x坐标和y坐标。平面上任何一条（非垂直的）直线，也拥有两个参数⎯⎯其斜率，以及它与y-坐标轴的交点。因此，可以通过某种一一对应的方式，将一组点映射为一组直线，反之亦然。如果做得巧妙的话，甚至可以将原先点集所具有的某些性质，转换为直线集所具有的某些性质。比如，原先共线的三个点，将映射为共点的三条直线。

 

   

 

对偶用途

•把一个问题变换成另一个问题，从而使问题的求解获得新的途径。

•可以为我们提供一种新的视角。在求解问题时，如果能够从不同的角度来考虑它，往往能够获得更深刻的理解，并由此解决它。

 

直线排列（arrangements）

直线排列定义

图示是由集合L导出的平面的一个子区域划分。我们把这种由顶点，边以及面组成的子区域划分称作“由L导出的排列”。如果‘三线不共点，两线不平行’，我们就称之为“简单的”（simple）。

                                                

 

排列的复杂度

我们把一个排列其中的顶点、边、面的总数叫做这个排列的复杂度。

 

定理

定理：
设L为由平面上n条直线构成的任一集合，而A(L)为由L导出的排列。则

（i） A(L)中的顶点不超过n(n-1)/2个；

（ii） A(L)中的边不超过 n2 条；

（iii） A(L)中的面不超过n2/2+n/2+1 张。

上述命题中的等号成立，当且仅当A(L)是简单的。

递增算法

算法