×
克伦·希尔审查员;阿米·巴斯;莫尔·佩里

近似证明标记方案。 （英文） Zbl 1437.68193号

西奥。计算。科学。 811, 112-124 (2020).
摘要：我们研究了一种新的分布式网络布尔谓词验证模型。给定一个网络配置，证明标签方案（PLS）模型以标签的形式定义了一个分布式证明，该标签被赋予每个节点，所有节点通过与其邻居交换标签来本地验证网络配置满足所需的布尔谓词。这个验证尺寸方案的最大值定义为标签的最大大小。在这项工作中，我们通过定义近似证明标记方案（APLS）模型。在这个新模型中，用于验证的谓词的形式为\（\psi\leq\varphi\），其中\（\psi，\varphi:\mathcal{F}\rightarrow\mathbb{N}\）表示一系列配置\（\mathcal{F}\）。非正式地，此模型中考虑的谓词是两个配置值之间的比较。与PLS模型一样，节点交换标签以本地验证谓词，如果网络满足谓词，则所有节点都必须接受。稳健性条件用近似比\（\alpha\）放宽，因此只有当\（\psi>\alpha\varphi\）某个节点必须拒绝。
我们关注两个验证问题：图直径的上下界和给定匹配的最大值。对于这些问题，我们给出了适用于所有图结构的第一个结果。在我们的新APLS模型中，我们证明了证明大小可以大大小于PLS模型中相同谓词的证明大小。此外，我们证明了近似比和证明大小之间存在权衡。最后，我们给出了PLS模型中最大基数匹配的第一个一般结果。

引用于11文件

MSC公司：

68宽15 分布式算法
60年第68季度 规范和验证（程序逻辑、模型检查等）
68兰特 计算机科学中的图论（包括图形绘制）
68周25 近似算法

关键词：

分布式图算法;分布式验证;近似算法;原对偶算法
PDF格式BibTeX公司 XML格式引用
\textit{K.Censor-Hillel}等人，Theor。计算。科学。811112-124（2020年；Zbl 1437.68193）
全文： 内政部

参考文献：

