×
马蒂亚·德埃米迪奥;丹尼尔·弗里吉奥尼;阿尔弗雷多·纳瓦拉

使用移动实体探索和修复带有黑洞的图形。 （英语） Zbl 1330.68222号

西奥。计算。科学。 605, 129-145 (2015).
摘要：在本文中，我们研究了移动实体必须同步浏览和修复包含故障节点的图（通常称为黑洞，摧毁任何进入实体。我们考虑这样一种情况，即通过黑洞破坏实体也会影响固定范围内的所有实体（就边数而言），而黑洞会消失。显然，如果图中存在黑洞，则需要使用（k\geq-b）实体从该图中删除所有黑洞。我们要求确保所有图形安全所需的最小同步步骤数。
本文的结果既是理论上的，也是实验上的，可以总结如下。从理论角度来看，首先我们证明即使对于（b=k=1），问题也是NP-hard的。然后，我们给出了当\（r\geq 0\）时的一般下界保持，以及当\（r>0\）的情况下的更高下界保持。然后我们考虑\（r\leq 1）的情况。我们提出了当（k）无界时的最优解保持，即有无限多个机器人可用。然后，我们提供了三种不同的探索策略，命名为蛇,童子军、和并行计数器分别在有界的情况下，即机器人的数量是先验确定的。然后根据时间复杂度对下界进行分析。从实验的角度来看，我们实施了这三种策略，并在不同的场景中对其进行了测试，以评估其实际性能。实验证实了理论分析，并表明并行计数器一直是实践中最好的探索策略。

引用于4文件

MSC公司：

68兰特 计算机科学中的图论（包括图形绘制）
05C85号 图形算法（图形理论方面）
68米15 网络和计算机系统的可靠性、测试和容错
65年第68季度 算法和问题复杂性分析

关键词：

移动实体;黑洞;探索算法;时间复杂性;实验

软件：

