带有边界条件的圆柱代数分解
摘要：在不引发坐标变换（例如可能出现的放大）的情况下，这篇论文证明了并提出了一个满足边界条件的CAD存在并且构造算法。该算法具有基本（按L. Kalmar的定义）复杂度。这也为具有此属性的CAD中的单元格数量提供了一个上限。边界条件在计算由一阶公式定义的半代数集合的拓扑属性，解决运动规划问题和定义有序单调族的三角剖分时很有用。所提出的算法采用了对初始分解的单元格指数的词典序递归的新方法。
作者：Hollie Baker
论文ID：2212.12747
分类：Algebraic Geometry
分类简称：math.AG
提交时间：2023-07-18