文件Open Access徽标

脱壳性为NP-完全

作者 泽维尔·果奥克, 帕维尔·帕塔克, 祖扎娜·帕塔科娃, 马丁·坦瑟, 乌利·瓦格纳

PDF格式
缩略图PDF

文件

LIPIcs公司。SoCG.2018.41.pdf文件
  • 文件大小：0.68 MB
  • 15页

文件标识符

作者详细信息

泽维尔·果奥克
帕维尔·帕塔克
祖扎娜·帕塔科娃
马丁·坦瑟
乌利·瓦格纳

引用为获取BibTex

泽维尔·果奥克、帕维尔·帕塔克、祖扎娜·帕塔科娃、马丁·坦瑟和乌利·瓦格纳。脱壳性为NP-完全。第34届国际计算几何研讨会（SoCG 2018）。莱布尼茨国际信息学论文集（LIPIcs），第99卷，第41:1-41:15页，达格斯图尔-莱布尼兹-泽特鲁姆信息学院（2018）
https://doi.org/10.4230/LIPIcs.SoCG.2018.41

摘要

我们证明，对于每d>=2，判定一个纯d维单形复形是否可壳是NP-hard，因此是NP-complete。这解决了Danaraj和Klee在1978年提出的问题。我们的约简还得出，对于每个d>=2和k>=0，判定纯的d维单纯复形是否是k-可分解的是NP困难的。对于d>=3，当局限于可收缩的纯d维络合物时，这两个问题仍然是NP-hard。
关键词
  • 可脱壳性
  • 单纯复形
  • NP-完整性
  • 湿陷性

韵律学

