×
罗伯特·哈斯;迈克尔·霍夫曼

通过三个顶点的无弦路径。 （英语） 兹比尔1086.68102

西奥。计算。科学。 351，第3期，360-371（2006）.
摘要：考虑以下问题，我们称之为“通过三个顶点的无弦路径”或简称CP3V：给定一个简单的无向图（G=（V，E）、一个正整数（k\）和三个不同的顶点（s）、（t）和（V中的V），是否存在从\（s）经由\（V\）到\（G\）中的\（t）的最长无弦路径？在无弦路径中，没有两个顶点由路径中不存在的边连接。或者，可以说由\（G\）中路径的顶点集诱导的子图就是路径本身。这个问题是在通信网络服务部署的背景下出现的。通过证明CP3V相对于其自然参数（k）的（W）[1]完备，我们解决了CP3V的参数复杂性。我们的简化扩展到了一些有关无弦路径和循环的相关问题。特别地，决定有向图中是否存在单有向无弦路径对于路径的长度来说也是（W[1]）完备的。

引用于1审查
引用于15文件

理学硕士：

68兰特 计算机科学中的图论（包括图形绘制）
05C38号 路径和循环
65年第68季度 算法和问题复杂性分析

关键词：

图论;诱导路径;参数复杂性
PDF格式BibTeX公司 XML格式引用
\textit{R.Haas}和\textit{M.Hoffmann}，Theor。计算。科学。351，第3号，360-371（2006；Zbl 1086.68102）
全文： 内政部

参考文献：

