文件Open Access徽标

非循环有向图类的删除核

作者 Akanksha Agrawal公司, Saket Saurabh公司, 鲁哈尼·夏尔马, 梅拉夫·泽哈维

PDF格式
缩略图PDF

文件

LIPIcs公司。ISAAC2016.6.pdf
  • 文件大小：0.51 MB
  • 12页

文件标识符

作者详细信息

Akanksha Agrawal公司
Saket Saurabh公司
鲁哈尼·夏尔马
梅拉夫·泽哈维

引用为获取BibTex

阿坎沙·阿格拉瓦尔（Akanksha Agrawal）、萨科特·索拉巴（Saket Saurabh）、鲁哈尼·夏尔马（Roohani Sharma）和梅拉夫·泽哈维（Meirav Zehavi）。删除非循环有向图类的内核。第27届国际算法与计算研讨会（ISAAC 2016）。莱布尼茨国际信息学论文集（LIPIcs），第64卷，第6:1-6:12页，达格斯图尔-莱布尼兹-泽特鲁姆信息学院（2016）
https://doi.org/10.4230/LIPIcs.ISAC.2016.6

摘要

在有向反馈顶点集（DFVS）问题中，我们给出了n个顶点上的有向图D和一个正整数k，目的是检查是否存在一组最大为k的顶点S，使得F=D-S是有向无环有向图。在最近的一篇论文中，Mnich和van Leeuwen[STACS 2016]考虑了DFVS的核化复杂性，并对F进行了额外的限制，即F必须是一个外树（out-forest Vertex Deletion Set）、一个外树状（out-tree Vertex Deletion Set。他们的目标是揭示DFVS问题的内核化复杂性，这是参数化复杂性领域众所周知的开放问题。在本文中，我们将外森林顶点删除集的核大小从O（k^3）改进为O（k*2），并将南瓜顶点删除集从O（k ^18）改进为0（k ^3）。我们还证明了在一定的复杂性理论假设下，原核大小是紧的。
关键词
  • 户外活动
  • 南瓜
  • 参数复杂性
  • 核化

度量标准

