Giuseppe Antonio Di Luna , Paola Flocchini , Giuseppe Prencipe , Nicola Santoro
{"title":"定位动态环中的黑洞","authors":"Giuseppe Antonio Di Luna , Paola Flocchini , Giuseppe Prencipe , Nicola Santoro","doi":"10.1016/j.jpdc.2024.104998","DOIUrl":null,"url":null,"abstract":"<div><div>In networked environments supporting mobile agents, a pressing problem is the presence of network sites harmful for the agents. In this paper we consider the danger posed by a node that destroys any incoming agent without leaving any trace. Such a dangerous node is known in the literature as a <em>black hole</em> (<span>Bh</span>). The problem of a team of system agents determining its location, known as <em>black hole search</em> (<span>Bhs</span> ), has been extensively studied in the literature under a variety of assumptions, both in synchronous and asynchronous settings. The main complexity parameter of <span>Bhs</span> <!-->is the number of system agents (called <em>size</em>) needed to solve the problem; other parameters are the number of moves (called <em>cost</em>) performed by the agents, and the <em>time</em> until termination.</div><div>In the existing literature, with only a couple of exceptions, all results are based on a common assumption that the network is <em>static</em>, i.e. its topology does not change in time. We consider instead the <span>Bhs</span> <!-->when the network is <em>dynamic</em>: the link structure of the graph changes over time. While time-varying graphs have been the focus of intense research in the last two decades, very little is known on the problem of locating the <span>Bh</span> in such networks.</div><div>In this paper, we contribute to fill this research gap by studying <span>Bhs</span> <!-->in <em>dynamic ring</em> networks, focusing on the <em>1-interval connectivity</em> adversarial dynamics. Feasibility and complexity of the problem depend on many factors, specifically on the size <em>n</em> of the ring, whether or not <em>n</em> is known, and the type of inter-agent communication (whiteboards, tokens, face-to-face, visual). In this paper, we provide a <em>complete</em> feasibility characterization presenting size optimal algorithms. Furthermore, we establish lower bounds on the cost and time of size-optimal solutions and show that our algorithms achieve those bounds.</div></div>","PeriodicalId":54775,"journal":{"name":"Journal of Parallel and Distributed Computing","volume":null,"pages":null},"PeriodicalIF":3.4000,"publicationDate":"2024-10-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Locating a black hole in a dynamic ring\",\"authors\":\"Giuseppe Antonio Di Luna , Paola Flocchini , Giuseppe Prencipe , Nicola Santoro\",\"doi\":\"10.1016/j.jpdc.2024.104998\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><div>In networked environments supporting mobile agents, a pressing problem is the presence of network sites harmful for the agents. In this paper we consider the danger posed by a node that destroys any incoming agent without leaving any trace. Such a dangerous node is known in the literature as a <em>black hole</em> (<span>Bh</span>). The problem of a team of system agents determining its location, known as <em>black hole search</em> (<span>Bhs</span> ), has been extensively studied in the literature under a variety of assumptions, both in synchronous and asynchronous settings. The main complexity parameter of <span>Bhs</span> <!-->is the number of system agents (called <em>size</em>) needed to solve the problem; other parameters are the number of moves (called <em>cost</em>) performed by the agents, and the <em>time</em> until termination.</div><div>In the existing literature, with only a couple of exceptions, all results are based on a common assumption that the network is <em>static</em>, i.e. its topology does not change in time. We consider instead the <span>Bhs</span> <!-->when the network is <em>dynamic</em>: the link structure of the graph changes over time. While time-varying graphs have been the focus of intense research in the last two decades, very little is known on the problem of locating the <span>Bh</span> in such networks.</div><div>In this paper, we contribute to fill this research gap by studying <span>Bhs</span> <!-->in <em>dynamic ring</em> networks, focusing on the <em>1-interval connectivity</em> adversarial dynamics. Feasibility and complexity of the problem depend on many factors, specifically on the size <em>n</em> of the ring, whether or not <em>n</em> is known, and the type of inter-agent communication (whiteboards, tokens, face-to-face, visual). In this paper, we provide a <em>complete</em> feasibility characterization presenting size optimal algorithms. Furthermore, we establish lower bounds on the cost and time of size-optimal solutions and show that our algorithms achieve those bounds.</div></div>\",\"PeriodicalId\":54775,\"journal\":{\"name\":\"Journal of Parallel and Distributed Computing\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":3.4000,\"publicationDate\":\"2024-10-18\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Journal of Parallel and Distributed Computing\",\"FirstCategoryId\":\"94\",\"ListUrlMain\":\"https://www.sciencedirect.com/science/article/pii/S074373152400162X\",\"RegionNum\":3,\"RegionCategory\":\"计算机科学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q1\",\"JCRName\":\"COMPUTER SCIENCE, THEORY & METHODS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of Parallel and Distributed Computing","FirstCategoryId":"94","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S074373152400162X","RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"COMPUTER SCIENCE, THEORY & METHODS","Score":null,"Total":0}
In networked environments supporting mobile agents, a pressing problem is the presence of network sites harmful for the agents. In this paper we consider the danger posed by a node that destroys any incoming agent without leaving any trace. Such a dangerous node is known in the literature as a black hole (Bh). The problem of a team of system agents determining its location, known as black hole search (Bhs ), has been extensively studied in the literature under a variety of assumptions, both in synchronous and asynchronous settings. The main complexity parameter of Bhs is the number of system agents (called size) needed to solve the problem; other parameters are the number of moves (called cost) performed by the agents, and the time until termination.
In the existing literature, with only a couple of exceptions, all results are based on a common assumption that the network is static, i.e. its topology does not change in time. We consider instead the Bhs when the network is dynamic: the link structure of the graph changes over time. While time-varying graphs have been the focus of intense research in the last two decades, very little is known on the problem of locating the Bh in such networks.
In this paper, we contribute to fill this research gap by studying Bhs in dynamic ring networks, focusing on the 1-interval connectivity adversarial dynamics. Feasibility and complexity of the problem depend on many factors, specifically on the size n of the ring, whether or not n is known, and the type of inter-agent communication (whiteboards, tokens, face-to-face, visual). In this paper, we provide a complete feasibility characterization presenting size optimal algorithms. Furthermore, we establish lower bounds on the cost and time of size-optimal solutions and show that our algorithms achieve those bounds.
期刊介绍:
This international journal is directed to researchers, engineers, educators, managers, programmers, and users of computers who have particular interests in parallel processing and/or distributed computing.
The Journal of Parallel and Distributed Computing publishes original research papers and timely review articles on the theory, design, evaluation, and use of parallel and/or distributed computing systems. The journal also features special issues on these topics; again covering the full range from the design to the use of our targeted systems.