We study the black hole search problem of k mobile agents in synchronous Byzantine environments. The goal of the black hole search problem is to detect a black hole node, which deletes all agents visiting the node without any trace. We assume that the graph topology is arbitrary, each agent has a unique ID, and at most (Formula presented) strongly Byzantine agents exist. Under these assumptions, we propose an algorithm that detects a black hole node in (Formula presented) rounds when (Formula presented) holds, where n is the number of nodes. We also show that it is impossible to solve the black hole search problem when (Formula presented) holds, where (Formula presented) is an upper bound of the number of crash agents. Since a crash fault is a special case of a Byzantine fault, the above result also applies to strongly Byzantine agents. This implies that our proposed algorithm is optimal in terms of the number of tolerable faulty agents. To the best of our knowledge, this is the first work to address the black hole search problem with Byzantine agents.
CITATION STYLE
Tsuchida, M., Ooshita, F., & Inoue, M. (2019). Black Hole Search Despite Byzantine Agents. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 11914 LNCS, pp. 354–367). Springer. https://doi.org/10.1007/978-3-030-34992-9_28
Mendeley helps you to discover research relevant for your work.