{"title":"Bike-assisted evacuation of robots on a line with asymmetric S/R communication","authors":"Khaled Jawhar , Evangelos Kranakis","doi":"10.1016/j.tcs.2025.115438","DOIUrl":null,"url":null,"abstract":"<div><div>Two autonomous mobile robots and a non-autonomous one, also called bike, are placed at the origin of an infinite line. The autonomous robots can travel with maximum speed 1. When a robot rides the bike its speed increases to <span><math><mi>v</mi><mo>></mo><mn>1</mn></math></span>. Exactly one robot at a time can ride the bike, moreover the bike is non-autonomous in that it cannot move on its own. An Exit is placed on the line at a location which is unknown to the robots and at distance <em>d</em> from the origin. The robots have limited communication behavior; one robot is a sender (denoted by S) in that it can send information wirelessly at any distance and receive messages only in F2F (Face-to-Face), while the other robot is a receiver (denoted by R) in that it can receive information wirelessly but can send information only F2F. The bike has no communication capabilities of its own. We refer to the resulting communication model of the ensemble of the two autonomous robots and the bike as S/R.</div><div>Our general goal is to understand the impact of the non-autonomous robot in assisting the evacuation of two communication-limited autonomous robots. Our main contribution is to provide a new evacuation algorithm that enables both robots to evacuate from the unknown Exit in the S/R model. We also analyze the resulting evacuation time as a function of the bike's speed <em>v</em> and give upper and lower bounds on the competitive ratio of the resulting algorithm for the entire range of possible values of <em>v</em>.</div></div>","PeriodicalId":49438,"journal":{"name":"Theoretical Computer Science","volume":"1053 ","pages":"Article 115438"},"PeriodicalIF":1.0000,"publicationDate":"2025-07-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Theoretical Computer Science","FirstCategoryId":"94","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S0304397525003767","RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"COMPUTER SCIENCE, THEORY & METHODS","Score":null,"Total":0}
引用次数: 0
Abstract
Two autonomous mobile robots and a non-autonomous one, also called bike, are placed at the origin of an infinite line. The autonomous robots can travel with maximum speed 1. When a robot rides the bike its speed increases to . Exactly one robot at a time can ride the bike, moreover the bike is non-autonomous in that it cannot move on its own. An Exit is placed on the line at a location which is unknown to the robots and at distance d from the origin. The robots have limited communication behavior; one robot is a sender (denoted by S) in that it can send information wirelessly at any distance and receive messages only in F2F (Face-to-Face), while the other robot is a receiver (denoted by R) in that it can receive information wirelessly but can send information only F2F. The bike has no communication capabilities of its own. We refer to the resulting communication model of the ensemble of the two autonomous robots and the bike as S/R.
Our general goal is to understand the impact of the non-autonomous robot in assisting the evacuation of two communication-limited autonomous robots. Our main contribution is to provide a new evacuation algorithm that enables both robots to evacuate from the unknown Exit in the S/R model. We also analyze the resulting evacuation time as a function of the bike's speed v and give upper and lower bounds on the competitive ratio of the resulting algorithm for the entire range of possible values of v.
期刊介绍:
Theoretical Computer Science is mathematical and abstract in spirit, but it derives its motivation from practical and everyday computation. Its aim is to understand the nature of computation and, as a consequence of this understanding, provide more efficient methodologies. All papers introducing or studying mathematical, logic and formal concepts and methods are welcome, provided that their motivation is clearly drawn from the field of computing.