×

使用恒定数量的标记探索未知危险图。 (英语) Zbl 1332.68163号

摘要:考虑一组异步代理,它们必须在存在黑洞的情况下探索未知图,黑洞是一个摧毁所有传入代理而不留下任何可见痕迹的节点。代理之间的通信和协调是使用代理可以在节点上拾取、携带和丢弃的令牌来实现的。众所周知,如果代理具有\(G\)映射,则可以使用恒定数量的令牌来解决问题。我们研究的问题是,如果代理没有\(G)的映射,在什么条件下可以使用\(O(1)\)标记进行探索。本文的贡献是为这个问题提供一个明确的答案。我们首先证明了一个意外的负结果,即如果只有固定数量的令牌可用,那么\(\Delta+1)代理是不够的,其中\(\Delta\)是最大节点度。我们还证明,无论团队规模如何,两个令牌都是不够的。换句话说,任何使用固定数量令牌的解决方案协议都必须使用至少\({\Delta}+2\)个代理和至少三个令牌。
然后,我们通过提供一个协议来证明这些边界是紧密的,该协议允许仅使用三个标记和\({\Delta}+2\)代理来探索未知匿名危险图。我们解决方案的核心是一种新的基于令牌的异步通信协议,这是一个独立的兴趣。
我们的算法假设代理数量已知;如果代理的数量足够但未知,我们将证明该问题有一个只使用五个令牌的简单解决方案。

MSC公司:

