×
伊万格洛斯·班帕;大卫·伊尔辛卡斯

关于移动代理可验证的问题。 （英语） Zbl 1391.68037号

Inf.计算。 260, 51-71 (2018).
摘要：我们考虑由在未知匿名网络中运行的同步移动代理以分布式方式解决的决策问题。每个代理都有一个唯一的标识符和一个输入字符串，它们必须共同决定一个可能涉及其输入字符串的属性，即它们在其上运行的图形，以及他们特定的起始位置。基于最近的工作P.弗拉吉奥德和A.骨盆【Lect.Notes Compute.Sci.7256，362–374（2012；兹比尔1353.68090)]，我们引入了几个新的自然可计算性类，以便对以下问题进行更精细的分类微型飞行器或其补足类联合MAV，前者是当代理获得适当的证书时可以验证的一类问题。我们在所有这些类中提供包含和分离结果。我们还确定了它们关于集合理论操作的闭包属性。我们的主要技术工具是一种新的元协议，它可以并行地执行可能无限数量的移动代理协议，这与经典可计算性理论中众所周知的衔接技术类似。

引用于1审查

MSC公司：

2010年第68季度 计算模式（非确定性、并行、交互式、概率性等）
64岁以下 分布式系统
2015年第68季度 复杂性类（层次结构、复杂性类之间的关系等）

引文：

Zbl 1353.68090号
PDF格式BibTeX公司 XML格式引用
\textit{E.Bampas}和\textit{D.Ilcinkas}，Inf.Comput。260、51-71（2018；Zbl 1391.68037）
全文： 内政部 哈尔

参考文献：

[1] Ambühl，C。；Gasieniec，L。；佩尔克，A。；Radzik，T。；Zhang，X.，对数记忆树探索，ACM Trans。算法，7，2，第17条pp.（2011）·Zbl 1295.68203号
[2] Blin，L。；Fraigniaud，P。；Nisse，N。；Vial，S.，《分布式追捕网络入侵者》，Theor。计算。科学。，399, 1-2, 12-37 (2008) ·Zbl 1146.68013号
[3] Boldi，P。；Vigna，S.，《匿名网络中可计算性的有效表征》（DISC 2001）。DISC 2001，LNCS，第2180卷（2001），Springer），33-47·Zbl 1024.68508号
[4] Boldi，P。；Vigna，S.，通用动态同步自稳定，分布式计算。，15, 3, 137-153 (2002) ·Zbl 1448.68075号
[5] 审查员-希尔，K。；Fischer，E。；施瓦茨曼，G。；Vasudev，Y.，《测试图形属性的快速分布式算法》（DISC 2016）。DISC 2016，LNCS，第9888卷（2016），施普林格），43-56·Zbl 1393.68181号
[6] Chalopin，J。；戈达尔，E。；Métiver，Y.，《匿名网络中的本地终端和分布式可计算性》（DISC 2008）。DISC 2008，LNCS，第5218卷（2008），施普林格），47-62·Zbl 1161.68329号
[7] Chalopin，J。；戈达尔，E。；Métivier，Y。；Tel，G.，关于异步消息传递模型中的终止检测（SOFSEM 2007）。SOFSEM 2007，LNCS，第4362卷（2007），Springer），200-211·Zbl 1130.68078号
[8] Chandra，T.D。；Toueg，S.，《可靠分布式系统的不可靠故障检测器》，J.ACM，43，2，225-267（1996）·Zbl 0885.68021号
[9] Das，S.，《分布式计算中的移动代理：网络探索》，Bull。欧洲理论协会。计算。科学。，109, 54-69 (2013) ·Zbl 1394.68033号
[10] 达斯，S。；库顿，S。；Lotker，Z.，《使用移动代理的分布式验证》（ICDCN 2013）。ICDCN 2013，LNCS，第7730卷（2013），施普林格），330-347·Zbl 1351.68037号
[11] Das Sarma，A。；霍尔泽，S。；科尔·L。；科尔曼，A。；Nanongkai，D。；潘杜拉根，G。；佩莱格，D。；Wattenhofer，R.，分布式近似的分布式验证和硬度，SIAM J.Compute。，41, 5, 1235-1265 (2012) ·Zbl 1259.68227号
[12] Dobrev，S。；小西葫芦，P。；普伦西佩，G。；Santoro，N.，《在任意网络中搜索黑洞：最佳移动代理协议》，Distribute.Compute。，19, 1, 1-18 (2006) ·Zbl 1266.68208号
[13] Emek，Y。；普菲斯特，C。；塞德尔，J。；Wattenhofer，R.，《匿名网络：随机化=2次着色》，（PODC 2014（2014），ACM），96-105·Zbl 1321.68463号
[14] Feuilloley，L。；Fraignaud，P.，分布式决策调查，布尔。欧洲理论协会。计算。科学。，119 (2016) ·Zbl 1409.68043号
[15] Fomin，F.V。；Thilikos，D.M.，关于保证图搜索的注释书目，Theor。计算。科学。，399, 3, 236-245 (2008) ·Zbl 1160.68007号
[16] Fraigniaud，P。；Gös，M。；科尔曼，A。；Suomela，J.，没有标识符，什么可以在本地决定？，（PODC 2013（2013），ACM），157-165·Zbl 1323.68031号
[17] Fraigniaud，P。；Halldórsson，M.M。；Korman，A.，《标识符对地方决策的影响》（OPODIS 2012）。OPODIS 2012，LNCS，第7702卷（2012），施普林格），224-238·Zbl 1323.68032号
[18] Fraigniaud，P。；科尔曼，A。；Peleg，D.，面向局部分布式计算的复杂性理论，J.ACM，60，5，35（2013）·Zbl 1281.68133号
[19] Fraigniaud，P。；Pelc，A.，移动代理计算的决策类，J.Parallel Distribute.Compute。，109, 117-128 (2017)
[20] Fraigniaud，P。；Rajsbaum，S。；Travers，C.，《无等待计算中的位置性和可检查性》，Distribute.Compute。，26, 4, 223-242 (2013) ·Zbl 1311.68026号
[21] 哥尔斯，M。；Suomela，J.，分布式计算中的局部可检查证明，理论计算。，12, 1, 1-33 (2016) ·Zbl 1401.68085号
[22] Herlihy，M.，无等待同步，ACM Trans。程序。语言系统。，13, 1, 124-149 (1991)
[23] 科尔曼，A。；库顿，S。；Peleg，D.，证明标签方案，分布式计算。，2215-233（2010年）·Zbl 1267.68061号
[24] Lange博士。；大岛，M.，移动代理的七个好理由，Commun。美国医学会，42，3，88-89（1999）
[25] Markou，E.，使用移动代理识别网络中的敌对节点，Bull。欧洲理论协会。计算。科学。，108, 93-129 (2012) ·Zbl 1394.68017号
[26] 莫尼·纳尔，M。；Stockmeyer，L.J.，什么可以在本地计算？，SIAM J.计算。，24, 6, 1259-1277 (1995) ·兹比尔0845.68006
[27] Pelc，A.，《网络中的确定性集合：综合调查》，《网络》，第59、3、331-347页（2012年）
[28] 山下，M。；Kameda，T.，《异步匿名网络上的计算功能》，数学。系统。理论，29，4，331-356（1996）·Zbl 0848.68007号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。