OMNet公司++
PDF格式BibTeX公司 XML格式引用
\textit{M.D'Emidio}等人，Theor。计算。科学。605129--145（2015；Zbl 1330.68222）
全文： DOI程序

参考文献：

[1] D’Emidio，M。；Frigioni，D。；Navarra，A.，《使用移动实体探索和建立安全危险网络》，（第十二届特设网络和无线国际会议
[2] 小西葫芦，P。；伊尔辛卡斯，D。；佩尔克，A。；Santoro，N.，《无通信计算：异步遗忘机器人的环形探测》，Algorithmica，65，562-583（2013）·Zbl 1272.68399号
[3] Gąsieniec，L。；Klasing，R。；马丁·R·A。；纳瓦拉，A。；Zhang，X.，具有恒定记忆的快速周期图探索，J.Compute。系统科学。，74, 5, 802-822 (2008) ·Zbl 1149.68048号
[4] Gąsieniec，L。；Radzik，T.，内存高效匿名图探索，（计算机科学中的图论概念（2008），Springer-Verlag:Springer-Verlag Berlin，Heidelberg），14-29·Zbl 1202.68277号
[5] Kosowski，A。；Navarra，A.，《改进无记忆周期探索的图形分解》，《算法》，63，1-2，26-38（2012）·Zbl 1241.05114号
[6] Czyzowicz，J。；科瓦尔斯基博士。；马库，E。；Pelc，A.，《在同步树网络中搜索黑洞》，Combin.Probab。计算。，16, 595-619 (2007) ·Zbl 1130.68029号
[7] Klasing，R。；马库，E。；Radzik，T。；Sarracco，F.，黑洞搜索问题的近似边界，网络，52，4，216-226（2008）·Zbl 1157.68073号
[8] 多布雷夫，S。；西葫芦，P。；普伦西，G。；Santoro，N.，《在任意网络中搜索黑洞：最佳移动代理协议》，Distribute.Compute。，19, 1, 1-18 (2006) ·Zbl 1266.68208号
[9] Dobrev，S。；小西葫芦，P。；普伦西佩，G。；Santoro，N.，移动搜索匿名环中的黑洞，Algorithmica，48,167-902（2007）·Zbl 1123.68018号
[10] Czyzowicz，J。；Dobrev，S。；Kralovic，R。；Miklik，S。；Pardubska，D.，有向图中的黑洞搜索，（第16届结构信息和通信复杂性国际学术讨论会论文集，第16届结构化信息和通信复杂度国际学术讨论会议论文集，SIROCCO，第16期国际学术会议论文集。结构信息和通信复杂性座谈会。程序。第16届结构信息与通信复杂性国际学术讨论会，SIROCCO，计算机科学讲稿，第5869卷（2009），182-194·Zbl 1274.68271号
[11] Kosowski，A。；纳瓦拉，A。；Pinotti，C.，有向图中的同步黑洞搜索，Theoret。计算。科学。，412, 41, 5752-5759 (2011) ·Zbl 1226.68071号
[12] Dobrev，S。；小西葫芦，P。；Santoro，N.，《带地图的网络中优化黑洞搜索边界的改进》，（第11届国际结构信息和通信复杂性学术讨论会论文集。结构信息和通信复杂性座谈会。程序。第11届结构信息与通信复杂性国际学术讨论会，SIROCCO，《计算机科学讲稿》，第3104卷（2004年），第111-122页·Zbl 1085.68601号
[13] 巴拉莫汉，B。；小西葫芦，P。；Miri，A。；Santoro，N.，环中黑洞搜索的时间优化算法，离散数学。算法应用。，3, 4, 457-472 (2011) ·Zbl 1255.68285号
[14] Dobrev，S。；小西葫芦，P。；Kralovic，R。；普伦西佩，G。；鲁齐卡，P。；Santoro，N.，常见互连网络中的黑洞搜索，网络，47，2，61-71（2006）·兹伯利1134.68310
[15] 马库，E。；Paquette，M.，用同步分散有限自动机在无定向圆环中进行黑洞搜索和探索，（第16届国际分布式系统原理会议，第16届国家分布式系统原理大会，OPODIS，第16期国际分布式系统原则会议，第十六届国际分布式系统原理会议，OPODIS，LNCS，vol.7702（2012），施普林格），239-253
[16] 库珀，C。；Klasing，R。；Radzik，T.，《使用移动代理定位和修复网络中的故障》，Theoret。计算。科学。，411, 14-15, 1638-1647 (2010) ·Zbl 1191.68722号
[17] 小西葫芦，P。；伊尔辛卡斯，D。；Santoro，N.，《危险图中的乒乓球：带卵石的最优黑洞搜索》，Algorithmica，62，3-4，1006-1033（2012）·Zbl 1247.68028号
[18] Dobrev，S。；小西葫芦，P。；Královic，R。；Santoro，N.，使用记号探索未知危险图，Theoret。计算。科学。，472, 28-45 (2013) ·Zbl 1259.68159号
[19] 蔡，J。；小西葫芦，P。；Santoro，N.，从黑病毒中净化网络，Int.J.High。执行。计算。网络，4，1，151-173（2014）
[20] Garey，M.R。；Johnson，D.S.，《计算机与难处理性：NP-完全性理论指南》（1979），W.H.Freeman and Company：W.H.Freeman和Company New York·Zbl 0411.68039号
[21] OMNeT++，离散事件仿真环境
[22] Halldorson，M。；Radhakrishnan，J.，《贪婪很好：在稀疏和有界图中逼近独立集》，《算法》，第18期，第145-163页（1997年）·Zbl 0866.68077号
[23] Hyun，Y。；赫法克，B。；Andersen，D。；阿本，E。；香农，C。；Luckie，M。；Claffy，K.，CAIDA IPv4路由/24拓扑数据集
[24] 阿尔伯特·R。；Barabási，A.-L.，《随机网络中尺度的出现》，《科学》，286509-512（1999）·Zbl 1226.05223号
[25] Bollobás，B.，《随机图》（2001），剑桥大学出版社·Zbl 0979.05003号
[26] Fusy女士。，线性时间平面图的均匀随机抽样，随机结构算法，35，464-522（2009）·兹比尔1201.05096
[27] 埃托，H。；郭，F。；Miyano，E.，二部图和弦图的距离-（d\）独立集问题，（Lin，G.，组合优化和应用，组合优化与应用，计算机科学讲义，第7402卷（2012），Springer:Springer-Blin，Heidelberg），234-244·Zbl 1301.68135号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。