×
阿德尔·纳布利;玛格丽达·卡瓦略;皮埃尔·霍斯坦斯

多级关键节点问题的复杂性。 （英语） Zbl 1484.91085号

J.计算。系统。科学。 127, 122-145 (2022).
摘要：在这项工作中，我们分析了一个在图中进行的序列博弈，称为多级关键节点问题（MCN）。防守队员和进攻队员是这场比赛的参与者。防御者首先预防性地阻止顶点（接种疫苗）受到攻击。然后，攻击者感染未接种疫苗的顶点子集，最后，防御者使用保护策略做出反应。我们提供了第一个与MCN及其子模型相关的计算复杂性结果。此外，通过考虑酉图、加权图、无向图和有向图，我们阐明了这些问题的理论可处理性是如何变化的。我们的发现有助于解决新的NP完全、（Sigma_2^p）完全和（Sigma _3^p）完整问题。此外，对于游戏的最后一层，即保护阶段，我们为某些图类建立了多项式时间算法。

引用于2文件

MSC公司：

91A43型 涉及图形的游戏
91A20型 多阶段重复游戏
91A68型 算法博弈论与复杂性
2017年第68季度 问题的计算难度（下限、完备性、近似难度等）

关键词：

三级编程;防御攻击防御者;关键节点问题;多项式层次

软件：

EIA-全国保卫人民大会
PDF格式BibTeX公司 XML格式引用
\textit｛A.Nabli｝等人，J.Comput。系统。科学。127122-145（2022年；Zbl 1484.91085）
全文： 内政部 arXiv公司

参考文献：

