跳到主要内容
研究论文

正则拟阵中的跨圈

出版:2019年10月4日出版历史
跳过抽象节

摘要

我们考虑在含有集合的拟阵中寻找电路的基本拟阵理论问题T型给定终端元件的。对于图形拟阵,这对应于在图中找到通过一组给定终端边的简单循环的问题。正则拟阵是图形拟阵的一个超类,对这一问题的算法研究由Gavenčiak、Král和Oum[ICALP'12]发起,他们证明了用电路长度参数化时,问题的情况是固定参数可处理的(FPT)。通过证明正则拟阵的结果,我们推广了Gavenčiak、Král'和Oum的结果

•M最小值S公司平移C类电路问题,决定是否存在最多带有包含的元素T型,FPT参数化为k个= ℓ − ∣T

•S平移C类电路问题是,决定是否有一个电路包含T,FPT参数化为Tб。

我们注意到,将我们的算法发现扩展到二元拟阵(正则拟阵的超类)是极不可能的:M最小值S公司平移C类电路参数化者在二元拟阵上是W[1]-硬的,即使在T=1时也是如此。我们还显示了通过考虑较小的参数可以加强结果的程度的限制。更准确地说,我们证明了M最小值S公司平移C类电路即使在伪拟阵(正则拟阵的一个适当的子类)上,由T参数化的拟阵也是W[1]硬的。

工具书类

  1. 诺加·阿隆、拉斐尔·尤斯特和乌里·兹威克。1995.彩色编码。J.ACM 42,4(1995),844-856。谷歌学者谷歌学者数字图书馆数字图书馆
  2. Arnab Bhattacharyya、Suprovat Ghoshal、Karthik C.S.和Pasin Manurangsi。2018.来自gap-ETH的偶数集和最短向量问题的参数化难题。第45届自动机、语言和程序设计国际学术讨论会论文集(ICALP’18),第107卷。达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum fuer Informatik),17:1-17:15。内政部:https://doi.org/10.4230/LIPIcs.ICALP.2018.17谷歌学者谷歌学者
  3. 安德烈亚斯·比约克隆德(Andreas Björklund)、托尔·胡斯菲尔德(Thore Husfeldt)和尼娜·塔斯拉曼(Nina Taslaman)。2012.通过指定元素的最短周期。第22届ACM-SIAM离散算法年会论文集(SODA'12)。暹罗,1747-1753年。谷歌学者谷歌学者交叉引用交叉引用
  4. 蔡雷珍。2008.基数约束优化问题的参数化复杂性。计算。J.51,1(2008),102-121。内政部:https://doi.org/10.1093/comjnl/bxm086谷歌学者谷歌学者数字图书馆数字图书馆
  5. 蔡雷珍、陈小文和陈小安。2006.随机分离:解决固定基数优化问题的新方法。第二届参数化与精确计算国际研讨会论文集(IWPEC'06)。第4169卷。施普林格,239--250。谷歌学者谷歌学者数字图书馆数字图书馆
  6. Chandra Chekuri和Julia Chuzhoy。2016.格点定理的多项式界限。J.ACM 63,5(2016),40:1--40:65。内政部:https://doi.org/10.1145/2820609谷歌学者谷歌学者数字图书馆数字图书馆
  7. Rajesh Chitnis、Marek Cygan、MohammadTaghi Hajiaghayi、Marcin Pilipczuk和Michal Pilipczzuk。2016.使用随机收缩设计切割问题的FPT算法。SIAM J.计算。45, 4 (2016), 1171--1229. 内政部:https://doi.org/10.1137/15M1032077谷歌学者谷歌学者数字图书馆数字图书馆
  8. Marek Cygan、Fedor V.Fomin、Lukasz Kowalik、Daniel Lokshtanov、Dániel Marx、Marcin Pilipczuk、Michal Pilipczzuk和Saket Saurabh,2015年。参数化算法。斯普林格。内政部:https://doi.org/10.1007/978-3-319-21275-3谷歌学者谷歌学者
  9. 特里斯坦·丹利和吴海东。2001.狄拉克定理的推广。J.组合理论系列。B 82,2(2001),322--326。谷歌学者谷歌学者数字图书馆数字图书馆
  10. E.W.迪克斯特拉。1959.关于与图有关的两个问题的注记。数字。数学。1 (1959), 269--271.谷歌学者谷歌学者数字图书馆数字图书馆
  11. Michael Dinitz和Guy Kortsarz。2014.正规和可分解拟阵秘书处。SIAM J.计算。43, 5 (2014), 1807--1830. 内政部:https://doi.org/10.1137/13094030X谷歌学者谷歌学者交叉引用交叉引用
  12. Irit Dinur。2016年,从缺口3SAT到多项式gap标签覆盖略有指数下降。选举人。集体计算。复杂。23 (2016), 128.谷歌学者谷歌学者
  13. 加布里埃尔·安德鲁·狄拉克。1960年,在禁酒的Graphen vorhandene vollständige 4-Graphen und ihre Unterteilungen。数学。纳克里斯。22 (1960), 61--85.谷歌学者谷歌学者交叉引用交叉引用
  14. 罗德尼·G·唐尼(Rodney G.Downey)和迈克尔·R·费罗斯(Michael R.Fellows)。2013.参数化复杂性基础。斯普林格。内政部:https://doi.org/10.1007/978-1-4471-5559-1谷歌学者谷歌学者数字图书馆数字图书馆
  15. 罗德尼·G·唐尼(Rodney G.Downey)、迈克尔·R·费罗斯(Michael R.Fellows)、亚历山大·瓦迪(Alexander Vardy)和杰夫·惠特尔(Geoff Whittle)。1999.编码理论中一些基本问题的参数化复杂性。SIAM J.计算。29, 2 (1999), 545--570. 内政部:https://doi.org/10.1137/S0097539797323571谷歌学者谷歌学者数字图书馆数字图书馆
  16. 赫伯特·弗利什纳(Herbert Fleischner)和格哈德·沃金格(Gerhard J.Woeginger)。1992.通过图中的三个固定顶点检测循环。通知。过程。莱特。42, 1 (1992), 29--33. 内政部:https://doi.org/10.1016/0020-0190(92)90128-I号谷歌学者谷歌学者数字图书馆数字图书馆
  17. Tomás Gavenciak、Daniel Král和Sang-il Oum。2012.确定拟阵的一阶性质。第39届国际自动化、语言和编程学术讨论会(ICALP’12)论文集,计算机科学讲义,第7392卷。施普林格,239--250。谷歌学者谷歌学者
  18. 吉姆·吉伦(Jim Geelen)、伯特·杰拉德(Bert Gerards)和杰夫·惠特尔(Geoff Whittle)。2014.解决罗塔的猜想。不是。美国数学。Soc.61,7(2014),736--743。内政部:https://doi.org/10.1090/noti1139谷歌学者谷歌学者交叉引用交叉引用
  19. 川崎敬一(Ken-ichi Kawarabayashi)。2002.一个或两个不相交的电路覆盖独立边:Lovász-woodall猜想。J.库姆。理论,Ser。B 84,1(2002),1--44。内政部:https://doi.org/10.1006/jctb.2001.2059谷歌学者谷歌学者数字图书馆数字图书馆
  20. 川崎敬一(Ken-ichi Kawarabayashi)。2008.通过元素查找循环的改进算法。《第13届整数规划与组合优化国际会议论文集》(IPCO'08),《计算机科学讲义》,第5035卷。施普林格,374--384。谷歌学者谷歌学者
  21. Ken-ichi Kawarabayashi和Mikkel Thorup。2011。有界尺寸的最小k向切割是固定参数可处理的。第52届计算机科学基础年会(FOCS’11)会议记录。IEEE计算机学会,160-169。谷歌学者谷歌学者
  22. 安德烈亚·拉帕(Andrea S.LaPaugh)和罗纳德·里维斯特(Ronald L.Rivest)。子图同胚问题。J.计算。系统。科学。20, 2 (1980), 133--149. 内政部:https://doi.org/10.1016/0022-0000(80)90057-4谷歌学者谷歌学者交叉引用交叉引用
  23. Daniel Lokshtanov、N.S.Narayanaswamy、Venkatesh Raman、M.S.Ramanujan和Saket Saurabh,2014年。使用线性规划的更快的参数化算法。ACM事务处理。阿尔戈。11, 2 (2014), 15:1--15:31.谷歌学者谷歌学者
  24. 帕辛·马努兰西(Pasin Manurangsi)和普拉萨德·拉加文德拉(Prasad Raghavendra)。2017.生日重复定理和近似稠密CSP的复杂性。第44届自动机、语言和程序设计国际学术讨论会论文集(ICALP 2017),第80卷。达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨-泽特鲁姆富尔信息宫(Leibniz-Zentrum fuer Informatik),78:1-78:15。内政部:https://doi.org/10.4230/LIPIcs.ICALP.2017.78谷歌学者谷歌学者
  25. 肖恩·麦吉尼斯。拟阵的Ore型和Dirac型定理。J.组合理论系列。B 99,6(2009),827--842。谷歌学者谷歌学者数字图书馆数字图书馆
  26. 莫尼·纳尔(Moni Naor)、伦纳德·舒尔曼(Leonard J.Schulman)和阿拉文德·斯里尼瓦桑(Aravind Srinivasan)。1995.分裂器和近最优去最小化。第36届计算机科学基础年会(FOCS’95)会议记录。IEEE,182--191。谷歌学者谷歌学者数字图书馆数字图书馆
  27. 詹姆斯·奥克斯利。1992.拟阵理论。牛津大学出版社。谷歌学者谷歌学者
  28. 詹姆斯·奥克斯利。1997.Dirac结果的拟阵推广。组合数学17,2(1997),267--273。内政部:https://doi.org/10.1007/BF01200909谷歌学者谷歌学者交叉引用交叉引用
  29. 尼尔·罗伯逊和保罗·D·西摩。1995年,给未成年人画图。十三、。不相交路径问题。J.组合理论系列。B 63,1(1995),65-110。谷歌学者谷歌学者数字图书馆数字图书馆
  30. 保罗·D·西摩。1980。正则拟阵的分解。J.库姆。理论Ser。B 28,3(1980),305-359。内政部:https://doi.org/10.1016/0095-8956(80)90075-1谷歌学者谷歌学者交叉引用交叉引用
  31. 保罗·D·西摩。1981.识别图形拟阵。组合数学1,1(1981),75-78。内政部:https://doi.org/10.1007/BF02579179谷歌学者谷歌学者交叉引用交叉引用
  32. P.D.西摩。1986.拟阵电路中的三元组。《欧洲期刊》Combin.7,2(1986),177--185。内政部:https://doi.org/10.1016/S0195-6698(86)80044-0谷歌学者谷歌学者数字图书馆数字图书馆
  33. 克劳斯·特鲁皇帝。1992.拟阵分解。学术出版社。谷歌学者谷歌学者
  34. 亚历山大·瓦迪。1997.编码理论中的算法复杂性和最小距离问题。第29届ACM计算机理论研讨会(STOC'97)会议记录。美国医学会,92-109。谷歌学者谷歌学者数字图书馆数字图书馆
  35. 哈斯勒·惠特尼。1935.关于线性相关的抽象性质。美国数学杂志。57, 3 (1935), 509--533. 内政部:https://doi.org/10.2307/2371182谷歌学者谷歌学者交叉引用交叉引用

索引术语

  1. 正则拟阵中的跨圈

      建议

      评论

      登录选项

      检查您是否可以通过登录凭据或您的机构访问本文。

      登录

      完全访问权限

      • 发布于

        封面图像ACM算法事务
        ACM算法汇刊 第15卷第4期
        2019年10月
        297页
        国际标准编号:1549-6325
        EISSN公司:1549-6333
        内政部:10.1145/3351875
        期刊目录

        版权所有©2019 ACM

        如果复制品不是为了盈利或商业利益而制作或分发的,并且复制品的第一页载有本通知和完整引文,则允许免费制作本作品的全部或部分数字或硬拷贝以供个人或课堂使用。必须尊重ACM以外的其他人对本作品组成部分的版权。允许赊账提取。要以其他方式复制或重新发布,在服务器上发布或重新发布到列表,需要事先获得特定许可和/或付费。从请求权限[电子邮件保护]

        出版商

        计算机协会

        美国纽约州纽约市

        出版历史

        • 出版:2019年10月4日
        • 认可的:2019年7月1日
        • 修订过的:2018年10月1日
        • 收到:2017年2月1日
        发布于滑石第15卷第4期

        权限

        请求有关此文章的权限。

        请求权限

        检查更新

        限定符

        • 研究论文
        • 研究
        • 推荐

      PDF格式

      以PDF文件的形式查看或下载。

      PDF格式

      电子阅读器

      使用eReader联机查看。

      电子阅读器

      HTML格式

      以HTML格式查看本文。

      查看HTML格式