×
格雷戈里·古汀;托·克鲁克斯;Lee，Chuan Min李传民;Yeo，安德斯

平面有向图中的核。 （英语） Zbl 1170.68547号

J.计算。系统。科学。 71，第2期，174-184（2005）.
摘要：有向图（D=（V，A）中的一组顶点是一个核，如果（S\）是独立的，并且（V\set减去S\）中的每个顶点在（S\。我们证明了存在（O（n2^{19.1\sqrt{k}}+n^4）-时间和（O（k^{36}+2^{19.1\sqrt{k}}k^9+n^2）-时间算法来检查（n）级平面有向图是否有至多个顶点的核。此外，如果（D）的核的大小最多为（k），则算法会找到这样一个最小的核。

引用于7文件

MSC公司：

68兰特 计算机科学中的图论（包括图形绘制）
05C69号 具有特殊属性的顶点子集（支配集、独立集、团等）
05C85号 图形算法（图形理论方面）
65年第68季度 算法和问题复杂性分析

关键词：

内核;平面有向图;固定参数复杂性
PDF格式BibTeX公司 XML格式引用
\textit{G.Gutin}等人，《计算杂志》。系统。科学。71，第2号，174--184（2005；Zbl 1170.68547）
全文： 内政部

参考文献：

[1] Alber，J。；Bodlaender，H.L。；Fernau，H。；Kloks，T。；Niedermeier，R.，平面图上支配集和相关问题的固定参数算法，算法，33461-493（2002）·Zbl 1016.68055号
[2] J.Alber，H.Fan，M.R.Fellows，H.Fernau，R.Niedermeier，F.Rosamond，U.Stege，平面图上支配集的精细搜索树技术。J.计算。系统科学。，出版时，doi:10.1016/j.jcss.2004.03.007；J.Alber，H.Fan，M.R.Fellows，H.Fernau，R.Niedermeier，F.Rosamond，U.Stege，平面图上支配集的精细搜索树技术。J.计算。系统科学。，出版中，doi:10.1016/j.jcss.2004.03.007·Zbl 0999.68158号
[3] J.Alber，M.R.Fellows，R.Niedermeier，支配集多项式时间数据简化，J.Assoc.Compute。数学。，出现。；J.Alber，M.R.Fellows，R.Niedermeier，支配集多项式时间数据简化，J.Assoc.Compute。数学。，出现·Zbl 1192.68337号
[4] 班德利尔，C。；Le Bars，J.-M。；Ravelomana，V.，有向图核的生成函数，（第十六届形式幂级数和代数组合学国际年会论文集（2004）），91-105
[5] Bang Jensen，J。；郭毅。；Gutin，G。；Volkmann，L.，局部半完全有向图的分类，离散数学。，167/168, 101-114 (1997) ·Zbl 0873.05072号
[6] Bang-Jensen，J。；Gutin，G.，有向图：理论、算法和应用（2000），Springer:Springer London
[7] 伯杰，C。；Duchet，P.，有向图中核的最新问题和结果，离散数学。，86, 27-31 (1990) ·Zbl 0721.05027号
[8] Bodlaender，H.，查找小树宽的树分解的线性时间算法，SIAM J.Compute。，25, 1305-1317 (1996) ·Zbl 0864.68074号
[9] 蔡，L。；陈，J。；唐尼，R。；Fellows，M.，《参数化可操纵性建议课程》，Ann.Pure Appl。逻辑，84，119-138（1997）·Zbl 0873.68071号
[10] 蔡，L。；Juedes，D.W.，《关于次指数时间参数化算法的存在性》，J.Compute。系统科学。，67, 789-807 (2003) ·Zbl 1091.68121号
[11] 唐尼，R.G。；Fellows，M.R.，参数化计算可行性，（Clote，P.；Remmel，J.B.，《可行性数学学报II》（1995），Birkhauser:Birkhause Basel），219-244·Zbl 0834.68046号
[12] 唐尼，R.G。；Fellows，M.R.，参数化复杂性，计算机科学专著（1999），Springer:Springer Berlin·Zbl 0914.68076号
[13] R.G.Downey，M.R.Fellows，U.Stege，《参数化复杂性：系统地应对计算难处理性的框架》，收录于：R.Graham，J.Kratochvíl，J.Nešetřil，F.Roberts（编辑），《离散数学的当代趋势》；DIMACS-DIMATIA研讨会论文集，布拉格，1997年；AMS-DIMACS系列。离散数学。理论。计算。科学。，第49卷，1999年，第49-99页。；R.G.Downey，M.R.Fellows，U.Stege，《参数化复杂性：系统地应对计算难处理性的框架》，收录于：R.Graham，J.Kratochvíl，J.Nešetřil，F.Roberts（编辑），《离散数学的当代趋势》；DIMACS-DIMATIA研讨会论文集，布拉格，1997年；AMS-DIMACS系列。复述数学。理论。计算。科学。，第49卷，1999年，第49-99页·Zbl 0935.68046号
[14] M.Fellows，私人通信，2001年。；M.Fellows，私人通信，2001年。
[15] H.Fernau，D.Juedes，平面图控制问题参数化算法的几何方法。诉讼程序。第29届计算机科学数学基础国际研讨会，计算机科学讲稿，第3153卷，施普林格，柏林，2004年，第488-499页。；H.Fernau，D.Juedes，平面图控制问题参数化算法的几何方法。诉讼程序。第29届计算机科学数学基础国际研讨会，计算机科学讲稿，第3153卷，施普林格，柏林，2004年，第488-499页·兹比尔1096.68167
[16] Fraenkel，A.S.，平面核和Grundy with \（d\leqsleat 3，d\leq sleat 2，d\。数学。，3, 257-262 (1981) ·Zbl 0493.68040号
[17] Fraenkel，A.S.，应用于有向图核的组合博弈理论基础，电子。J.Combina.，4，17（1997）·兹比尔0884.05045
[18] Fomin，F.V。；Thilikos，D.T.，平面图中的支配集：分支宽度和指数加速，（第14届ACM-SIAM SODA会议论文集（2003）），168-177·Zbl 1094.68610号
[19] Garey，M.R。；Johnson，D.S.，《计算机与难治性》（1979），W.H.Freeman and Co.：W.H.Freeman&Co.旧金山·Zbl 0411.68039号
[20] I.A.Kanj，L.Perkovic，平面支配集的改进参数化算法，载于：2002年第27届MFCS会议录，计算机科学讲稿，第2420卷，Springer，柏林，2002年，第399-410页。；I.A.Kanj，L.Perkovic，平面支配集的改进参数化算法，载于：2002年第27届MFCS会议录，计算机科学讲稿，第2420卷，柏林斯普林格，2002年，第399-410页·Zbl 1014.68218号
[21] T.Kloks，《树宽-计算和近似》，《计算机科学讲义》，第842卷，施普林格出版社，柏林，1994年。；T.Kloks，《树宽-计算和近似》，《计算机科学讲义》，第842卷，施普林格出版社，柏林，1994年·Zbl 0825.68144号
[22] 库马尔，R。；Raghavan，P。；拉贾戈帕兰，S。；Sivakumar，D。；Tomkins，A.S。；Upfal，E.，网络作为一个图形，（第19届ACM SIGACT-SIGMOD-AIGART数据库系统原理研讨会论文集，PODS（2000）），1-10
[23] Kwa shi nik，M.，《理查森定理的推广》，讨论。数学。，4, 11-14 (1981) ·Zbl 0509.05048号
[24] Le Bars，J.-M.，存在主义二阶逻辑片段0-1定律的实例：概述，布尔。符号逻辑，967-82（2000）·Zbl 0958.03022号
[25] Le Bars，J.-M.，命题模态逻辑的框架可满足性的0-1定律失败，（第17届计算机科学逻辑研讨会论文集（2002）），225-234
[26] J.van Leeuwen，编号粗暴是NP完成，报告207，宾夕法尼亚州立大学计算机科学系，宾夕法尼亚大学公园，1976年。；J.van Leeuwen，编号粗暴是NP完成，报告207，宾夕法尼亚州立大学计算机科学系，宾夕法尼亚大学公园，1976年。
[27] 冯·诺依曼，J。；Morgenstern，O.，《博弈论与经济行为》（1944），普林斯顿大学出版社：普林斯顿大学出版，新泽西州普林斯顿·兹比尔0063.05930
[28] 罗伯逊，N。；Seymour，P.D.，《图形未成年人》，X：树分解的障碍，组合理论。序列号。B、 52、153-190（1991）·Zbl 0764.05069号
[29] 西摩，P.D。；Thomas，R.，《呼叫路由和捕鼠器》，Combinatorica，14，217-241（1994）·Zbl 0799.05057号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。