[1] 唐纳德·安格沃思（Donald Aingworth）；Chandra Chekuri；Indyk，Piotr；Motwani，Rajeev，直径和最短路径的快速估计（无矩阵乘法），SIAM J.Compute。，28, 4, 1167-1181 (1999) ·Zbl 0926.68093号
[2] 阿穆德（Amir Abboud）；克伦·希尔审查员；Khoury，Seri，分布式距离计算的近线性下限，即使在稀疏网络中，（DISC（2016）），29-42·Zbl 1393.68129号
[3] 阿尔法伊（Heger Arfaoui）；皮埃尔·弗拉吉奥德；大卫·伊尔辛卡斯；Mathieu，Fabien，《分布式测试无循环性》（WG（2014）），15-28·Zbl 1417.68278号
[4] 阿尔法伊（Heger Arfaoui）；皮埃尔·弗拉吉奥德；Pelc，Andrzej，有界规模输出的本地决策和验证（SSS（2013）），133-147
[5] Awerbuch、Baruch；波阿斯·帕特·沙米尔；乔治·瓦尔盖塞（George Varghese），《通过局部检查和校正实现自我稳定》（FOCS（1991），IEEE），268-277
[6] 巴利乌，阿尔基达；Gianlorenzo D'Angelo；皮埃尔·弗拉吉奥德；Olivetti，Dennis，什么可以在本地验证？，（第34届计算机科学理论方面研讨会。第34届计算科学理论方面会议，2017年3月8日至11日，德国汉诺威（2017）），8:1-8:13·Zbl 1398.68166号
[7] Berge，Claude，《最大耦合图》，C.R.Hebd。塞恩斯学院。科学。，247258-259（1958年）·Zbl 0086.16301号
[8] 莱利亚·布林；皮埃尔·弗拉吉奥德；Patt-Shamir，Boaz，《关于证明标签方案与沉默自稳定算法的比较》（SSS（2014）），18-32
[9] Mor Baruch；皮埃尔·弗拉吉奥德；Patt Shamir，Boaz，随机化证明标记方案，（PODC（2015）），315-324·Zbl 1333.68044号
[10] Mor Baruch；拉斐尔·奥斯特罗夫斯基；Rosenbaum，Will，分布式验证的时空权衡（2016）·Zbl 1374.68270号
[11] 威廉·库克。；威廉·坎宁安。；滑轮板，William R。；Alexander Schrijver，《组合优化》（1998），John Wiley&Sons，Inc.：纽约John Willey&Sons公司·Zbl 0909.90227号
[12] Shiri Chechik；丹尼尔·拉金（Daniel H.Larkin）。；利亚姆·罗德蒂；Grant Schoenebeck；罗伯特·恩德雷（Robert Endre Tarjan）；Vassilevska Williams，弗吉尼亚州，《图形直径的更好近似算法》（SODA（2014）），1041-1052·Zbl 1421.68199号
[13] Das Sarma，A。；霍尔泽，S。；科尔·L。；科尔曼，A。；Nanongkai，D。；潘杜拉根，G。；佩莱格，D。；Wattenhofer，R.，分布式近似的分布式验证和硬度，SIAM J.Compute。，41, 5, 1235-1265 (2012) ·Zbl 1259.68227号
[14] 劳伦特·费伊洛利（Laurent Feuilloley）；Pierre Fraignaud，分布式决策调查，布尔。欧洲协会。计算。科学。EATCS，119（2016）·Zbl 1409.68043号
[15] 劳伦特·费伊洛利（Laurent Feuilloley）；皮埃尔·弗拉吉奥德；Hirvonen，Juho，《地方决策层级》（ICALP（2016）），118:1-118:15·Zbl 1388.68062号
[16] 皮埃尔·弗拉吉奥德；戈什，米卡；阿莫斯·科尔曼；Suomela，Jukka，没有标识符，什么可以在本地决定？，（PODC（2013），ACM），157-165·Zbl 1323.68031号
[17] 皮埃尔·弗拉吉奥德；Halldórsson，Magnús M。；阿莫斯·科尔曼，《标识符对地方决策的影响》（OPODIS（2012）），第224-238页·Zbl 1323.68032号
[18] 皮埃尔·弗拉吉奥德；希尔沃宁，朱霍；Suomela，Jukka，地方决策中的节点标签，（SIROCCO（2015）），31-45·Zbl 1409.68044号
[19] 皮埃尔·弗拉吉奥德；阿莫斯·科尔曼；Peleg，David，《走向局部分布式计算的复杂性理论》，J.ACM，60，5，35（2013）·Zbl 1281.68133号
[20] 福斯特，克劳斯·蒂科；托马斯·吕迪（Thomas Luedi）；Jochen Seidel；Wattenhofer，Roger，《本地可检查性，无附加条件》（ICDCN（2016），ACM），21:1-21:10·Zbl 1382.68017号
[21] 福斯特，克劳斯·蒂科；奥利弗·里希特；Jochen Seidel；Roger Wattenhofer，《动态网络中的局部可检查性》（ICDCN（2017），ACM），4:1-4:10
[22] Fraignaud，P。；Rajsbaum，S。；Travers，C.，《无等待计算中的位置性和可检查性》，Distribute.Compute。，26, 4, 223-242 (2013) ·Zbl 1311.68026号
[23] 皮埃尔·弗拉吉奥德；塞尔吉奥·拉杰斯鲍姆；Travers，Corentin，关于分布式系统中容错运行时监控所需的意见数量，（RV（2014）），92-107
[24] 戈什，米卡；Suomela，Jukka，分布式计算中的局部可检查证明，理论计算。，12, 1, 1-33 (2016) ·Zbl 1401.68085号
[25] 斯蒂芬·霍尔泽（Stephan Holzer）；大卫·佩勒（David Peleg）；利亚姆·罗德蒂；Wattenhofer，Roger，直径的分布式3/2近似，（DISC（2014）），562-564
[26] 斯蒂芬·霍尔泽（Stephan Holzer）；Roger Wattenhofer，《最优分布式所有对最短路径和应用》（PODC（2012）），第355-364页·Zbl 1301.68256号
[27] 阿莫斯·科尔曼；Kutten，Shay，最小生成树的分布式验证，Distribute.Compute。，20, 253-266 (2007) ·兹比尔1266.68217
[28] 阿莫斯·科尔曼；谢·库顿（Shay Kutten）；Masuzawa，Toshimitsu，MST的快速和紧凑自稳定验证、计算和故障检测（PODC（2011）），311-320·兹比尔1321.68348
[29] 阿莫斯·科尔曼；谢·库顿（Shay Kutten）；Peleg，David，证明标签方案，Distrib.Comput。，22, 4, 215-233 (2010) ·Zbl 1267.68061号
[30] 库什利维茨（Eyal Kushilevitz）；尼桑，诺姆，《通信复杂性》（1997），剑桥大学出版社：剑桥大学出版社，纽约·Zbl 0869.68048号
[31] 大卫·佩勒（David Peleg）；利亚姆·罗德蒂；Tal，Elad，网络直径和周长的分布式算法，（ICALP（2012）），660-672·Zbl 1343.68283号
[32] 利亚姆·罗德蒂；Vassilevska Williams，弗吉尼亚州，稀疏图直径和半径的快速近似算法，（STOC（2013）），515-524·Zbl 1293.05184号
[33] Schrijver，A.，组合优化-多面体和效率（2003），Springer·Zbl 1041.90001号
[34] Vazirani，Vijay V.，近似算法（2001），Springer·兹伯利1138.90417
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。