中文

从轮集上的无交叉图到少顶点包纳单形与多胞体

计算几何 2019-09-02 v2

摘要

平面中一般位置的 n+1n+1 个点组成的集合 P=H{w}P = H \cup \{w\} 被称为轮集,如果除 ww 外的所有点均为极点。我们证明,对于计数此类集合 PP 上的无交叉几何图而言,只需知道 PP 的频率向量即可。尽管对应轮集的不同次序类型约有 2n2^n 种,频率向量的数量仅约 2n/22^{n/2}。我们给出了用频率向量表示无交叉生成圈、匹配、三角剖分及更多图数量的简单公式。基于此,可高效计算相应的图数量。特别地,我们重新发现了关于 HH 张成的 ww-包纳三角形的已有公式。在高维中,轮集也被证明是处理计算点 ww 在集合 HH 中单形深度(即 ww-包纳单形数量)问题的合适模型。尽管我们之前的平面论证不易推广,我们展示了如何在任意固定 ddRd\mathbb{R}^d 中使用类似思想。结果是一个 O(nd1)O(n^{d-1}) 时间算法,用于计算 nn 个点的集合 HH 中点 ww 的单形深度,改进了先前最佳的 O(ndlogn)O(n^d\log n) 界。基于我们的单形深度结果,我们可以在 O(nmax{ω,k2})O(n^{\max\{\omega,k-2\}}) 时间内计算 Rd\mathbb{R}^dn=d+kn=d+k 个一般位置点的凸包面数,其中 ω2.373\omega \approx 2.373,尽管面的渐近数量可能高达 nkn^k

关键词

引用

@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