[1] C.Bazgan，Schémas d’Approximation et ComplexitéParamétrée e，Rapport du stage（DEA），南巴黎大学，1995年。；C.Bazgan，Schémas d’Approximation et ComplexitéParamétrée e，Rapport du stage（DEA），南巴黎大学，1995年。
[2] C.Berge，Färbung von Graphen deren sämtliche beziehungsweise deren ungerade Kreise starr sind（Zusammenfassung），威斯康星州。Z.马丁·路德大学Halle Wittenberg数学。大自然。瑞荷114-115。；C.Berge，Färbung von Graphen deren sämtliche beziehungsweise deren ungerade Kreise starr sind（Zusammenfassung），威斯康星州。Z.马丁·路德大学Halle Wittenberg数学。大自然。赖赫114-115。
[3] Bienstock，D.，《关于测试奇数洞和诱导奇数路径的复杂性》，《离散数学》。，90, 1, 85-92 (1991) ·Zbl 0753.05046号
[4] Bienstock，D.，“勘误表：测试奇数洞和诱导奇数路径的复杂性”，《离散数学》。，102, 1, 109 (1992) ·Zbl 0760.05080号
[5] 蔡，L。；陈，J。；唐尼，R.G。；Fellows，M.R.，《关于短计算和因子分解的参数化复杂性》，Arch。数学。逻辑，36，4-5，321-337（1997）·Zbl 0944.68069号
[6] Cesati，M.，完美代码是（W[1]）-完成，通知。过程。莱特。，81, 3, 163-168 (2002) ·Zbl 1032.68085号
[7] Cesati，M.，《参数化复杂性的图灵方法》，J.Compute。系统。科学。，67, 4, 654-685 (2003) ·Zbl 1114.68045号
[8] 塞萨蒂，M。；Trevisan，L.，关于多项式时间近似方案的效率，Inform。过程。莱特。，64, 4, 165-171 (1997) ·Zbl 1337.68125号
[9] M.Chudnovsky，N.Robertson，P.D.Seymour，R.Thomas，强完美图定理，手稿，2003。；M.Chudnovsky，N.Robertson，P.D.Seymour，R.Thomas，《强完美图定理》，手稿，2003年·Zbl 1112.05042号
[10] M.Chudnovsky，P.D.Seymour，《识别Berge图》，手稿，2003年。；M.Chudnovsky，P.D.Seymour，《识别Berge图形》，手稿，2003年。
[11] G.Cornuéjols，X.Liu，K.Vušković，识别完美图的多项式算法，in：Proc。第44年。IEEE交响乐。计算机科学基金会，2003年，第20-27页。；G.Cornuéjols，X.Liu，K.Vušković，识别完美图的多项式算法，in：Proc。第44年。IEEE交响乐。计算机科学基金会，2003年，第20-27页。
[12] 唐尼，R.G。；Fellows，M.R.，固定参数可处理性和完备性II：关于\（W[1]\）的完备性，定理。计算。科学。，141, 109-131 (1995) ·Zbl 0873.68059号
[13] 唐尼，R.G。；研究员，M.R.，参数化复杂性，计算机科学专著（1999），施普林格：施普林格柏林·兹伯利0914.68076
[14] R.G.Downey，M.R.Fellows，B.Kapron，M.T.Hallett，H.Todd Wareham，《参数化复杂性与逻辑和语言学中的一些问题》，摘自：Proc。逻辑程序设计中的结构复杂性和递归理论方法第二次研讨会，计算机科学讲义，第813卷，施普林格，柏林，1994年，第89-101页。；R.G.Downey，M.R.Fellows，B.Kapron，M.T.Hallett，H.Todd Wareham，《参数化复杂性与逻辑和语言学中的一些问题》，摘自：Proc。逻辑程序设计中的结构复杂性和递归理论方法第二次研讨会，计算机科学讲义，第813卷，施普林格，柏林，1994年，第89-101页·Zbl 0946.03046号
[15] M.R.Fellows，《罗伯逊-西摩定理：应用调查》，见：B.Richter（Ed.），Proc。AMS-IMS-SIAM联合夏季研究会议，当代数学，第89卷，美国数学学会，普罗维登斯，RI，1989年，第1-18页。；M.R.Fellows，《罗伯逊-西摩定理：应用调查》，见：B.Richter（Ed.），Proc。AMS-IMS-SIAM联合夏季研究会议，当代数学，第89卷，美国数学学会，普罗维登斯，RI，1989年，第1-18页·兹比尔0692.68030
[16] 研究员，M.R。；Kratochvíl，J。；米登多夫，M。；Pfeiffer，F.，诱导未成年人的复杂性和相关问题，算法，13266-282（1995）·Zbl 0816.68070号
[17] 福特，L.R。；Fulkerson，D.R.，通过网络的最大流量，加拿大。数学杂志。，8, 399-404 (1956) ·Zbl 0073.40203号
[18] 财富，S。；霍普克罗夫特，J.E。；Wyllie，J.，有向子图同胚问题，Theoret。计算。科学。，10, 111-121 (1980) ·Zbl 0419.05028号
[19] Garey，M.R。；Johnson，D.S.，《计算机与难处理性：NP-完备性理论指南》（1979），弗里曼：纽约州弗里曼·Zbl 0411.68039号
[20] R.Haas，《可编程网络中的服务部署》，博士论文，苏黎世ETH，瑞士，2003年。；R.Haas，可编程网络中的服务部署，博士论文，瑞士苏黎世ETH，2003年·Zbl 1049.68019号
[21] Karp，R.M.，《关于组合问题的复杂性》，《网络》，第5期，第45-68页（1975年）·Zbl 0324.05003号
[22] Lueker，G.S。；Rose，D.J。；Tarjan，R.E.，图中顶点消除的算法方面，SIAM J.Compute。，5, 266-283 (1976) ·Zbl 0353.65019号
[23] C.McDiarmid，B.Reed，A.Schrijver，B.Shepherd，《无干扰网络流》，载于：Proc。第三次扫描。《车间算法理论》，1992年，第245-257页。；C.McDiarmid、B.Reed、A.Schrijver、B.Shepherd，《非干涉网络流》，摘自：Proc。第三次扫描。《算法理论研讨会》，1992年，第245-257页·Zbl 1502.90034号
[24] McDiarmid，C。；里德，B。；Schrijver，A。；Shepherd，B.，平面图中的诱导电路，J.组合理论。B、 60、169-176（1994）·Zbl 0794.05121号
[25] R.Niedermeier，固定参数算法邀请函，习惯化论文，Wilhelm-schicard Institute füR Informatik，德国杜宾根大学，2002年。；R.Niedermeier，固定参数算法邀请函，习惯化论文，Wilhelm-schicard Institute füR Informatik，德国杜宾根大学，2002年·兹比尔1095.68038
[26] S.D.Nikolopoulos，L.Palios，《图形中的孔和反孔检测》，摘自：Proc。第15届ACM-SIAM交响乐团。《离散算法》，2004年，第843-852页。；S.D.Nikolopoulos，L.Palios，《图形中的孔和反孔检测》，摘自：Proc。第15届ACM-SIAM交响乐团。《离散算法》，2004年，第843-852页·Zbl 1318.05081号
[27] 罗伯逊，N。；西摩，P.D.，图未成年人XIII。不相交路径问题，J.Combin.Theory Ser。B、 63、65-110（1995）·Zbl 0823.05038号
[28] Tarjan，R.E。；Yannakakis，M.，测试图的弦性、测试超图的非循环性和选择性地减少非循环超图的简单线性时间算法，SIAM J.Compute。，13, 566-579 (1984) ·Zbl 0545.68062号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。