Abu-Khzam，费萨尔N。;亨宁费尔瑙;凯文·曼恩 最小罗马支配函数：扩展和枚举。 （英语） Zbl 07682397号 Bekos，Michael A.（编辑）等人，《计算机科学中的图论概念》。第48届国际研讨会，2022年6月22日至24日，德国图宾根，WG 2022。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。13453, 1-15 (2022). 摘要：罗马统治是统治的众多变体之一，保留了古典统治问题的大部分复杂性特征。我们证明了罗马统治在列举和扩展两个方面表现不同。我们发展了具有多项式延迟和多项式空间的最小罗马支配函数的非平凡枚举算法。回想一下，对于最小支配集，类似的枚举结果的存在已经有几十年了。我们的结果基于多项式时间算法扩展罗马统治：给定一个图（G=（V，E）和一个函数（f:V\rightarrow\{0,1,2\}），是否存在一个带（f\le\tilde{f}）的最小罗马支配函数（\tile{f}\）？这里，\（\le\）逐点提升\（0<1<2）；最小性是按这个顺序理解的。我们的枚举算法也从输入敏感的角度进行了分析，得到了n阶图的运行时估计（mathcal{O}（1.9332^n））；这由\（\varOmega（1.7441^n）\）的下限示例补充。关于整个系列，请参见[Zbl 1509.68008号]. 理学硕士： 68兰特 计算机科学中的图论（包括图形绘制） 关键词：罗马统治;扩展问题;枚举 PDF格式BibTeX公司 XML格式引用 \textit{F.N.Abu-Khzam}等人，Lect。注释计算。科学。13453，1-15（2022；兹bl 07682397） 全文： 内政部 arXiv公司 参考文献： [1] 阿布·科扎姆（Abu-Khzam），新军；巴兹甘，C。；肖邦，M。；Fernau，H.，《改进近似算法的数据约简和组合界限》，J.Compute。系统。科学。，82, 3, 503-520 (2016) ·Zbl 1333.68290号 ·doi:10.1016/j.jcss.2015.11.010 [2] 阿布·科扎姆（Abu-Khzam），新军；Heggenes，P.，《弦图中最小支配集的枚举》，Inf.Process。莱特。，116, 12, 739-743 (2016) ·Zbl 1371.05127号 ·doi:10.1016/j.ipl.2016.07.002 [3] 巴兹根，C.，《上层统治的多方面》，理论。计算。科学。，717, 2-25 (2018) ·Zbl 1388.68099号 ·doi:10.1016/j.tcs.2017.05.042 [4] Benecke，S.：图的高阶支配。南非斯特莱博斯大学应用数学系硕士论文（2004年）。http://dip.sun.ac.za/vuuren/论文/贝内克.pdf [5] 南卡罗来纳州百慕大。；Fernau，H.，《计算图的微分：硬度、近似性和精确算法》，Discret。申请。数学。，165, 69-82 (2014) ·Zbl 1288.05262号 ·doi:10.1016/j.dam.2012.11.013 [6] 南卡罗来纳州百慕大。；Fernau，H.，《较小核的组合数学：图的微分》，Theoret。计算。科学。，562, 330-345 (2015) ·Zbl 1305.05216号 ·doi:10.1016/j.tcs.2014.01.007 [7] 南卡罗来纳州百慕大。；Fernau，H。；Sigareta，JM，图的微分和罗马控制数，Appl。分析。谨慎。数学。，8, 155-171 (2014) ·Zbl 1464.05280号 ·doi:10.2298/AADM140210003B [8] Bläsius，T.、Friedrich，T.，Lischeid，J.、Meeks，K.、Schirneck，M.：高效枚举数据分析中出现的超图的命中集。摘自：算法工程与实验（ALENEX），第130-143页。SIAM（2019年）·Zbl 1430.68178号 [9] Bonamy，M.、Defrain，O.、Heinrich，M.和Raymond，J.F.：枚举无三角图中的最小支配集。摘自：Niedermeier，R.，Paul，C.（编辑）第36届计算机科学理论方面国际研讨会（STACS 2019）。LIPIcs，第126卷，第16:1-6:12页。达格斯图尔宫（Schloss Dagstuhl）-莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）（2019年）·兹伯利07559125 [10] Boros，E。；古尔维奇，V。；Hammer，PL，正布尔函数的对偶次蕴涵，Optim。方法软件。，10, 2, 147-156 (1998) ·Zbl 0972.90048号 ·数字对象标识代码：10.1080/10556789808805708 [11] 卡塞尔，K。；Fernau，H。；Khosravian Ghadikolaei，M。；莫诺，J。；西科拉，F。；路易斯安那州Gąsieniec；Jansson，J。；Levcopoulos，C.，一些边图问题的扩展：标准和参数化复杂性，计算理论基础，185-200（2019），Cham:Springer，Cham·Zbl 1441.68170号 ·doi:10.1007/978-3-030-25027-0_13 [12] Fernau，H。；KT Huber；Naor，JS；Calamoneri，T。；Coró，F.，受邀演讲，算法和复杂性，3-19（2021），Cham:Springer，Cham·Zbl 07667118号 ·doi:10.1007/978-3-030-75242-2_1 [13] 卡塞尔，K。；Fernau，H。；Ghadikolaei，MK；莫诺，J。；Sikora，F.，关于优化问题解扩展的复杂性，Theoret。计算。科学。，904, 48-65 (2022) ·兹比尔1533.68217 ·doi:10.1016/j.tcs2021.017 [14] 钱伯斯，EW；Kinnersley，B。；普林斯，N。；韦斯特，DB，《罗马统治的极端问题》，SIAM J.Discret。数学。，23, 1575-1586 (2009) ·Zbl 1207.05135号 ·数字对象标识代码：10.1137/070699688 [15] 沙佩尔，M。；Cochefert，M。；服装设计师，J-F；Kratsch，D。；利德洛夫，M。；佩雷斯，A。；勒克罗克，T。；Mouchard，L.，《弱罗马统治的精确算法》，组合算法，81-93（2013），海德堡：施普林格出版社·Zbl 1408.68112号 ·doi:10.1007/978-3-642-45278-98 [16] Chellali，M。；泰晤士河州海恩斯；Hedetniemi，SM；Hedetniemi，ST；麦克雷，AA，罗马统治链，图梳。，32, 1, 79-92 (2016) ·Zbl 1334.05098号 ·数字对象标识码：10.1007/s00373-015-1566-x [17] EJ科卡恩；Dreyer，P.Jr；Hedetniemi，SM；Hedetniemi，ST，《罗马在图中的统治》，Discret。数学。，278, 11-22 (2004) ·Zbl 1036.05034号 ·doi:10.1016/j.disc.2003.06.004 [18] Couturier，J.、Heggenes，P.、van’t Hof，P.和Kratsch，D.：图类中的最小支配集：组合边界和枚举。理论。计算。科学。487, 82-94 (2013) ·Zbl 1283.05200号 [19] J.Couturier。；Letourneur，R。；Liedloff，M.，关于一些图类上最小支配集的个数，Theoret。计算。科学。，562, 634-642 (2015) ·Zbl 1305.05219号 ·doi:10.1016/j.tcs.2014.11.006 [20] 北卡罗来纳州克里诺。；Kröll先生。；皮克勒，R。；Skritek，S。；Vollmer，H.，硬枚举问题的复杂性理论，离散。申请。数学。，268, 191-209 (2019) ·Zbl 1419.05016号 ·doi:10.1016/j.dam.2019.02.025 [21] Dreyer，P.A.：图中支配的应用和变化。博士论文，罗格斯大学，美国新泽西州（2000年） [22] 艾特，T。；Gottlob，G.，识别超图的最小横截及相关问题，SIAM J.Compute。，24, 6, 1278-1304 (1995) ·Zbl 0842.05070号 ·doi:10.1137/S0097539793250299 [23] O.Favaron。；Karami，H。；Khoeilar，R。；Sheikholeslami，SM，关于图的罗马控制数，Discret。数学。，309, 10, 3447-3451 (2009) ·Zbl 1191.05071号 ·doi:10.1016/j.disc.2008.09.043 [24] Fernau，H.，《罗马统治：参数化视角》，《国际计算机杂志》。数学。，85, 25-38 (2008) ·Zbl 1130.05041号 ·doi:10.1080/00207160701374376 [25] Gainer-Dewar，A。；Vera-Licona，P.，最小命中集生成问题：算法和计算，SIAM J.Discret。数学。，31, 1, 63-100 (2017) ·Zbl 1352.68279号 ·doi:10.1137/15M1055024 [26] 宾夕法尼亚州Golovach；Heggenes，P。；康德，MM；Kratsch，D。；Villanger，Y.，《弦二部图中最小支配集的枚举》，离散。申请。数学。，199, 30-36 (2016) ·Zbl 1326.05105号 ·doi:10.1016/j.dam.2014.12.010 [27] 宾夕法尼亚州Golovach；Heggenes，P。；Kratsch，D.，枚举有界弦图中的最小连通支配集，定理。计算。科学。，630, 63-75 (2016) ·Zbl 1339.05190号 ·doi:10.1016/j.tcs.2016.03.026 [28] Haynes，T.W.，Hedetniemi，S.T.，Slater，P.J.：图的支配基础。纯数学和应用数学专著和教科书，第208卷。马塞尔·德克尔（1998）·Zbl 0890.05002号 [29] 泰晤士河州海恩斯；Hedetniemi，ST；马萨诸塞州亨宁，《图的支配主题》（2020），查姆：斯普林格，查姆·Zbl 1470.05008号 ·数字对象标识代码：10.1007/978-3-030-51117-3 [30] Hedetniemi，ST；鲁巴卡巴，RR；斯莱特，PJ；沃尔什，M.，很少有人能与伟大的罗马帝国相提并论，康格。数字。，217, 129-136 (2013) ·Zbl 1293.05263号 [31] 康德，MM；利穆齐，V。；A.玛丽。；Nourine，L.，关于最小支配集及其相关概念的枚举，SIAM J.Discret。数学。，28, 4, 1916-1929 (2014) ·Zbl 1310.05119号 ·doi:10.1137/120862612 [32] 康德，MM；利穆齐，V。；A.玛丽。；努林。；Uno，T。；Dehne，F。；J-R袋；Stege，U.，《列出图中最小边支配集的多项式延迟算法，算法和数据结构》，446-457（2015），Cham:Springer，Cham·Zbl 1451.68204号 ·doi:10.1007/978-3-319-21840-3_37 [33] 康德，MM；利穆齐，V。；A.玛丽。；营养素，L。；Uno，T。；Mayr，EW，用于枚举弦图中最小支配集的多项式延迟算法，计算机科学中的图论概念，138-153（2016），海德堡：斯普林格·Zbl 1417.05215号 ·doi:10.1007/978-3-662-53174-7_11 [34] KranerŠumenjak，T。；Pavlić，P。；Tepeh，A.，《论罗马在词典学图形产品中的统治》，Discret。申请。数学。，160, 13-14, 2030-2036 (2012) ·Zbl 1246.05124号 ·doi:10.1016/j.dam.2012.04.008 [35] Liedloff，M.：算法精确与指数倒问题NP-规则：支配、变异与道德。法国梅茨保罗·韦莱恩大学博士论文（2007年） [36] 利德洛夫，M。；Kloks，T。；刘杰。；Peng，SL，某些图类上罗马控制的有效算法，Discret。申请。数学。，156, 18, 3400-3415 (2008) ·Zbl 1180.05113号 ·doi:10.1016/j.dam.2008.01.11 [37] 刘，CH；Chang，GJ，2-连通图上的罗马支配，SIAM J.Discrete。数学。，26, 1, 193-205 (2012) ·Zbl 1245.05100号 ·doi:10.1137/080733085 [38] 刘，CH；Chang，GJ，图的罗马控制数的上界，离散。数学。，312, 7, 1386-1391 (2012) ·Zbl 1237.05154号 ·doi:10.1016/j.disc.2011.12.021 [39] 刘，CH；Chang，GJ，罗马对强弦图的支配，J.Comb。最佳。，26, 3, 608-619 (2013) ·Zbl 1282.90217号 ·doi:10.1007/s10878-012-9482-y [40] 玛丽（Mary，A.）：《统治者的数字》（Énumération des dominants minimux d'un graphe）。2013年11月，法国克莱蒙·法尔德布莱斯·帕斯卡大学LIMOS博士论文 [41] Mashburn，JL；泰晤士河州海恩斯；Hedetniemi，SM；Hedetniemi，ST；Slater，PJ，图中的微分，实用数学。，69, 43-54 (2006) ·Zbl 1103.05087号 [42] 英国石油公司Mobaraky；Sheikholeslami，SM，图的罗马控制数的界，Matematitchki Vesnik，60247-253（2008）·Zbl 1274.05359号 [43] Pagortzis，A.、Penna，P.、Schlude，K、Steinhöfel，K、Taylor，D.S.、Widmayer，P.：服务器放置、罗马统治和其他支配集变体。收录于：Baeza-Yates，R.A.，Montanari，U.，Santoro，N.（编辑）《网络和移动计算时代的信息技术基础》，IFIP第17届世界计算机大会-TC1流/第二届IFIP理论计算机科学国际会议IFIP TCS，第280-291页。Kluwer（2002）。也可作为技术报告365获取，苏黎世理工学院理论计算机科学研究所，10/2001 [44] Peng，S.L.，Tsai，Y.H.：有界树宽图上的罗马统治。摘自：第24届组合数学与计算理论研讨会，第128-131页（2007年） [45] ReVelle，C.S.，Rosing，K.E.：捍卫罗马帝国：军事战略中的一个经典问题。美国数学。月刊107，585-594（2000）。http://www.jhu.edu/jhumag/0497web/locate3.html·Zbl 1039.90038号 [46] van Rooij，J.M.M.：图中控制问题的精确指数时间算法。荷兰乌得勒支大学博士论文（2011年） [47] Shang，W。；王，X。；Hu，X.，单位圆盘图中的罗马统治及其变体，离散。数学。算法应用。，2, 1, 99-106 (2010) ·Zbl 1209.68652号 ·doi:10.1142/S179383091000504 [48] Shi，Z.，Koh，K.M.：计算图的最小罗马支配函数的数量。技术报告，arXiv/CoRR，abs/14031019（2014） [49] 斯图尔特，I.，《保卫罗马帝国》，科学。美国，281，6，136-138（1999）·doi:10.1038/科学美国人1299-136 [50] 邢，HM；陈，X。；陈，XG，关于图中罗马统治的注记，《离散》。数学。，306, 24, 3338-3340 (2006) ·Zbl 1108.05072号 ·doi:10.1016/j.disc.2006.06.018 [51] 薛亮，F。；Y.Yuansheng。；Baoqi，J.，《正则图中的罗马支配》，Discret。数学。，309, 6, 1528-1537 (2009) ·Zbl 1183.05063号 ·doi:10.1016/j.disc.2008.03.006 [52] Yero，IG；Rodríguez-Velázquez，JA，《笛卡尔乘积图和强乘积图中的罗马统治》，Appl。分析。谨慎。数学。，7, 262-274 (2013) ·Zbl 1340.05204号 ·doi:10.2298/AADM130813017G 此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。