Vi introducerar studien av myrkolonin husjakt problem ur ett distribuerat datorperspektiv. När en myrkolonis bo blir olämpligt på grund av storleksbegränsningar eller skador, flyttar kolonin till ett nytt bo. Uppgiften att identifiera och utvärdera kvaliteten på potentiella nya bon fördelas på alla myror. De måste dessutom nå samförstånd om ett slutligt val av bo och transportera hela kolonin till detta enda nya bo. Vårt mål är att använda verktyg och tekniker från distribuerad datateori för att få insikt i husjaktsprocessen. Vi utvecklar en formell modell för husjakt problem inspirerad av beteendet hos Temnothorax släktet av myror. Vi visar sedan en lägre gräns på tiden för alla n myror att komma överens om ett av k kandidat bon. Vi presenterar också två algoritmer som löser problemet med husjakt i vår modell. Den första algoritmen löser problemet i optimal O(log n) tid men uppvisar vissa egenskaper som inte är karakteristiska för naturligt myrbeteende. Den andra algoritmen körs i O(k log n) tid och använder en extremt enkel och naturlig regel för varje myra att besluta om det nya boet.
På samma sätt, i REF Ghaffari et al. använda tekniker från distribuerad datateori för att få insikt i myrkolonin husjakt problem, där en uppsättning agenter måste identifiera potentiella bon, utvärdera kvaliteten på kandidater och nå samförstånd på ett distribuerat sätt.
Distributed House-Hunting in Ant Colonies
{'venue': "PODC '15", 'journal': None, 'mag_field_of_study': ['Computer Science']}