68兰特 计算机科学中的图论(包括图形绘制)
05C85号 图形算法(图形理论方面)
68宽15 分布式算法
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] 阿尔伯斯,S。;Henzinger,M.R.,《探索未知环境》,SIAM J.Compute。,29, 1164-1188 (2000) ·Zbl 0947.68165号
[2] 巴拉莫汉,B。;小西葫芦,P。;Miri,A。;Santoro,N.,《改进环中黑洞搜索的最佳边界》,离散数学。算法应用。,3, 4, 457-472 (2011) ·Zbl 1255.68285号
[3] 本德,M。;费尔南德斯,A。;Ron博士。;Sahai,A。;Vadhan,S.,《鹅卵石的力量》,Inform。和计算。,176, 1, 1-21 (2002) ·Zbl 1012.68202号
[4] (Cao,J.;Das,J.K.,《网络和分布式计算中的移动代理》(2012),John Wiley&Sons)
[5] Chalopin,J。;达斯,S。;Labourel,A。;Markou,E.,用分散在同步圆环中的有限自动机进行黑洞搜索,(第25届分布式计算国际会议,第25届国际分布式计算会议,DISC(2011)),432-446·兹比尔1254.68053
[6] Chalopin,J。;达斯,S。;Labourel,A。;Markou,E.,同步环中分散代理黑洞搜索的紧边界,Theoret。计算。科学。,509, 70-85 (2013) ·Zbl 1358.68315号
[7] 库珀,C。;Klasing,R。;Radzik,T.,《使用多个代理搜索网络中的黑洞故障》,(第十届分布式系统原理国际会议,第十届国际分布式系统原理会议,OPODIS(2006)),320-332
[8] 库珀,C。;Klasing,R。;Radzik,T.,《使用移动代理定位和修复网络中的故障》,Theoret。计算。科学。,411, 14-15, 1638-1647 (2011) ·Zbl 1191.68722号
[9] Czyzowicz,J。;Dobrev,S。;Královic,R。;米克,S。;Pardubská,D.,有向图中的黑洞搜索,(第16届结构信息和通信复杂性国际学术讨论会,第16届结构性信息和通信复杂度国际学术讨论会议,SIROCCO(2009)),182-194·Zbl 1274.68271号
[10] Czyzowicz,J。;科瓦尔斯基,D.R。;马库,E。;Pelc,A.,《寻找黑洞的复杂性》,基金会。通知。,71, 2-3, 229-242 (2006) ·Zbl 1095.68078号
[11] Czyzowicz,J。;科瓦尔斯基,D.R。;马库,E。;Pelc,A.,《在同步树网络中搜索黑洞》,Combin.Probab。计算。,16, 4, 595-619 (2007) ·Zbl 1130.68029号
[12] 达斯,S。;小西葫芦,P。;库顿,S。;Nayak,A。;Santoro,N.,用多个代理构建未知图,Theoret。计算。科学。,385, 1-3, 34-48 (2007) ·Zbl 1124.68078号
[13] 邓,X。;Papadimitriou,C.H.,探索未知图形,《图论》,32,3,265-297(1999)·兹伯利0941.68099
[14] 迪克斯,K。;Fraigniaud,P。;克拉纳基斯,E。;Pelc,A.,《内存较少的树探索》,J.Algorithms,51,1,38-63(2004)·Zbl 1067.68100号
[15] Dobrev,S。;小西葫芦,P。;Královic,R。;Ruzicka,P。;普伦西,G。;Santoro,N.,公共互连网络中的黑洞搜索,networks,47,2,61-71(2006)·Zbl 1134.68310号
[16] Dobrev,S。;小西葫芦,P。;Královic,R。;Santoro,N.,使用记号探索未知危险图,Theoret。计算。科学。,472, 28-45 (2013) ·Zbl 1259.68159号
[17] Dobrev,S。;小西葫芦,P。;普伦西佩,G。;Santoro,N.,《在任意网络中搜索黑洞:最佳移动代理协议》,Distribute.Compute。,19, 1, 1-19 (2006) ·Zbl 1266.68208号
[18] 多布雷夫,S。;小西葫芦,P。;普伦西佩,G。;Santoro,N.,移动搜索匿名环中的黑洞,Algorithmica,48,67-90(2007)·Zbl 1123.68018号
[19] Dobrev,S。;Santoro,N。;Shi,W.,使用分散的移动代理在带有标记的无定向环中定位黑洞,Internat。J.发现。计算。科学。,19, 6, 1355-1372 (2008) ·Zbl 1171.68370号
[20] 小西葫芦,P。;伊尔辛卡斯,D。;Santoro,N.,《危险图中的乒乓球:带卵石的最优黑洞搜索》,Algorithmica,62,3-4,1006-1033(2012)·Zbl 1247.68028号
[21] 小西葫芦,P。;Kellett,M。;梅森,P。;Santoro,N.,分散在危险网络中的移动代理的地图构建和探索,(第24届IEEE国际并行和分布式处理研讨会。第24届EEE国际并行和分布处理研讨会,IPDPS(2009)),1-10
[22] 西葫芦,P。;Kellett,M。;梅森,P。;Santoro,N.,《在地铁中寻找黑洞》,理论计算。系统。,50, 1, 158-184 (2012) ·Zbl 1253.68032号
[23] Fraigniaud,P。;Gasieniec,L。;科瓦尔斯基,D。;Pelc,A.,《集体树探索》,《网络》,48,23,166-177(2006)·兹比尔1107.68065
[24] Fraigniaud,P。;伊尔辛卡斯,D。;佩尔,G。;佩尔克,A。;Peleg,D.,《有限自动机的图形探索》,Theoret。计算。科学。,345, 2-3, 331-344 (2005) ·Zbl 1081.68045号
[25] Glaus,P.,《在不了解传入链路的情况下定位黑洞》,(第五届无线传感器网络算法方面国际研讨会,第五届国际无线传感器网络的算法方面研讨会,ALGOSENSORS(2009)),128-138
[26] Klasing,R。;马库,E。;Radzik,T。;Sarracco,F.,《任意网络中黑洞搜索的硬度和近似结果》,Theoret。计算。科学。,384, 2-3, 201-221 (2007) ·Zbl 1125.68139号
[27] Klasing,R。;马库,E。;Radzik,T。;Sarracco,F.,黑洞搜索问题的近似边界,网络,52,4,216-226(2008)·Zbl 1157.68073号
[28] Kosowski,A。;纳瓦拉,A。;Pinotti,C.M.,有向图中的同步黑洞搜索,Theoret。计算。科学。,412,4155752-5759(2011年)·Zbl 1226.68071号
[29] Královic,R。;Miklík,S.,《含有恶意主机的环中的周期性数据检索问题》,(第17届结构信息和通信复杂性国际学术讨论会,第17届结构性信息和通信复杂度国际学术讨论会议,SIROCCO(2010)),157-167·Zbl 1284.68565号
[30] Panaite,P。;Pelc,A.,探索未知无向图,J.算法,33,281-295(1999)·Zbl 0957.68092号
[31] Shannon,Cl.E.,《迷宫解决机器的呈现》(Josiah Macy Jr.Found.(控制论)(1951)第八届会议),173-180
[32] Shi,W。;Garcia-Alfaro,J。;Corriveau,J.-P.,《使用移动代理和令牌在互联网络中搜索黑洞》,J.Parallel Distribute.Compute。,74, 1, 1945-1958 (2014)
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。