从轮集上的无交叉图到少顶点包纳单形与多胞体
计算几何
2019-09-02 v2
摘要
平面中一般位置的 个点组成的集合 被称为轮集,如果除 外的所有点均为极点。我们证明,对于计数此类集合 上的无交叉几何图而言,只需知道 的频率向量即可。尽管对应轮集的不同次序类型约有 种,频率向量的数量仅约 。我们给出了用频率向量表示无交叉生成圈、匹配、三角剖分及更多图数量的简单公式。基于此,可高效计算相应的图数量。特别地,我们重新发现了关于 张成的 -包纳三角形的已有公式。在高维中,轮集也被证明是处理计算点 在集合 中单形深度(即 -包纳单形数量)问题的合适模型。尽管我们之前的平面论证不易推广,我们展示了如何在任意固定 的 中使用类似思想。结果是一个 时间算法,用于计算 个点的集合 中点 的单形深度,改进了先前最佳的 界。基于我们的单形深度结果,我们可以在 时间内计算 中 个一般位置点的凸包面数,其中 ,尽管面的渐近数量可能高达 。
引用
@article{arxiv.1812.01595,
title = {From Crossing-Free Graphs on Wheel Sets to Embracing Simplices and Polytopes with Few Vertices},
author = {Alexander Pilz and Emo Welzl and Manuel Wettstein},
journal= {arXiv preprint arXiv:1812.01595},
year = {2019}
}
备注
Full version of a contribution presented in Proc. of the 33rd International Symposium on Computational Geometry (SoCG 2017), volume 77 of LIPIcs, pages 54:1-54:16. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2017