工具书类

  1. F.N.Abu Khzam。d-Hitting集的核化算法。JCSS，76（7）：524-5312010年。谷歌学者
  2. V.Bafna、P.Berman和T.Fujito。无向反馈顶点集问题的2-近似算法。SIDMA，12（3）：289-2971999年。谷歌学者
  3. J.Bang Jensen，A.Maddaloni和S.Saurabh。锦标赛推广中反馈集问题的算法和核。《算法》，第1-24页，2015年。谷歌学者
  4. R.Bar-Yehuda、D.Geiger、J.Naor和R.M.Roth。反馈顶点集问题的近似算法及其在约束满足和贝叶斯推理中的应用。SICOMP，27（4）：942-9591998年。谷歌学者
  5. A.Becker和D.Geiger。顶点反馈集问题的pearl条件法和类贪婪近似算法的优化。Artif公司。智力。，83(1):167-188, 1996.谷歌学者
  6. Y.Cao、J.Chen和Y.Liu。在反馈顶点上设置新的度量和新的结构。SWAT，第93-104页，2010年。谷歌学者
  7. C.Chekuri和V.Madan。通过一种新的LP松弛法求解子集反馈问题的常数因子近似。SODA，第808-820页，2016年。谷歌学者
  8. J.Chen、F.V.Fomin、Y.Liu、S.Lu和Y.Villanger。反馈顶点集问题的改进算法。JCSS，74（7）：1188-1198，2008年。谷歌学者
  9. J.Chen、Y.Liu、S.Lu、B.O'Sullivan和I.Razgon。有向反馈顶点集问题的一种固定参数算法。J.ACM，55（5），2008年。谷歌学者
  10. R.H.Chitnis、M.Cygan、M.T.Hajiaghayi和D.Marx。有向子集反馈顶点集是固定参数可处理的。TALG，11（4）：2015年28月。谷歌学者
  11. M.Cygan、F.V.Fomin、L.Kowalik、D.Lokshtanov、D.Marx、M.Pilipczuk、M.Pilipczuk和S.Saurabh。参数化算法。斯普林格，2015年。谷歌学者
  12. M.Cygan、J.Nederlof、M.Pilipczuk、M.Pilipczuk、J.M.Rooij和J.O.Wojtaszczyk。求解单指数时间内由树宽参数化的连通性问题。在FOCS中，第150-159页，2011年。网址：http://dx.doi.org/10.109/FOCS.2011.23.
  13. M.Cygan、M.Pilipczuk、M.Pilipczzuk和J.O.Wojtaszczyk。子集反馈顶点集是固定参数可处理的。SIDMA，27（1）：290-3092013年。网址：http://dx.doi.org/10.1137/10843071.
  14. R.Diestel。图论，第4版。施普林格，2012年。谷歌学者
  15. M.Dom、J.Guo、F.Hüffner、R.Niedermeier和A.Truß。比赛中反馈集问题的固定参数可处理性结果。英国国防部，8（1）：76-862010。网址：http://dx.doi.org/10.1016/j.jda.2009.08.001.
  16. R.G.Downey和M.R.Fellows。参数化复杂性基础。施普林格，2013年。谷歌学者
  17. P.Erdős和L.Pósa。关于包含在图中的独立电路。加拿大。《数学杂志》，17:347-3521965年。谷歌学者
  18. G.Even、J.Naor、B.Schieber和M.Sudan。在有向图中逼近最小反馈集和多集。算法，20（2）：151-1741998。谷歌学者
  19. V.Guruswami和E.Lee。H横向/填料不接近。2015年，第284-304页，近似/随机。谷歌学者
  20. N.Kakimura、K.Kawarabayashi和Y.Kobayashi。Erdös-Pósa属性及其算法应用：奇偶约束、子集反馈集和子集打包。SODA，第1726-1736页，2012年。谷歌学者
  21. N.Kakimura、K.Kawarabayashi和D.Marx。打包循环通过指定的顶点。J.库姆。理论，Ser。B、 101（5）：378-3812011年。谷歌学者
  22. K.Kawarabayashi和Y.Kobayashi。子集反馈集问题和S循环装箱问题的固定参数可处理性。J.库姆。理论，Ser。B、 102（4）：1020-10342012年。网址：http://dx.doi.org/10.1016/j.jctb.2011.12.001.
  23. K.Kawarabayashi、D.Král、M.Krcál和S.Kreutzer。打包定向循环通过指定的顶点集。SODA，第365-377页，2013年。谷歌学者
  24. T.Kociumaka和M.Pilipczuk。更快的确定反馈顶点集。IPL，114（10）：556-5602014年。网址：网址：http://dx.doi.org/10.1016/j.ipl.2014.5.001.
  25. M.Mnich和E.J.van Leeuwen。用于删除到无圈有向图类的多项式核。在STACS中，2016年第1-13页。谷歌学者
  26. M.Pontecorvi和P.Wollan。与一组顶点相交的不相交循环。J.库姆。理论，Ser。B、 102（5）：1134-1141，2012年。谷歌学者
  27. V.Raman、S.Saurabh和C.R.Subramanian。用于查找反馈顶点集的更快的固定参数可处理算法。TALG，2（3）：403-4152006年。网址：http://dx.doi.org/10.1145/1159892.1159898.
  28. B.A.Reed、N.Robertson、P.D.Seymour和R.Thomas。封装定向电路。组合数学，16（4）：535-5541996。谷歌学者
  29. P·D·西摩。部分封装定向电路。组合数学，15（2）：281-2881995。谷歌学者
  30. P·D·西摩。欧拉有向图中的包装回路。组合数学，16（2）：223-231996。谷歌学者
  31. S.Thomasse。反馈顶点集的4k²内核。TALG，6（2），2010年。谷歌学者
  32. M.WahlströM。半完整性、LP-分支和FPT算法。在SODA中，第1762-1781页，2014年。谷歌学者
问题/备注/反馈
X（X）

Dagstuhl出版社反馈


感谢您的反馈！

已提交反馈

无法发送消息

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