Vi anser att den välkända distribuerade inställningen av beräknings mobila enheter, kallas robotar, som arbetar i Euclidean planet i Look-Compute-Move (LCM) cykler. Vi undersöker den beräkningsmässiga effekten av att utöka robotarnas kapacitet genom att förse dem med ett externt synligt minnesregister, kallat ljus, vars värden, kallade färger, är ihållande, det vill säga att de inte automatiskt återställs i slutet av varje cykel. Vi hänvisar till så begåvade entiteter som lysande robotar. Vi studerar den beräkningskraft av lysande robotar med avseende på de tre huvudinställningarna för aktivering och synkronisering: fullt synkron, semisynkron och asynkron. Vi fastställer flera resultat. Ett viktigt bidrag är det konstruktiva beviset på att asynkrona robotar, upplysta med ett konstant antal färger, är mycket kraftfullare än traditionella semisynkrona robotar. Vi bevisar också konstruktivt att skillnaden mellan asynkroni och semisynkroni försvinner för självlysande robotar. Detta resultat måste ställas i kontrast till den strikta dominansen mellan modellerna utan ljus (även om robotarna förstärks med en obegränsad mängd bestående inre minne). Dessutom visar vi att det finns problem som robotar inte kan lösa utan ljus, även om de är fullt synkrona, men kan lösas av asynkrona lysande robotar med O(1) färger. Det är fortfarande öppet om asynkrona lysande robotar med O(1) färger är mer kraftfulla än fullt synkrona robotar utan ljus. Vi bevisar att så verkligen är fallet om robotarna har den extra förmågan att minnas en enda ögonblicksbild. Detta visar i sin tur att för asynkrona robotar, att ha O(1) färger och en enda ögonblicksbild gör dem mer kraftfulla än att ha en obegränsad mängd ihållande minne (inklusive ögonblicksbilder) men inga ljus.
För att kringgå ovannämnda omöjlighet resultat, föreslogs det att förse varje robot med en ljus REF, det vill säga, det är kapabel att avge ett fast antal färger som är synliga för alla andra robotar.
Autonomous mobile robots with lights
{'venue': 'Theor. Comput. Sci.', 'journal': 'Theor. Comput. Sci.', 'mag_field_of_study': ['Mathematics', 'Computer Science']}