[1] 巴乔，A。；卡瓦略，M。；Lodi，A。；Tramontani，A.，关键节点问题的多级方法，Oper。研究，69，486-508（2021）·Zbl 1470.91037号
[2] Arulselvan，A。；指挥官，C.W。；Elefteriadou，L。；Pardalos，P.M.，检测稀疏图中的关键节点，计算。操作。研究，36，7，2193-2200（2009）·Zbl 1158.90411号
[3] He，J。；Liang，H。；Yuan，H.，通过同时阻断节点和链接来控制感染，（Chen，N.；Elkind，E.；Koutsopuias，E.，《互联网和网络经济》（2011），施普林格出版社：施普林格-柏林，海德堡），206-217
[4] 博金斯基，V。；Commander，C.W.，《识别蛋白质相互作用网络中的关键节点》，《生物网络中的聚类挑战》，153-167（2009），《世界科学》
[5] 托马诺，V。；阿鲁塞尔万，A。；维尔特里，P。；Pardalos，P.M.，《癌症途径中人类蛋白质-蛋白质相互作用网络的连接性研究》，187-197（2012），美国斯普林格：美国马萨诸塞州波士顿斯普林格
[6] 拉鲁，M。；Tahraoui，M.A。；Kheddouci，H.，网络中的关键节点检测问题：调查，计算。科学。版次：28，92-117（2018）·Zbl 1387.68186号
[7] 刘易斯，J.M。；Yannakakis，M.，遗传属性的节点删除问题是NP-完全的，J.Compute。系统。科学。，20, 2, 219-230 (1980) ·Zbl 0436.68029号
[8] 沈，S。；J.C.史密斯。；Goli，R.，通过节点删除断开网络的精确阻断模型和算法，离散优化。，9, 3, 172-188 (2012) ·Zbl 1254.90280号
[9] 亚的斯亚贝巴。；Di Summa，M。；Grosso，A.，识别无向图中的关键节点：有界树宽情况下的复杂度结果和多项式算法，离散应用。数学。，161, 16, 2349-2360 (2013) ·Zbl 1285.05042号
[10] Di Summa，M。；格罗索，A。；Locatelli，M.，树上关键节点问题的复杂性，计算。操作。研究，38，1766-1774（2011）·Zbl 1215.90016号
[11] 拉鲁，M。；Tahraoui，M.A。；Kheddouci，H.，图中受组件约束的关键节点问题，离散应用。数学。，210, 150-163 (2016) ·Zbl 1339.05374号
[12] Aringhieri，R。；格罗索，A。；Hosteins，P。；Scatamacchia，R.，不同类距离关键节点问题的多项式和伪多项式时间算法，离散应用。数学。，253, 103-121 (2019) ·兹比尔1401.05089
[13] Hosteins，P。；Scatamacchia，R.，树上的随机关键节点问题，网络，76，3，381-401（2020）
[14] 拉鲁，M。；Kheddouci，H.，寻找二部置换图中关键节点的多项式时间算法，Optim。莱特。，13, 1345-1364 (2019) ·Zbl 1429.90062号
[15] Pavlikov，K.，最小连通性网络阻断问题的改进公式，计算。操作。研究，97，48-57（2018）·Zbl 1391.90122号
[16] Karakose，G。；McGarvey，R.，《关键节点的最佳检测：模型结构和性能的改进》，Netw。小争吵。经济。，19, 1-26 (2019) ·Zbl 1514.90043号
[17] Veremyev，A。；普罗科皮耶夫，O.A。；Pasiliao，E.L.，《图中关键元素检测的整数编程框架》，J.Comb。优化。，28233-273（2014）·Zbl 1303.90120号
[18] Di Summa，M。；格罗索，A。；Locatelli，M.，检测无向图中关键节点的分支和切割算法，计算。优化。申请。，53, 649-680 (2012) ·Zbl 1264.90170号
[19] Aringhieri，R。；格罗索，A。；Hosteins，P。；Scatamacchia，R.，不同类型关键节点问题的一般进化框架，工程应用。Artif公司。智力。，55, 128-145 (2016)
[20] 周，Y。；Hao，J。；Glover，F.，识别稀疏图中关键节点的模因搜索，IEEE Trans。赛博。，49, 10, 3699-3712 (2019)
[21] 周，Y。；Hao，J.-K。；傅，Z.-H。；Wang，Z。；Lai，X.，《可变种群模因搜索：关键节点问题的案例研究》，IEEE Trans。埃沃。计算。，25, 1, 187-200 (2021)
[22] Aringhieri，R。；格罗索，A。；Hosteins，P。；Scatamacchia，R.，关键节点问题的局部搜索元启发式，网络，67，3，209-221（2016）
[23] 亚的斯亚贝巴。；Aringhieri，R。；格罗索，A。；Hosteins，P.，关键节点问题的混合构造启发式，Ann.Oper。决议，238，1637-649（2016）·Zbl 1334.90185号
[24] Pullan，W.，《稀疏现实世界图中关键节点的启发式识别》，J.Heuristics，21，5，577-598（2015）
[25] Purevsuren，D。；崔，G。；朱，M。；Win，N.N.H.，用于识别图中关键节点的抓取与外部路径重新链接的混合，IAENG Int.J.Compute。科学。，44 (2017)
[26] Ventresca，M。；Aleman，D.，一种用于关键节点检测问题的非归一化近似算法，计算。操作。第43261-270号决议（2014年）·Zbl 1348.90609号
[27] Ventresca，M。；Aleman，D.，检测关键节点的区域增长算法，（COCOA’14（2014）），593-602·Zbl 1433.05301号
[28] Ventresca，M。；Aleman，D.，遏制大流行性疾病传播的局部搜索随机算法，计算。操作。决议，48，11-19（2014）·Zbl 1348.92011号
[29] Rezaei，J。；Zare-Mirakabad，F。；MirHassani，S.A。；Marashi，S.-A.，EIA-CNDP：关键节点检测问题的精确迭代算法，计算。操作。第127号决议，第105138条pp.（2021）·Zbl 1510.90280号
[30] Ventresca，M。；哈里森·K·R。；Ombuki-Berman，B.M.，《双目标关键节点检测问题》，欧洲期刊Oper。第265、3895-908号决议（2018年）·Zbl 1374.90085号
[31] Furini，F。；柳比奇，I。；Malaguti，E。；Paronuzzi，P.，揭示k顶点分隔问题的隐藏双层组合结构，（OR-19-6，DEI（2019）），博洛尼亚大学
[32] Wood，R.，《决定论网络阻断》，数学。计算。型号。，17, 2, 1-18 (1993) ·Zbl 0800.90772号
[33] 以色列，E。；Wood，R.K.，《最短路径网络阻断》，《网络》，40，2，97-111（2002）·Zbl 1027.90106号
[34] DeNegre，S.，拦截与离散双层线性规划（2011），利海大学博士论文
[35] 卡普拉拉。；卡瓦略，M。；Lodi，A。；Woeginger，G.J.，《双层背包问题的计算复杂性研究》，SIAM J.Optim。，24, 823-838 (2014) ·Zbl 1297.90134号
[36] Rutenburg，V.，《命题真值维护系统：分类和复杂性分析》，《数学年鉴》。Artif公司。智力。，10, 207-231 (1994) ·Zbl 0855.68076号
[37] Furini，F。；柳比奇，I。；马丁·S。；San Segundo，P.，《最大集团阻断问题》，欧洲期刊Oper。决议，277112-27（2019）·Zbl 1430.90543号
[38] Della Croce，F。；Scatamacchia，R.，具有阻断约束和扩展的双层背包问题的精确方法，数学。程序。，1-33 (2020) ·Zbl 1450.90040号
[39] 菲舍蒂，M。；卢比奇，I。；莫纳西，M。；Sinnl，M.，《拦截游戏与单调性，及其在背包问题中的应用》，《信息与计算》。，31, 2, 390-410 (2019) ·Zbl 07281718号
[40] Tannm，K。；Sinnl，M.，子模块阻断游戏的分支与切割算法（2021）
[41] 菲舍蒂，M。；莫纳西，M。；Sinnl，M.，《广义阻断问题的动态重定启发式算法》，Eur.J.Oper。第267、1、40-51号决议（2018年）·兹伯利1403.90524
[42] Finbow，S。；金·A。；MacGillivray，G。；Rizzi，R.，最大三次图的消防员问题，离散数学。，307, 16, 2094-2105 (2007) ·Zbl 1120.68081号
[43] 巴尼特森，K.D。；伯吉斯，A.C。；Enright，J。；豪厄尔，J。；派克，D.A。；Ryan，B.，《防火问题》，《网络》，77，372-382（2021）
[44] 布朗，G。；卡莱尔，M。；Salmerón，J。；Wood，R.，《保护关键基础设施，接口》，36，530-544（2006）
[45] Ventresca，M.，《网络鲁棒性与多策略顺序攻击》，J.Complex Netw。，3126-146年3月1日（2015年）
[46] Enayaty-Ahangar，F。；雨水，C.E。；Sharkey，T.C.，多周期网络阻断模型的基于逻辑的分解方法，Omega，87，71-85（2019）
[47] Martin，P.，《防御关键基础设施的三级优化模型》（2007），海军研究生院：蒙特利海军研究生学院，硕士论文
[48] Johannes，B.，《多项式层次结构第二层的新完全问题类》（2011），柏林理工大学博士论文
[49] 布莱尔，C.，《多层线性程序的计算复杂性》，安.奥珀。决议，34，1，13-19（1992）·Zbl 0751.90046号
[50] 杜达斯，T。；Klinz，B。；Woeginger，G.J.，《多级瓶颈编程问题的计算复杂性》，（Migdalas，A.；Pardalos，P.M.；Värbrand，P.，《多层优化：算法和应用》（1998），Springer US:Springer US Boston，MA），165-179·Zbl 0902.90167号
[51] Jeroslow，R.G.，《多项式层次结构和竞争分析的简单模型》，数学。程序。，32, 2, 146-164 (1985) ·Zbl 0588.90053号
[52] Meyer，A.R。；Stockmeyer，L.J.，带平方的正则表达式的等价问题需要指数空间，（第13届交换与自动机理论年会，第13届开关与自动机论年会，SWAT 1972（1972）），125-129
[53] Wrathall，C.，《全集与多项式时间层次》，Theor。计算。科学。，3, 1, 23-33 (1976) ·Zbl 0366.02031号
[54] 谢弗，M。；Umans，C.，《多项式时间层次结构的完整性概要》，SIGACT新闻，33（2002年1月）
[55] 莫加维罗，F。；Perelli，G.，《一阶逻辑中的绑定形式》（Kreutzer，S.，第24届EACSL计算机科学逻辑年会，第24次EACSL计算科学逻辑年会刊，CSL 2015）。第24届EACSL计算机科学逻辑年会。第24届EACSL计算机科学逻辑年会，CSL 2015，莱布尼茨国际信息学论文集（LIPIcs），第41卷（2015），德国达格斯图尔-莱布尼兹-泽特鲁姆信息学：达格斯图尔-莱布尼兹-泽特鲁姆-泽特鲁姆信息学，648-665·Zbl 1373.03014号
[56] 沈义德。；Eiter，T.，《评估答案集编程中的认知否定》，Artif。智力。，237, 115-135 (2016) ·Zbl 1358.68278号
[57] Malizia，E.，《关于（m）cp-nets推理的更多复杂性结果》，（第17届自治代理和多代理系统国际会议论文集，第17届自主代理和多智能体系统国际会议文献集，AAMAS 2018（2018））
[58] Lozano，L。；Smith，J.C.，《防御拦截问题的反向抽样框架》，INFORMS J.Compute。，29, 123-139 (2017) ·Zbl 1414.91086号
[59] 卡瓦略，M。；克利蒙托娃，X。；Glorie，K。；维亚纳，A。；Constantino，M.，肾脏交换问题的稳健模型，INFORMS J.Compute。，33, 3, 861-881 (2021) ·Zbl 07548814号
[60] 布洛姆·D。；霍尼，C。；Smeulders，B.，完全追索权下肾脏交换稳健优化的弯曲型方法（2021年）
[61] 巴博萨，F。；阿格拉，A。；de Sousa，A.，对多节点故障具有最大鲁棒性的最小成本网络升级问题，计算。操作。第136号决议，第105453条，pp.（2021）·Zbl 1511.90399号
[62] Nabli，A。；Carvalho，M.，《多级预算组合问题的课程学习》，（Larochelle，H.；Ranzato，M.；Hadsell，R.；Balcan，M.F.；Lin，H..，《神经信息处理系统的进展》，第33卷（2020年），Curran Associates，Inc.），7044-7056
[63] Garey，M.R。；Johnson，D.S.，《计算机与不可纠正性，NP-完备性理论指南》（1990），W.H.Freeman&amp；公司：W.H.Freeman&amp；Co.美国
[64] Karp，R.M.，组合问题中的可导性，85-103（1972），美国斯普林格：美国斯普林格，马萨诸塞州波士顿·Zbl 1467.68065号
[65] Stockmeyer，L.J。；Meyer，A.R.，需要指数时间的单词问题（初步报告），（第五届年度ACM计算理论研讨会论文集。第五届ACM计算原理研讨会论文集，STOC’73（1973），计算机械协会：美国纽约州纽约市计算机械协会），1-9·Zbl 0359.68050号
[66] 科尔曼，T.H。；Leiserson，C.E。；Rivest，R.L。；Stein，C.，《算法导论》（2009），麻省理工学院出版社·Zbl 1187.68679号
[67] 卡瓦略，M。；Lodi，A。；Marcotte，P.，连续双层背包问题的多项式算法，Oper。Res.Lett.公司。，46, 2, 185-188 (2018) ·Zbl 1525.90393号
[68] Langer，A。；雷德尔，F。；Rossmanith，P。；Sikdar，S.，树分解图上mso模型检查的实用算法，计算。科学。版本，13，C，39-74（2014）·Zbl 1302.68184号
[69] Arnborg，S。；Lagergren，J。；Seese，D.，树分解图的简单问题，J.算法，12，2，308-340（1991）·Zbl 0734.68073号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。