文件Open Access徽标

二分竞赛反馈顶点集的快速精确参数化算法

作者 米蒂列什·库马尔, 丹尼尔·洛克斯塔诺夫

PDF格式
缩略图PDF

文件

LIPIcs公司。FSTTCS.2016.24.pdf
  • 文件大小：0.53 MB
  • 15页

文件标识符

作者详细信息

米蒂列什·库马尔
丹尼尔·洛克斯塔诺夫

引用为获取BibTex

米蒂列什·库马尔（Mithilesh Kumar）和丹尼尔·洛克斯塔诺夫（Daniel Lokshtanov）。二分竞赛反馈顶点集的快速精确参数化算法。第36届IARCS软件技术和理论计算机科学基础年会（FSTTCS 2016）。莱布尼茨国际信息学论文集（LIPIcs），第65卷，第24:1-24:15页，达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所（2016）
https://doi.org/10.4230/LIPIcs.FSTTCS.2016.24

摘要

二部竞赛是一个有向图T:=（A cup B，E），使得A中的每一对顶点（A，B），A中的A，B中的B都由一条弧连接，没有弧连接A的两个顶点或B的两个点。反馈顶点集是T中的一组顶点S，使得T-S是无环的。在本文中，我们考虑了二分竞赛中的反馈顶点集问题。这里的输入是n个顶点上的二分锦标赛T和一个整数k，任务是确定T是否具有最大为k的反馈顶点集。我们给出了二分锦标赛中反馈顶点集的一个新算法。我们的算法的运行时间是O（1.6181^k+n^{O（1）}）的上限，与之前最著名的算法相比，其运行时间是（2^k）k^{O。作为副产品，我们还获得了该问题目前已知的最快的精确指数时间算法，运行时间为O（1.3820^n）。
关键词
  • 参数化算法
  • 精确算法
  • 反馈顶点集
  • 巡回赛
  • 二人锦标赛

韵律学

工具书类

  1. 诺加·阿隆、拉兹洛·巴拜和阿隆·伊泰。最大独立集问题的一种快速简单的随机并行算法。《算法杂志》，7（4）：567-5831986年。网址：http://dx.doi.org/10.1016/016-6774(86)90019-2.
  2. Vineet Bafna、Piotr Berman和Toshihiro Fujito。无向反馈顶点集问题的2-近似算法。SIAM J.离散数学。，12(3):289-297, 1999.谷歌学者
  3. Lowell W.Beineke和Charles H.C.Little。二分锦标赛中的循环。组合理论杂志，B辑，32（2）：140-1451982。谷歌学者
  4. 蔡茂成、邓晓铁和臧文安。竞赛中反馈顶点集的近似算法。SIAM J.计算。，30(6):1993-2007, 2000.谷歌学者
  5. 蔡茂成、邓晓铁和臧文安。关于反馈顶点集的一个极大极小定理。数学。操作。研究，27（2）：361-3712002。网址：http://dx.doi.org/10.1287/moor.27.2.361.328.
  6. 陈建儿、刘洋、陆松建、巴里·奥沙利文和伊戈尔·拉兹贡。有向反馈顶点集问题的一种固定参数算法。J.ACM，55（5），2008年。网址：http://dx.doi.org/10.1145/1411509.1411511.
  7. C.R.J.克拉彭。与织物相关联的两党比赛。离散数学，57（1）：195-1971985。谷歌学者
  8. 文森特·科恩·阿达德（Vincent Cohen-Addad）、埃里克·科林·德·维尔迪埃（El ric Colin de Verdière）、菲利普·克莱恩（Philip N.Klein）、克莱尔·马修（Claire Mathieu）和大卫·迈尔夫兰肯菲尔德（David Meierf。加权有界图中的近似连通控制。2016年6月18日至21日，美国马萨诸塞州剑桥市STOC 2016第48届ACM SIGACT年度计算理论研讨会论文集，第584-597页。谷歌学者
  9. Marek Cygan、Jesper Nederlof、Marcin Pilipczuk、Michal Pilipczuk、Johan M.M.van Rooij和Jakub Onufry Wojtaszczyk。在单指数时间内解决由树宽度参数化的连通性问题。2011年10月22日至25日，美国加利福尼亚州棕榈泉市，2011年FOCS，IEEE第52届计算机科学基础年度研讨会，第150-159页。谷歌学者
  10. 埃里克·D·德曼（Erik D.Demaine）、费多尔·弗敏（Fedor V.Fomin）、穆罕默德·塔吉·哈加伊（Mohammad Taghi Hajiaghayi）和迪米特里奥斯·蒂利科斯（Dimitrios M.Thilikos）。有界图和H-minor-free图的次指数参数化算法。美国医学杂志，52（6）：866-8932005。谷歌学者
  11. 埃里克·D·德曼（Erik D.Demaine）和穆罕默德·塔吉（Mohammad Taghi Hajiaghayi）。二维性：FPT算法和ptass之间的新联系。2005年1月23日至25日，加拿大不列颠哥伦比亚省温哥华，第十六届ACM-SIAM离散算法年会论文集，SODA 2005，第590-601页。谷歌学者
  12. Michael Dom、Jiong Guo、Falk Hüffner、Rolf Niedermeier和Anke Truß。比赛中反馈集问题的固定参数可处理性结果。J.离散算法，8（1）：76-862010。谷歌学者
  13. P.Erdõs和L.Pósa。在图中包含的独立电路上。加拿大。《数学杂志》，17:347-3521965年。谷歌学者
  14. 盖伊文（Guy Even）、约瑟夫·纳尔（Joseph Naor）、巴鲁克·希伯（Baruch Schieber）和马杜·苏丹（Madhu Sudan）。在有向图中逼近最小反馈集和多截。算法，20（2）：151-1741998。谷歌学者
  15. Paola Festa、Panos M.Pardalos和Mauricio G.C.Resende。反馈设置问题。在《组合优化手册》中，第209-258页。斯普林格，1999年。谷歌学者
  16. Fedor V.Fomin、Serge Gaspers、Daniel Lokshtanov和Saket Saurabh。通过单调局部搜索的精确算法。2016年6月18日至21日，美国马萨诸塞州剑桥市STOC 2016第48届ACM SIGACT年度计算理论研讨会论文集，第764-775页。网址：http://dx.doi.org/10.1145/2897518.2897551.
  17. Fedor V.Fomin、Daniel Lokshtanov、Venkatesh Raman和Saket Saurabh。二维性和EPTAS。2011年1月23日至25日，美国加利福尼亚州旧金山，2011年SODA，第二十二届ACM-SIAM离散算法年会论文集，第748-759页。谷歌学者
  18. Fedor V.Fomin、Daniel Lokshtanov、Saket Saurabh和Dimitrios M.Thilikos。二维性和内核。2010年1月17日至19日，美国德克萨斯州奥斯汀，2010年SODA，第二十届年度ACM-SIAM离散算法研讨会论文集，第503-510页。谷歌学者
  19. 费多尔·福明和Yngve Villanger。通过最小三角剖分找到诱导子图。2010年3月4日至6日，第27届计算机科学理论方面国际研讨会，法国南希，第383-394页。谷歌学者
  20. 利奥·莫瑟·弗兰克·哈雷（Leo Moser Frank Harary）。循环赛理论。《美国数学月刊》，73（3）：231-2461966。网址：http://www.jstor.org/stable/2315334.
  21. 迈克尔·加里（Michael R.Garey）和大卫·约翰逊（David S.Johnson）。计算机与不可纠正性：NP-完备性理论指南。数学科学丛书。W.H.弗里曼公司，1979年。谷歌学者
  22. 文卡泰桑·古鲁斯瓦米、约翰·施塔德、拉杰斯卡尔·马诺卡兰、普拉萨德·拉加文德拉和摩西·查里卡尔。打破随机排序很难：每个排序CSP都是抗近似的。SIAM J.计算。，40(3):878-914, 2011.谷歌学者
  23. 格雷戈里·古汀（Gregory Gutin）和安德斯·杨（Anders Yeo）。有向图的一些参数化问题。计算。J.，51（3）：363-3712008年。谷歌学者
  24. 小胜英。二部竞赛中反馈顶点集的固定参数复杂性。2011年12月5日至8日，在日本横滨举行的第22届国际算法与计算研讨会上。会议记录，第344-353页，2011年。网址：http://dx.doi.org/10.1007/978-3642-25591-5_36.
  25. 理查德·卡普（Richard M.Karp）。组合问题之间的可还原性。1972年3月20日至22日在纽约州约克镇高地IBM Thomas J.Watson研究中心举行的计算机计算复杂性研讨会论文集，第85-103页。谷歌学者
  26. 托马斯·科齐马卡（Tomasz Kociumaka）和马金·皮利普祖克（Marcin Pilipczuk）。更快的确定反馈顶点集。信息处理。莱特。，114(10):556-560, 2014.谷歌学者
  27. 米蒂列什·库马尔（Mithilesh Kumar）和丹尼尔·洛克斯塔诺夫（Daniel Lokshtanov）。比赛中反馈顶点集的快速精确参数化算法。2016年2月17日至20日在法国奥尔良举行的2016年STACS第33届计算机科学理论研讨会，第49:1-49:13页。网址：http://dx.doi.org/10.4230/LIPIcs.STACS.2016.49.
  28. 伊戈尔·拉兹贡。计算o（1.9977^n）中的最小有向反馈顶点集。《理论计算机科学》，第十届意大利会议，ICTCS 2007，意大利罗马，2007年10月3-5日，会议记录，第70-81页，2007年。谷歌学者
  29. 布鲁斯·里德、尼尔·罗伯逊、保罗·西摩和罗宾·托马斯。封装定向电路。组合数学，16（4）：535-5541996。谷歌学者
  30. Prashant Sasatte。改进的FPT算法用于二部竞赛中的反馈顶点集问题。信息处理。莱特。，105(3):79-82, 2008. 网址：http://dx.doi.org/10.1016/j.ipl.2007.08.014.
  31. A.Truß。比赛中反馈集问题的参数化算法。Friedrich-Schiller-Universität Jena信息研究所Diplorabeit博士论文，2005年。谷歌学者
  32. 上野水池、川谷洋二和谷谷信也。关于顶点度不超过3的图的非分离独立集问题和反馈集问题。离散数学，72（1-3）：355-3601988。谷歌学者
  33. 安克·范·祖伦（Anke van Zuylen）。二部竞赛反馈集问题的基于线性规划的近似算法。西奥。计算。科学。，412(23):2556-2561, 2011. 网址：网址：http://dx.doi.org/10.1016/j.tcs.2010.10.047.
  34. 肖明宇和长本浩。一种改进的无向反馈顶点集精确算法。J.库姆。最佳。，30(2):214-241, 2015.谷歌学者
问题/备注/反馈
X（X）

Dagstuhl出版社反馈


感谢您的反馈！

已提交反馈

无法发送消息

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