斯特凡·施密德;尼古拉斯·施奈普夫;吉·斯尔巴 弹性容量感知路由。 （英语） Zbl 1467.68013号 Groote，Jan Friso（编辑）等人，《系统构建和分析的工具和算法》。第27届国际会议，TACAS 2021，作为欧洲软件理论与实践联合会议的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第一部分查姆：施普林格。莱克特。票据计算。科学。12651, 411-429 (2021). 概要：为了确保高可用性，通信网络提供了弹性路由机制，可以在故障时快速更改路由。然而，这种机制背后的一个基本算法问题很难理解：如何验证给定的网络是否会重新路由可行的路径，而不违反容量限制，最多可发生\（k）个链路故障？我们绘制了链路故障下弹性路由的算法复杂性图，考虑到基于链路权重的最短路径路由，例如部署在ECMP协议中。我们研究了两个模型：悲观的流以最坏情况下的方式沿等成本最短路径进行干扰的模型，以及乐观的在该模型中，流以最佳方式路由，我们给出了算法复杂性的完整图片。我们进一步提出了一种战略搜索算法，该算法只检查关键故障场景，同时仍然提供正确性保证。我们对互联网和数据中心拓扑基准的实验评估证实，我们的战略搜索性能提高了几个数量级。关于整个系列，请参见[Zbl 1466.68015号]. 引用于1文件 MSC公司： 68M10个 计算机系统中的网络设计和通信 68个M12 网络协议 65年第68季度 算法和问题复杂性分析 PDF格式BibTeX公司 XML格式引用 \textit{S.Schmid}等人，Lect。票据计算。科学。12651、411--429（2021；Zbl 1467.68013） 全文： DOI程序 参考文献： [1] Carolyn Jane Anderson、Nate Foster、Arjun Guha、Jean-Baptiste Jeannin、Dexter Kozen、Cole Schlesinger和David Walker。Netkat：网络的语义基础。Acm sigplan通知，49（1）：113-1262014·Zbl 1284.68100号 [2] 罗恩·班纳和阿里尔·奥达。用于拥塞最小化的多路径路由算法。在IEEE/ACM网络事务（TON），第15卷，第92-122页，2005年2月。 [3] 克里斯蒂娜·巴兹根（Cristina Bazgan）、安德烈·尼切特林（AndréNichterlein）和罗尔夫·尼德迈尔（Rolf Niedermeier）。为无向最短路径找到最重要边的精细复杂性分析。在Vangelis Th.Paschos和Peter Widmayer，编辑，国际算法与复杂性会议，LNCS第9079卷，第47-60页。斯普林格，2015年·Zbl 1459.68152号 [4] 瑞恩·贝克特（Ryan Beckett）、拉图尔·马哈扬（Ratul Mahajan）、托德·米尔斯坦（Todd Millstein）、吉坦德拉·帕迪（Jitendra Padhye）和大卫·沃克（David Walker）。不要在意差距：将网络范围的目标和设备级别的配置连接起来。2016年ACM SIGCOMM会议记录，第328-341页，2016年。 [5] Y.Bi、C.W.Tan和A.Tang。具有路径基数约束的网络效用最大化，。2016年第35届IEEE国际计算机通信年会（IEEE INFOCOM 2016）会议记录。 [6] 马丁·尼克斯·布莱恩（Martin Nyx Brain）、詹姆斯·达文波特（James H.Davenport）和阿尔贝托·格里乔（Alberto Griggio）。标杆求解器，SAT型。第二届可满足性检验和符号计算国际研讨会论文集，与第42届符号和代数计算国际研讨会（ISSAC’17）合办，CEUR 1974年版，第1-15页。CEUR-WS.org，2017年。 [7] 曹志若、王征和艾伦·泽古拉。基于散列的网络负载平衡方案的性能。《IEEE INFOCOM 2000会议录》，第1卷，第332-341页。IEEE，2000年。 [8] 张益阳（Yiyang Chang）、姜川（Chuan Jiang）、阿什什·钱德拉（Ashish Chandra）、桑杰·饶（Sanjay Rao）和莫希特·塔瓦马拉尼（Mohit Tawarmalani）。柳叶刀：通过为修剪设计，提高网络弹性。SIGMETRICS执行评估。版本，48（1）：53-54200年7月。 [9] 查尔斯·雷瑟森（Charles E.Leiserson）。树状结构：用于硬件高效超级计算的通用网络。第34卷，第892-901页，1985年。 [10] M.Chiesa、G.Kindler和M.Schapira。等速多径流量工程：算法观点，。《IEEE/ACM网络交易》，第25卷，第2期，第779-792页，2017年。 [11] 斯蒂芬·库克（Stephen A.Cook）。快速并行算法问题分类。信息与控制，64（1）：2-221985·兹比尔0575.68045 [12] Eliezer Dekel、David Nassimi和Sartaj Sahni。并行矩阵和图形算法。SIAM计算机杂志，10（4）：657-6751981·Zbl 0468.68044号 [13] 卡米尔·德米特里斯库（Camil Demetrescu）、米克尔·索洛普（Mikkel Thorup）、雷扎尔·乔杜里（Rezaul Chowdhury）和维贾亚·拉马钱德兰（Vijaya Ramachandran）。用于距离避免故障节点或链路的Oracle。SIAM J.计算。，37:1299-13182008年1月·Zbl 1158.05057号 [14] 杰克·埃德蒙兹和理查德·卡普。网络流问题算法效率的理论改进。19(2):248-264, 1972. ·Zbl 0318.90024号 [15] Ahmed El-Hassany、Petar Tsankov、Laurent Vanbever和Martin Vechev。网络范围的配置合成。在计算机辅助验证国际会议上，第261-281页。施普林格，2017年·Zbl 1494.68018号 [16] 伯纳德·福茨。通过优化OSPF权重进行互联网流量工程。In In过程。IEEE INFOCOM，第519-5282000页。 [17] 伯纳德·福茨（Bernard Fortz）、詹妮弗·雷克斯福德（Jennifer Rexford）和米克尔·索洛普（Mikkel Thorup）。使用传统IP路由协议的流量工程。IEEE Comm.杂志，40（10）：118-1242002。 [18] 伯纳德·福茨（Bernard Fortz）和米克尔·索洛普（Mikkel Thorup）。在不断变化的世界中优化OSPF/IS-IS权重。IEEE通讯选定领域杂志（JSAC），20（4）：756-7672002。 [19] 伯纳德·福茨（Bernard Fortz）和米克尔·索洛普（Mikkel Thorup）。使用本地搜索提高互联网容量。计算优化与应用，29（1）：13-482004·Zbl 1069.90024号 [20] Nate Foster、Dexter Kozen、Konstantinos Mamouras、Mark Reitblatt和Alexandra Silva。概率NetKAT。Peter Thiemann，《编程语言和系统》（ESOP’16）编辑，LNCS第9632卷，第282-309页。斯普林格，2016年·Zbl 1335.68027号 [21] Pierre Francois、Clarence Filsfils、John Evans和Olivier Bonaventure。在大型IP网络中实现亚秒级igp收敛。ACM SIGCOMM计算机通信评论，35（3）：35-442005。 [22] 阿尔伯特·格林伯格（Albert Greenberg）、詹姆斯·汉密尔顿（James R Hamilton）、纳文杜·贾恩（Navendu Jain）、斯里坎思·坎杜拉（Srikanth Kandula）、昌勋·金（Changhoon Kim）、帕兰塔普·拉希里（Parantap Lahiri）、大卫·马尔茨（David A Malt。Vl2：可扩展且灵活的数据中心网络。《ACM SIGCOMM 2009年数据通信会议论文集》，第51-62页，2009年。 [23] 郭川雄、陆国汉、李丹、吴海涛、张宣、石云峰、陈田、张永光、陆松武和吕国汉。Bcube：模块化数据中心的高性能、以服务器为中心的网络架构。在ACM SIGCOMM中。计算机协会，2009年8月。 [24] Christian Hopps等人，等成本多径算法分析。技术报告，RFC 29922000年11月。 [25] 杰斯珀·斯坦比杰尔·詹森（Jesper Stenbjerg Jensen）、特洛伊斯·贝克·克罗（Troels Beck Krögh）、乔纳斯·桑德·马德森（Jonas Sand Madsen）、斯特凡·施密德（Stefan Schmid）、吉西·斯尔巴（JiříSrba）。P-Rex：快速验证具有多个链路故障的MPLS网络。程序中。2018年第14届新兴网络体验和技术国际会议（CoNEXT），第217-227页。 [26] P.G.Jensen、D.Kristiansen、S.Schmid、M.K.Schou、B.C.Schrenk和J.Srba。Aalwines：用于mpls网络的快速定量假设分析工具。《第16届新兴网络技术和经验国际会议论文集》（CoNEXT'20），第474-481页。ACM，2020年。 [27] 唐纳德·约翰逊。稀疏网络中最短路径的有效算法。美国医学会杂志，24（1）：1-131977·Zbl 0343.68028号 [28] Simon Knight、Hung Nguyen、Nickolas Falkner、Rhys Bowden和Matthew Roughan。互联网拓扑动物园。《通信领域精选》，IEEE Journal on，29:1765-17752011年。 [29] Kim G.Larsen、Stefan Schmid和Bingtian Xue。WNetKAT：一种加权SDN编程和验证语言。程序中。第20届分布式系统原理国际会议（OPODIS），2016年·Zbl 1432.68052号 [30] John Moy等人，OSPF版本2。1998 [31] 塞巴斯蒂安·奥洛夫斯基（Sebastian Orlowski）和米查尔·皮奥罗（Michal Pioro）。基于路径生存机制的网络设计中列生成的复杂性。网络，59:132-1472012年1月·Zbl 1241.90091号 [32] Aurojit Panda、Ori Lahav、Katerina Argyraki、Mooly Sagiv和Scott Shenker。验证具有可变数据路径的网络中的可达性。第14届USENIX网络系统设计与实现研讨会（NSDI’17），第699-718页，2017年。 [33] 克里斯托斯·帕帕迪米特里奥（Christos M.Papadimitriou）。计算复杂性。Addison Wesley，马萨诸塞州雷丁市，1994年·Zbl 0833.68049号 [34] J.S.Provan和D.R.Shier。在图中列出（s，t）-割的范例。算法学，15（4）：351-3721996年4月·Zbl 0843.68039号 [35] V.拉马钱德兰。非循环网络中最小割和最大流问题的复杂性。17（4）：387-3921987·Zbl 0647.90033号 [36] Baruch Schieber、Amotz Bar Noy和Samir Khuller。查找最重要的弧和节点的复杂性。技术报告，美国，1995年·Zbl 0849.68043号 [37] S.Schmid、N.Schnepf和J.Srba。TACAS’21纸张弹性容量感知路由的再现性包，2021年1月。doi:10.5281/zenodo.4421365·Zbl 1467.68013号 [38] S.Schmid和J.Srba。前缀操纵MPLS网络的多项式时间假设分析。程序中。IEEE INFOCOM，第1799-1807页。IEEE，2018年。 [39] 亚历山大·施里杰。线性和整数规划理论。John Wiley&Sons，Inc.，美国，1986年·Zbl 0665.90063号 [40] A.Valadarsky、G.Shahaf、M.Dinitz和M.Schapira。Xpander：面向性能最佳的数据中心。CoNEXT，第205-219页。ACM，2016年。 [41] 亚伦·维尔纳、卡列夫·阿尔佩纳斯、奥罗吉特·熊猫、亚历山大·拉比诺维奇、穆利·萨吉夫、斯科特·申克和沙伦·肖姆。状态网络验证的一些复杂性结果。程序中。第811-830页。斯普林格，2016年·Zbl 1425.68248号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。