工具书类

  1. S.Arora和B.Barak。复杂性理论：现代方法。剑桥大学出版社，剑桥，2009年。网址：http://www.cs.princeton.edu/theory/complexity网站/.
  2. D.Attali、O.Devillers、M.Glisse和S.Lazard。识别收缩复合物是NP完成的。计算几何杂志，7（1）：430-4432016。谷歌学者
  3. R.H.Bing，《3-流形的几何拓扑》，美国数学学会学术讨论会出版物第40卷。美国数学学会，普罗维登斯，RI，1983年。网址：http://dx.doi.org/10.1090/coll/040.
  4. A.比约纳。Shellable和Cohen-Macaulay部分有序集。事务处理。阿默尔。数学。Soc.，260（1）：159-1831980年。网址：http://dx.doi.org/10.2307/1999881.
  5. A.比约纳。拓扑方法。《组合学手册》，第1卷，第2卷，第1819-1872页。爱思唯尔科学。B.V.，阿姆斯特丹，1995年。谷歌学者
  6. A.Björner和M.Wachs。Coxeter群的Bruhat阶和可剥性。数学进展，43（1）：87-1001982。网址：http://dx.doi.org/10.1016/0001-8708(82)90029-9.
  7. A.Björner和M.Wachs。关于词典学上可壳偏序集。事务处理。阿默尔。数学。Soc.，277（1）：323-3411983。网址：http://dx.doi.org/10.2307/1999359.
  8. A.Björner和M.L.Wachs。可壳非纯复合物和偏序集。二、。事务处理。阿默尔。数学。Soc.，349（10）：3945-39751997年。网址：http://dx.doi.org/10.1090/S0002-9947-97-01838-2.
  9. H.Bruggesser和P.Mani。细胞和球体的可壳分解。《斯堪的纳维亚数学》，29（2）：197-2051972年。谷歌学者
  10. G.Danaraj和V.Klee。球体和多面体的外壳。杜克数学杂志，41（2）：443-4511974。谷歌学者
  11. G.Danaraj和V.Klee。二维伪流形的表示及其在线性时间壳算法设计中的应用。Ann.离散数学。，2:53-63, 1978. 组合数学的算法方面（Conf.，温哥华岛，不列颠哥伦比亚省，1976年）。谷歌学者
  12. G.Danaraj和V.Klee。哪些球体可以脱壳？Ann.离散数学。，2:33-52, 1978. 组合数学的算法方面（Conf.，温哥华岛，不列颠哥伦比亚省，1976年）。谷歌学者
  13. Ö. 埃西奥卢和T.F.冈萨雷斯。单形复形上的一个计算难题。计算。地理。，6(2):85-98, 1996. 网址：http://dx.doi.org/10.1016/0925-7721(95)00015-1.
  14. X.Goaoc、P.Paták、Z.Patá）ková、M.Tancer和U.Wagner。2018年，可壳性为NP-完全。预打印，URL:https://arxiv.org/abs/1711.08436.
  15. B.格伦巴姆。凸多面体，数学研究生教材第221卷。Springer-Verlag，纽约，第二版，2003年。Volker Kaibel、Victor Klee和Günter M.Ziegler编写并附有序言。网址：http://dx.doi.org/10.1007/978-1-4613-0019-9.
  16. M.Hachimori。二维单形络合物的分解。离散数学。，308(11):2307-2312, 2008.谷歌学者
  17. M.Joswig和M.E.Pfetsch。计算最佳莫尔斯匹配。SIAM离散数学杂志，20（1）：11-252006。谷歌学者
  18. V.Kaibel和M.E.Pfetsch。多面体理论中的一些算法问题。《代数、几何和软件系统》，第23-47页。施普林格，柏林，2003年。谷歌学者
  19. T.Lewiner、H.Lopes和G.Tavares。2-流形的最优离散莫尔斯函数。计算。地理。，26(3):221-233, 2003. 网址：http://dx.doi.org/10.1016/S0925-7721(03)00014-2.
  20. R.Malgouyres和A.R.Francés。确定简单的3复数是否折叠为1复数是NP-完全的。DGCI，第177-188页，2008年。谷歌学者
  21. J.Matoušek。使用Borsuk-Ulam定理。Universitext公司。Springer-Verlag，柏林，2007年。谷歌学者
  22. P.麦克马伦。凸多面体的最大面数。Mathematika，17（2）：179-1841970年。谷歌学者
  23. A.纳布托夫斯基。爱因斯坦结构：存在与唯一。地理。功能。分析。，5(1):76-91, 1995.谷歌学者
  24. I.Peeva、V.Reiner和B.Sturmfels。如何给幺半群取壳。数学。Ann.，310（2）：379-3931998年。谷歌学者
  25. J.S.Provan和L.J.Billera。与凸多面体直径有关的单纯形络合物的分解。数学。操作。研究，5（4）：576-5941980年。网址：http://dx.doi.org/10.1287/moor.5.4.576.
  26. C.P.Rourke和B.J.Sanderson。介绍分段线性拓扑。斯普林格研究版。施普林格·弗拉格，柏林-纽约，1982年。重印。谷歌学者
  27. J.Shareshian。关于有限群子群格的阶复形的可壳性。事务处理。阿默尔。数学。Soc.，353（7）：2689-27032001年。网址：http://dx.doi.org/10.1090/S0002-9947-01-02730-1.
  28. R.P.斯坦利。组合数学与交换代数，《数学进展》第41卷。Birkhäuser Boston，Inc.，马萨诸塞州波士顿，第二版，1996年。谷歌学者
  29. M.Tancer先生。可折叠复合物的识别是NP完成的。离散计算。地理。，55(1):21-38, 2016.谷歌学者
  30. I.A.Volodin、V.E.Kuznetsov和A.T.Fomenko。在算法上识别标准三维球体的问题。乌斯普。Mat.Nauk，29（5）：71-1681974年。用俄语。英语翻译：Russ.Math。Surv公司。29,5:71-172 (1974).谷歌学者
  31. M.L.Wachs先生。Poset拓扑：工具和应用程序。《几何组合学》，IAS/Park City Math第13卷。序列号。，第497-615页。美国数学学会，2007年。谷歌学者
  32. J.H.C.怀特黑德。单纯形空间、核和m-群。程序。伦敦数学。Soc.（2），45（1）：243-3271939年。网址：http://dx.doi.org/10.1112/plms/s2-45.1.243.
问题/备注/反馈
X

Dagstuhl出版社反馈


感谢您的反馈！

已提交反馈

无法发送消息

请稍后再试或发送电子邮件
© 2023-2024Schloss Dagstuhl–LZI股份有限公司 印记 隐私 联系人