×

有向图的子图和串并联宽度。 (英语) Zbl 1512.05368号

Potapov,Igor(编辑)等人,第43届计算机科学数学基础国际研讨会。2018年8月27日至31日,英国利物浦,MFCS 2018。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。117,第44条,第14页(2018年)。
摘要:图子图是理解无向图结构的主要工具,具有许多概念和算法含义。通过修改熟悉的定义,我们提出了有向图子项和有向图嵌入的新变体。对于终端有向无环图类(TDAG),我们的两个定义是一致的,并且该类在这两个操作下是封闭的。通过对所有串并联宽度最大为\(k)的TDAG进行表征,证明了我们的定向次要运算的有用性;在非原子路由博弈中保证有界负外部性的一类网络。我们的特征表明,TDAG的串并联宽度为1当且仅当它是有向串并联图。我们还研究了求有向子带和计算串并联宽度的计算复杂性。
关于整个系列,请参见[Zbl 1402.68023号]。

理学硕士:

05C83号 图形子对象
05C20号 有向图(有向图),锦标赛
05C75号 图族的结构特征
65年第68季度 算法和问题复杂性分析

软件:

图规划
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] I.Ashlagi、D.Monderer和M.Tennenholtz。带有未知活跃玩家的双终端路由游戏。人工智能,173(15):1441-14552009·Zbl 1195.91014号
[2] M.Babaioff、R.Kleinberg和C.Papadimitriou。恶意玩家的拥塞游戏。在EC中,第103-112页。ACM,2007年·Zbl 1173.91301号
[3] A.Blum和M.Furst。通过规划图分析快速规划。人工智能,90(1-2):281-3001997·Zbl 1017.68533号
[4] C.Chang和J.Slagle。搜索and/OR图的一种允许的优化算法。人工智能,2(2):117-1281971·Zbl 0227.68016号
[5] B.Codenotti和M.Leoncini。线性系统解的并行复杂性。《世界科学》,1991年。44:13 ·Zbl 0697.65011号
[6] D.Cohen、M.Cooper、P.Jeavons和S.Zivny。由排除的拓扑子类定义的二进制csp的可牵引类。IJCAI,第1945-1951页,2015年。
[7] G.库珀。使用贝叶斯信念网络进行概率推理的计算复杂性。人工智能,42(2-3):393-4051990·Zbl 0717.68080号
[8] E.Demaine、M.Hajiaghayi和K.Kawarabayashi。算法图次要理论:分解、近似和着色。FOCS,第637-646页。IEEE,2005年。
[9] R.J Duffin。串并联网络的拓扑。数学分析与应用杂志,10(2):303-3181965·Zbl 0128.37002号
[10] D.爱普斯坦。串-平行图的并行识别。信息和组件。,98(1):41-55, 1992. ·Zbl 0754.68056号
[11] A.Epstein、M.Feldman和Y.Mansour。网络路由游戏中的高效图拓扑。游戏与经济行为,66(1):115-1252009·Zbl 1161.91332号
[12] 《财富》、《霍普克罗夫特》和《威利》。有向子图同胚问题。TCS:理论计算机科学,1980年10月·Zbl 0419.05028号
[13] V.Gogate和R.Dechter。一个完整的任意树宽算法。UAI,第201-208页,2004年。
[14] R.Holzman和N.Law-Yone。路径选择博弈中的网络结构和强均衡。数学社会科学,46(2):193-2052003·Zbl 1064.91026号
[15] E.Horvitz、J.Breese和M.Henrion。专家系统和人工智能中的决策理论。国际近似推理杂志,2(3):247-3021988。
[16] A.Jakoby、M.Li sh kiewicz和R.Reischuk。有向序列平行图的空间效率算法。算法杂志,60(2):85-1142006·Zbl 1100.68080号
[17] T.Johnson、N.Robertson、P.Seymour和R.Thomas。定向树宽度。组合理论杂志,B辑,82(1):138-1542001·Zbl 1027.05045号
[18] T.Johnson、N.Robertson、P.Seymour和R.Thomas。在平面有向图中排除次网格。arXiv:1510.004732015年。
[19] K.Kawarabayashi和S.Kreutzer。关于有向图的图小定理。在ICALP中,第3-10页。斯普林格,2015年·Zbl 1448.05189号
[20] S.Kintali和Q.Zhang。禁止定向未成年人和方钻杆宽度。arXiv:1308.51702013年·Zbl 1357.05142号
[21] J.Kleinberg和S.Oren。时间一致性计划:行为经济学中的一个计算问题。在EC中,第547-564页。ACM,2014年。
[22] S.Kreutzer公司。无冠类的有向图。在《算法百科全书》中,第1416-1419页。斯普林格,2016年。
[23] 卡西米尔·库拉托夫斯基。地形学中的课程问题。数学基础,15(1):271-2831930。
[24] 迈克尔·兰皮斯(Michael Lampis)、佐治亚州考乌里(Georgia Kaouri)和瓦利亚·米特苏(Valia Mitsou)。关于有向图分解和复杂性度量的算法有效性。离散优化,8(1):129-1382011。离散优化的参数化复杂性。doi:10.1016/j.disopt。2010年。2010年3月·Zbl 1248.90073号 ·doi:10.1016/j.disopt.2010.03.010
[25] 拉兹洛瓦兹。图形次要理论。美国数学学会公报,43(1):75-862006·Zbl 1082.05082号
[26] A.麦克沃思。关系网络的一致性。在AI阅读中,第69-78页。Tioga出版社。上校,1981年。
[27] K.米尔。与永久数计算相关的有向图的扩展树宽概念。计算机科学理论与应用,第247-260页,2011年·Zbl 1332.68086号
[28] R.Meir和D.Parkes。玩错了游戏:在不同的代理人群体中限制负外部性。2018年AAMAS会议。出现。
[29] 一、密歇根。网络拓扑与均衡效率。GEB,57:321-3462006年·Zbl 1154.91360号
[30] E.Nikolova和N.Stier-Moses。平均风险自私路线中的风险规避负担。EC,第489-506页,2015年。
[31] 伊拉·波尔。启发式搜索被视为图中的路径查找。人工智能,1(3-4):193-2041970·Zbl 0206.22603号
[32] N.Robertson和P.Seymour。图形子对象。二、。树宽的算法方面。算法杂志,7(3):309-3221986·Zbl 0611.05017号
[33] N.Robertson和P.Seymour。图形子对象。xx。瓦格纳猜想。《共生理论杂志》,B辑,92(2):325-3572004·兹比尔1061.05088
[34] M.罗兰、A.帕奇亚诺和A.威勒。高阶lp松弛的紧度超过树宽的条件。《人工智能与统计》,2017年第10-18页。
[35] M.Safari。D宽度:一种更自然的定向树宽度测量方法。在MFCS中,第745-756页。斯普林格,2005年·Zbl 1156.05304号
[36] C.香农。双端开关电路的综合。贝尔实验室技术期刊,28(1):59-981949。
[37] K.Takamizawa、T.Nishizeki和N.Saito。串联图上组合问题的线性时间可计算性。JACM,29(3):623-6411982年·Zbl 0485.68055号
[38] P.Tang、Y.Teng、Z.Wang、S.Xiao和Y.Xu。时间不一致规划中的计算问题。AAAI,第3665-3671页,2017年。
[39] J.维根。一些边不相交路径问题的NP-完全性。离散应用数学,61(1):83-901995·Zbl 0831.68078号
[40] K·瓦格纳。尤伯·埃因·埃比恩·科普勒的本征学院。《数学年鉴》,114(1):570-5901937年·Zbl 0017.19005号
[41] Z.Wang、J.Zhang、J.Feng和Z.Chen。基于超平面平移的知识图嵌入。AAAI,第1112-1119页,2014年。
[42] :13
[43] :14
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。