{"@context":"https:\/\/schema.org\/","@type":"ScholarlyArticle","@id":"#article6846","name":"Telling convex from reflex allows to map a polygon","abstract":"We consider the exploration of a simple polygon P by a robot that moves from vertex to vertex along edges of the visibility graph of P. The visibility graph has a vertex for every vertex of P and an edge between two vertices if they see each other, i.e.~if the line segment connecting them lies inside $P$ entirely. While located at a vertex, the robot is capable of ordering the vertices it sees in counter-clockwise order as they appear on the boundary, and for every two such vertices, it can distinguish whether the angle between them is convex (<= pi) or reflex (> pi). Other than that, distant vertices are indistinguishable to the robot. We assume that an upper bound on the number of vertices is known and show that the robot is always capable of reconstructing the visibility graph of P. We also show that multiple identical, indistinguishable and deterministic such robots can always position themselves such that they mutually see each other, i.e. such that they form a clique in the visibility graph.","keywords":["polygon mapping","map construction","autonomous agent","simple robot","visibility graph reconstruction"],"author":[{"@type":"Person","name":"Chalopin, Jeremie","givenName":"Jeremie","familyName":"Chalopin"},{"@type":"Person","name":"Das, Shantanu","givenName":"Shantanu","familyName":"Das"},{"@type":"Person","name":"Disser, Yann","givenName":"Yann","familyName":"Disser"},{"@type":"Person","name":"Mihalak, Matus","givenName":"Matus","familyName":"Mihalak"},{"@type":"Person","name":"Widmayer, Peter","givenName":"Peter","familyName":"Widmayer"}],"position":13,"pageStart":153,"pageEnd":164,"dateCreated":"2011-03-11","datePublished":"2011-03-11","isAccessibleForFree":true,"license":"https:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/legalcode","copyrightHolder":[{"@type":"Person","name":"Chalopin, Jeremie","givenName":"Jeremie","familyName":"Chalopin"},{"@type":"Person","name":"Das, Shantanu","givenName":"Shantanu","familyName":"Das"},{"@type":"Person","name":"Disser, Yann","givenName":"Yann","familyName":"Disser"},{"@type":"Person","name":"Mihalak, Matus","givenName":"Matus","familyName":"Mihalak"},{"@type":"Person","name":"Widmayer, Peter","givenName":"Peter","familyName":"Widmayer"}],"copyrightYear":"2011","accessMode":"textual","accessModeSufficient":"textual","creativeWorkStatus":"Published","inLanguage":"en-US","sameAs":"https:\/\/doi.org\/10.4230\/LIPIcs.STACS.2011.153","publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","isPartOf":{"@type":"PublicationVolume","@id":"#volume6212","volumeNumber":9,"name":"28th International Symposium on Theoretical Aspects of Computer Science (STACS 2011)","dateCreated":"2011-03-10","datePublished":"2011-03-10","editor":[{"@type":"Person","name":"Schwentick, Thomas","givenName":"Thomas","familyName":"Schwentick"},{"@type":"Person","name":"D\u00fcrr, Christoph","givenName":"Christoph","familyName":"D\u00fcrr"}],"isAccessibleForFree":true,"publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","hasPart":"#article6846","isPartOf":{"@type":"Periodical","@id":"#series116","name":"Leibniz International Proceedings in Informatics","issn":"1868-8969","isAccessibleForFree":true,"publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","hasPart":"#volume6212"}}}