[{"type":"journal_article","abstract":[{"text":"When can a polyomino piece of paper be folded into a unit cube? Prior work studied tree-like polyominoes, but polyominoes with holes remain an intriguing open problem. We present sufficient conditions for a polyomino with one or several holes to fold into a cube, and conditions under which cube folding is impossible. In particular, we show that all but five special “basic” holes guarantee foldability.","lang":"eng"}],"author":[{"full_name":"Aichholzer, Oswin","first_name":"Oswin","last_name":"Aichholzer"},{"full_name":"Akitaya, Hugo A.","first_name":"Hugo A.","last_name":"Akitaya"},{"first_name":"Kenneth C.","full_name":"Cheung, Kenneth C.","last_name":"Cheung"},{"first_name":"Erik D.","full_name":"Demaine, Erik D.","last_name":"Demaine"},{"last_name":"Demaine","full_name":"Demaine, Martin L.","first_name":"Martin L."},{"last_name":"Fekete","first_name":"Sándor P.","full_name":"Fekete, Sándor P."},{"last_name":"Kleist","full_name":"Kleist, Linda","first_name":"Linda"},{"last_name":"Kostitsyna","full_name":"Kostitsyna, Irina","first_name":"Irina"},{"last_name":"Löffler","first_name":"Maarten","full_name":"Löffler, Maarten"},{"id":"45CFE238-F248-11E8-B48F-1D18A9856A87","first_name":"Zuzana","full_name":"Masárová, Zuzana","orcid":"0000-0002-6660-1322","last_name":"Masárová"},{"last_name":"Mundilova","first_name":"Klara","full_name":"Mundilova, Klara"},{"first_name":"Christiane","full_name":"Schmidt, Christiane","last_name":"Schmidt"}],"date_published":"2020-08-31T00:00:00Z","external_id":{"arxiv":["1910.09917v3"]},"article_processing_charge":"No","_id":"8317","quality_controlled":"1","oa":1,"department":[{"_id":"HeEd"}],"publication":"Computational Geometry: Theory and Applications","scopus_import":"1","doi":"10.1016/j.comgeo.2020.101700","date_updated":"2020-09-10T10:09:40Z","main_file_link":[{"url":"https://arxiv.org/abs/1910.09917v3","open_access":"1"}],"language":[{"iso":"eng"}],"publication_status":"inpress","date_created":"2020-08-30T22:01:09Z","title":"Folding polyominoes with holes into a cube","article_type":"original","citation":{"chicago":"Aichholzer, Oswin, Hugo A. Akitaya, Kenneth C. Cheung, Erik D. Demaine, Martin L. Demaine, Sándor P. Fekete, Linda Kleist, et al. “Folding Polyominoes with Holes into a Cube.” *Computational Geometry: Theory and Applications* 93 (n.d.). https://doi.org/10.1016/j.comgeo.2020.101700.","ama":"Aichholzer O, Akitaya HA, Cheung KC, et al. Folding polyominoes with holes into a cube. *Computational Geometry: Theory and Applications*. 93. doi:10.1016/j.comgeo.2020.101700","mla":"Aichholzer, Oswin, et al. “Folding Polyominoes with Holes into a Cube.” *Computational Geometry: Theory and Applications*, vol. 93, 101700, Elsevier, doi:10.1016/j.comgeo.2020.101700.","ista":"Aichholzer O, Akitaya HA, Cheung KC, Demaine ED, Demaine ML, Fekete SP, Kleist L, Kostitsyna I, Löffler M, Masárová Z, Mundilova K, Schmidt C. Folding polyominoes with holes into a cube. Computational Geometry: Theory and Applications. 93.","short":"O. Aichholzer, H.A. Akitaya, K.C. Cheung, E.D. Demaine, M.L. Demaine, S.P. Fekete, L. Kleist, I. Kostitsyna, M. Löffler, Z. Masárová, K. Mundilova, C. Schmidt, Computational Geometry: Theory and Applications 93 (n.d.).","apa":"Aichholzer, O., Akitaya, H. A., Cheung, K. C., Demaine, E. D., Demaine, M. L., Fekete, S. P., … Schmidt, C. (n.d.). Folding polyominoes with holes into a cube. *Computational Geometry: Theory and Applications*, *93*. https://doi.org/10.1016/j.comgeo.2020.101700","ieee":"O. Aichholzer *et al.*, “Folding polyominoes with holes into a cube,” *Computational Geometry: Theory and Applications*, vol. 93."},"project":[{"_id":"268116B8-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","name":"The Wittgenstein Prize","grant_number":"Z00342"}],"volume":93,"year":"2020","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","article_number":"101700","publisher":"Elsevier","day":"31","acknowledgement":"This research was performed in part at the 33rd Bellairs Winter Workshop on Computational Geometry. We thank all other participants for a fruitful atmosphere. H. Akitaya was supported by NSF CCF-1422311 & 1423615. Z. Masárová was partially funded by Wittgenstein Prize, Austrian Science Fund (FWF), grant no. Z 342-N31.","oa_version":"Preprint","publication_identifier":{"issn":["09257721"]},"month":"08","related_material":{"record":[{"relation":"shorter_version","id":"6989","status":"public"}]},"intvolume":" 93","status":"public"},{"publication_status":"published","keyword":["reconfiguration","reconfiguration graph","triangulations","flip","constrained triangulations","shellability","piecewise-linear balls","token swapping","trees","coloured weighted token swapping"],"date_created":"2020-06-08T00:49:46Z","date_updated":"2020-11-25T09:28:51Z","file":[{"relation":"main_file","file_size":13661779,"file_id":"7945","checksum":"df688bc5a82b50baee0b99d25fc7b7f0","date_updated":"2020-07-14T12:48:05Z","file_name":"THESIS_Zuzka_Masarova.pdf","creator":"zmasarov","content_type":"application/pdf","date_created":"2020-06-08T00:34:00Z","access_level":"open_access"},{"creator":"zmasarov","content_type":"application/zip","date_updated":"2020-07-14T12:48:05Z","file_name":"THESIS_Zuzka_Masarova_SOURCE_FILES.zip","access_level":"closed","date_created":"2020-06-08T00:35:30Z","file_size":32184006,"relation":"source_file","checksum":"45341a35b8f5529c74010b7af43ac188","file_id":"7946"}],"language":[{"iso":"eng"}],"doi":"10.15479/AT:ISTA:7944","article_processing_charge":"No","_id":"7944","department":[{"_id":"HeEd"},{"_id":"UlWa"}],"oa":1,"alternative_title":["IST Austria Thesis"],"file_date_updated":"2020-07-14T12:48:05Z","author":[{"orcid":"0000-0002-6660-1322","last_name":"Masárová","full_name":"Masárová, Zuzana","first_name":"Zuzana","id":"45CFE238-F248-11E8-B48F-1D18A9856A87"}],"license":"https://creativecommons.org/licenses/by-sa/4.0/","date_published":"2020-06-09T00:00:00Z","has_accepted_license":"1","tmp":{"short":"CC BY-SA (4.0)","image":"/images/cc_by_sa.png","name":"Creative Commons Attribution-ShareAlike 4.0 International Public License (CC BY-SA 4.0)","legal_code_url":"https://creativecommons.org/licenses/by-sa/4.0/legalcode"},"abstract":[{"text":"This thesis considers two examples of reconfiguration problems: flipping edges in edge-labelled triangulations of planar point sets and swapping labelled tokens placed on vertices of a graph. In both cases the studied structures – all the triangulations of a given point set or all token placements on a given graph – can be thought of as vertices of the so-called reconfiguration graph, in which two vertices are adjacent if the corresponding structures differ by a single elementary operation – by a flip of a diagonal in a triangulation or by a swap of tokens on adjacent vertices, respectively. We study the reconfiguration of one instance of a structure into another via (shortest) paths in the reconfiguration graph.\r\n\r\nFor triangulations of point sets in which each edge has a unique label and a flip transfers the label from the removed edge to the new edge, we prove a polynomial-time testable condition, called the Orbit Theorem, that characterizes when two triangulations of the same point set lie in the same connected component of the reconfiguration graph. The condition was first conjectured by Bose, Lubiw, Pathak and Verdonschot. We additionally provide a polynomial time algorithm that computes a reconfiguring flip sequence, if it exists. Our proof of the Orbit Theorem uses topological properties of a certain high-dimensional cell complex that has the usual reconfiguration graph as its 1-skeleton.\r\n\r\nIn the context of token swapping on a tree graph, we make partial progress on the problem of finding shortest reconfiguration sequences. We disprove the so-called Happy Leaf Conjecture and demonstrate the importance of swapping tokens that are already placed at the correct vertices. We also prove that a generalization of the problem to weighted coloured token swapping is NP-hard on trees but solvable in polynomial time on paths and stars.","lang":"eng"}],"type":"dissertation","related_material":{"record":[{"id":"5986","relation":"part_of_dissertation","status":"public"},{"status":"public","id":"7950","relation":"part_of_dissertation"}]},"status":"public","supervisor":[{"full_name":"Wagner, Uli","first_name":"Uli","id":"36690CA2-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-1494-0568","last_name":"Wagner"},{"last_name":"Edelsbrunner","orcid":"0000-0002-9823-6833","id":"3FB178DA-F248-11E8-B48F-1D18A9856A87","first_name":"Herbert","full_name":"Edelsbrunner, Herbert"}],"oa_version":"Published Version","month":"06","publication_identifier":{"isbn":["978-3-99078-005-3"],"eissn":["2663-337X"]},"day":"09","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publisher":"IST Austria","year":"2020","citation":{"ieee":"Z. Masárová, *Reconfiguration problems*. IST Austria, 2020.","apa":"Masárová, Z. (2020). *Reconfiguration problems*. IST Austria. https://doi.org/10.15479/AT:ISTA:7944","short":"Z. Masárová, Reconfiguration Problems, IST Austria, 2020.","mla":"Masárová, Zuzana. *Reconfiguration Problems*. IST Austria, 2020, doi:10.15479/AT:ISTA:7944.","ista":"Masárová Z. 2020. Reconfiguration problems, IST Austria, 160p.","chicago":"Masárová, Zuzana. *Reconfiguration Problems*. IST Austria, 2020. https://doi.org/10.15479/AT:ISTA:7944.","ama":"Masárová Z. *Reconfiguration Problems*. IST Austria; 2020. doi:10.15479/AT:ISTA:7944"},"ddc":["516","514"],"page":"160","title":"Reconfiguration problems"},{"file_date_updated":"2020-07-14T12:47:14Z","external_id":{"arxiv":["1710.02741"]},"author":[{"last_name":"Lubiw","full_name":"Lubiw, Anna","first_name":"Anna"},{"id":"45CFE238-F248-11E8-B48F-1D18A9856A87","first_name":"Zuzana","full_name":"Masárová, Zuzana","orcid":"0000-0002-6660-1322","last_name":"Masárová"},{"orcid":"0000-0002-1494-0568","last_name":"Wagner","id":"36690CA2-F248-11E8-B48F-1D18A9856A87","full_name":"Wagner, Uli","first_name":"Uli"}],"date_published":"2019-06-01T00:00:00Z","tmp":{"short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"has_accepted_license":"1","type":"journal_article","abstract":[{"text":"Given a triangulation of a point set in the plane, a flip deletes an edge e whose removal leaves a convex quadrilateral, and replaces e by the opposite diagonal of the quadrilateral. It is well known that any triangulation of a point set can be reconfigured to any other triangulation by some sequence of flips. We explore this question in the setting where each edge of a triangulation has a label, and a flip transfers the label of the removed edge to the new edge. It is not true that every labelled triangulation of a point set can be reconfigured to every other labelled triangulation via a sequence of flips, but we characterize when this is possible. There is an obvious necessary condition: for each label l, if edge e has label l in the first triangulation and edge f has label l in the second triangulation, then there must be some sequence of flips that moves label l from e to f, ignoring all other labels. Bose, Lubiw, Pathak and Verdonschot formulated the Orbit Conjecture, which states that this necessary condition is also sufficient, i.e. that all labels can be simultaneously mapped to their destination if and only if each label individually can be mapped to its destination. We prove this conjecture. Furthermore, we give a polynomial-time algorithm (with 𝑂(𝑛8) being a crude bound on the run-time) to find a sequence of flips to reconfigure one labelled triangulation to another, if such a sequence exists, and we prove an upper bound of 𝑂(𝑛7) on the length of the flip sequence. Our proof uses the topological result that the sets of pairwise non-crossing edges on a planar point set form a simplicial complex that is homeomorphic to a high-dimensional ball (this follows from a result of Orden and Santos; we give a different proof based on a shelling argument). The dual cell complex of this simplicial ball, called the flip complex, has the usual flip graph as its 1-skeleton. We use properties of the 2-skeleton of the flip complex to prove the Orbit Conjecture.","lang":"eng"}],"publication_status":"published","date_created":"2019-02-14T11:54:08Z","file":[{"date_updated":"2020-07-14T12:47:14Z","file_name":"2018_DiscreteGeometry_Lubiw.pdf","creator":"dernst","content_type":"application/pdf","access_level":"open_access","date_created":"2019-02-14T11:57:22Z","file_size":556276,"relation":"main_file","file_id":"5988","checksum":"e1bff88f1d77001b53b78c485ce048d7"}],"date_updated":"2020-08-11T10:10:43Z","language":[{"iso":"eng"}],"publication":"Discrete & Computational Geometry","scopus_import":1,"doi":"10.1007/s00454-018-0035-8","article_processing_charge":"Yes (via OA deal)","_id":"5986","oa":1,"issue":"4","department":[{"_id":"UlWa"}],"quality_controlled":"1","year":"2019","citation":{"ieee":"A. Lubiw, Z. Masárová, and U. Wagner, “A proof of the orbit conjecture for flipping edge-labelled triangulations,” *Discrete & Computational Geometry*, vol. 61, no. 4, pp. 880–898, 2019.","apa":"Lubiw, A., Masárová, Z., & Wagner, U. (2019). A proof of the orbit conjecture for flipping edge-labelled triangulations. *Discrete & Computational Geometry*, *61*(4), 880–898. https://doi.org/10.1007/s00454-018-0035-8","short":"A. Lubiw, Z. Masárová, U. Wagner, Discrete & Computational Geometry 61 (2019) 880–898.","ista":"Lubiw A, Masárová Z, Wagner U. 2019. A proof of the orbit conjecture for flipping edge-labelled triangulations. Discrete & Computational Geometry. 61(4), 880–898.","mla":"Lubiw, Anna, et al. “A Proof of the Orbit Conjecture for Flipping Edge-Labelled Triangulations.” *Discrete & Computational Geometry*, vol. 61, no. 4, Springer Nature, 2019, pp. 880–98, doi:10.1007/s00454-018-0035-8.","ama":"Lubiw A, Masárová Z, Wagner U. A proof of the orbit conjecture for flipping edge-labelled triangulations. *Discrete & Computational Geometry*. 2019;61(4):880-898. doi:10.1007/s00454-018-0035-8","chicago":"Lubiw, Anna, Zuzana Masárová, and Uli Wagner. “A Proof of the Orbit Conjecture for Flipping Edge-Labelled Triangulations.” *Discrete & Computational Geometry* 61, no. 4 (2019): 880–98. https://doi.org/10.1007/s00454-018-0035-8."},"project":[{"name":"IST Austria Open Access Fund","_id":"B67AFEDC-15C9-11EA-A837-991A96BB2854"}],"volume":61,"article_type":"original","ddc":["000"],"page":"880-898","title":"A proof of the orbit conjecture for flipping edge-labelled triangulations","related_material":{"record":[{"status":"public","id":"7944","relation":"dissertation_contains"},{"status":"public","relation":"earlier_version","id":"683"}]},"intvolume":" 61","status":"public","oa_version":"Published Version","publication_identifier":{"issn":["0179-5376","1432-0444"]},"month":"06","day":"01","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publisher":"Springer Nature"},{"oa_version":"Published Version","date_updated":"2020-09-10T10:09:39Z","main_file_link":[{"open_access":"1","url":"https://cccg.ca/proceedings/2019/proceedings.pdf"}],"month":"08","language":[{"iso":"eng"}],"related_material":{"record":[{"id":"8317","relation":"extended_version","status":"public"}]},"publication_status":"published","date_created":"2019-11-04T16:46:11Z","status":"public","article_processing_charge":"No","user_id":"D865714E-FA4E-11E9-B85B-F5C5E5697425","quality_controlled":"1","_id":"6989","oa":1,"department":[{"_id":"HeEd"}],"publisher":"Canadian Conference on Computational Geometry","publication":"Proceedings of the 31st Canadian Conference on Computational Geometry","scopus_import":"1","conference":{"location":"Edmonton, Canada","end_date":"2019-08-10","name":"CCCG: Canadian Conference in Computational Geometry","start_date":"2019-08-08"},"acknowledgement":"This research was performed in part at the 33rd BellairsWinter Workshop on Computational Geometry. Wethank all other participants for a fruitful atmosphere.","day":"01","citation":{"short":"O. Aichholzer, H.A. Akitaya, K.C. Cheung, E.D. Demaine, M.L. Demaine, S.P. Fekete, L. Kleist, I. Kostitsyna, M. Löffler, Z. Masárová, K. Mundilova, C. Schmidt, in:, Proceedings of the 31st Canadian Conference on Computational Geometry, Canadian Conference on Computational Geometry, 2019, pp. 164–170.","ieee":"O. Aichholzer *et al.*, “Folding polyominoes with holes into a cube,” in *Proceedings of the 31st Canadian Conference on Computational Geometry*, Edmonton, Canada, 2019, pp. 164–170.","apa":"Aichholzer, O., Akitaya, H. A., Cheung, K. C., Demaine, E. D., Demaine, M. L., Fekete, S. P., … Schmidt, C. (2019). Folding polyominoes with holes into a cube. In *Proceedings of the 31st Canadian Conference on Computational Geometry* (pp. 164–170). Edmonton, Canada: Canadian Conference on Computational Geometry.","chicago":"Aichholzer, Oswin, Hugo A Akitaya, Kenneth C Cheung, Erik D Demaine, Martin L Demaine, Sandor P Fekete, Linda Kleist, et al. “Folding Polyominoes with Holes into a Cube.” In *Proceedings of the 31st Canadian Conference on Computational Geometry*, 164–70. Canadian Conference on Computational Geometry, 2019.","ama":"Aichholzer O, Akitaya HA, Cheung KC, et al. Folding polyominoes with holes into a cube. In: *Proceedings of the 31st Canadian Conference on Computational Geometry*. Canadian Conference on Computational Geometry; 2019:164-170.","mla":"Aichholzer, Oswin, et al. “Folding Polyominoes with Holes into a Cube.” *Proceedings of the 31st Canadian Conference on Computational Geometry*, Canadian Conference on Computational Geometry, 2019, pp. 164–70.","ista":"Aichholzer O, Akitaya HA, Cheung KC, Demaine ED, Demaine ML, Fekete SP, Kleist L, Kostitsyna I, Löffler M, Masárová Z, Mundilova K, Schmidt C. 2019. Folding polyominoes with holes into a cube. Proceedings of the 31st Canadian Conference on Computational Geometry. CCCG: Canadian Conference in Computational Geometry 164–170."},"author":[{"first_name":"Oswin","full_name":"Aichholzer, Oswin","last_name":"Aichholzer"},{"full_name":"Akitaya, Hugo A","first_name":"Hugo A","last_name":"Akitaya"},{"last_name":"Cheung","first_name":"Kenneth C","full_name":"Cheung, Kenneth C"},{"first_name":"Erik D","full_name":"Demaine, Erik D","last_name":"Demaine"},{"last_name":"Demaine","first_name":"Martin L","full_name":"Demaine, Martin L"},{"full_name":"Fekete, Sandor P","first_name":"Sandor P","last_name":"Fekete"},{"last_name":"Kleist","full_name":"Kleist, Linda","first_name":"Linda"},{"last_name":"Kostitsyna","first_name":"Irina","full_name":"Kostitsyna, Irina"},{"full_name":"Löffler, Maarten","first_name":"Maarten","last_name":"Löffler"},{"orcid":"0000-0002-6660-1322","last_name":"Masárová","first_name":"Zuzana","full_name":"Masárová, Zuzana","id":"45CFE238-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Mundilova","first_name":"Klara","full_name":"Mundilova, Klara"},{"full_name":"Schmidt, Christiane","first_name":"Christiane","last_name":"Schmidt"}],"date_published":"2019-08-01T00:00:00Z","external_id":{"arxiv":["1910.09917v3"]},"year":"2019","page":"164-170","title":"Folding polyominoes with holes into a cube","type":"conference","abstract":[{"lang":"eng","text":"When can a polyomino piece of paper be folded into a unit cube? Prior work studied tree-like polyominoes, but polyominoes with holes remain an intriguing open problem. We present sufficient conditions for a polyomino with hole(s) to fold into a cube, and conditions under which cube folding is impossible. In particular, we show that all but five special simple holes guarantee foldability. "}]},{"department":[{"_id":"HeEd"},{"_id":"UlWa"},{"_id":"KrCh"}],"_id":"7950","article_number":"1903.06981","oa":1,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","article_processing_charge":"No","day":"16","publication":"arXiv","language":[{"iso":"eng"}],"month":"03","main_file_link":[{"url":"https://arxiv.org/abs/1903.06981","open_access":"1"}],"date_updated":"2020-11-25T09:28:52Z","oa_version":"Preprint","status":"public","date_created":"2020-06-08T12:25:25Z","publication_status":"submitted","related_material":{"record":[{"id":"7944","relation":"dissertation_contains","status":"public"}]},"abstract":[{"lang":"eng","text":"The input to the token swapping problem is a graph with vertices v1, v2, . . . , vn, and n tokens with labels 1,2, . . . , n, one on each vertex. The goal is to get token i to vertex vi for all i= 1, . . . , n using a minimum number of swaps, where a swap exchanges the tokens on the endpoints of an edge.Token swapping on a tree, also known as “sorting with a transposition tree,” is not known to be in P nor NP-complete. We present some partial results:\r\n1. An optimum swap sequence may need to perform a swap on a leaf vertex that has the correct token (a “happy leaf”), disproving a conjecture of Vaughan.\r\n2. Any algorithm that fixes happy leaves—as all known approximation algorithms for the problem do—has approximation factor at least 4/3. Furthermore, the two best-known 2-approximation algorithms have approximation factor exactly 2.\r\n3. A generalized problem—weighted coloured token swapping—is NP-complete on trees, but solvable in polynomial time on paths and stars. In this version, tokens and vertices have colours, and colours have weights. The goal is to get every token to a vertex of the same colour, and the cost of a swap is the sum of the weights of the two tokens involved."}],"title":"Token swapping on trees","type":"preprint","date_published":"2019-03-16T00:00:00Z","author":[{"full_name":"Biniaz, Ahmad","first_name":"Ahmad","last_name":"Biniaz"},{"last_name":"Jain","full_name":"Jain, Kshitij","first_name":"Kshitij"},{"last_name":"Lubiw","full_name":"Lubiw, Anna","first_name":"Anna"},{"id":"45CFE238-F248-11E8-B48F-1D18A9856A87","full_name":"Masárová, Zuzana","first_name":"Zuzana","orcid":"0000-0002-6660-1322","last_name":"Masárová"},{"full_name":"Miltzow, Tillmann","first_name":"Tillmann","last_name":"Miltzow"},{"first_name":"Debajyoti","full_name":"Mondal, Debajyoti","last_name":"Mondal"},{"last_name":"Naredla","first_name":"Anurag Murty","full_name":"Naredla, Anurag Murty"},{"last_name":"Tkadlec","first_name":"Josef","full_name":"Tkadlec, Josef","id":"3F24CCC8-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Alexi","full_name":"Turcotte, Alexi","last_name":"Turcotte"}],"citation":{"apa":"Biniaz, A., Jain, K., Lubiw, A., Masárová, Z., Miltzow, T., Mondal, D., … Turcotte, A. (n.d.). Token swapping on trees. *ArXiv*.","ieee":"A. Biniaz *et al.*, “Token swapping on trees,” *arXiv*. .","short":"A. Biniaz, K. Jain, A. Lubiw, Z. Masárová, T. Miltzow, D. Mondal, A.M. Naredla, J. Tkadlec, A. Turcotte, ArXiv (n.d.).","ista":"Biniaz A, Jain K, Lubiw A, Masárová Z, Miltzow T, Mondal D, Naredla AM, Tkadlec J, Turcotte A. Token swapping on trees. arXiv.","mla":"Biniaz, Ahmad, et al. “Token Swapping on Trees.” *ArXiv*, 1903.06981.","ama":"Biniaz A, Jain K, Lubiw A, et al. Token swapping on trees. *arXiv*.","chicago":"Biniaz, Ahmad, Kshitij Jain, Anna Lubiw, Zuzana Masárová, Tillmann Miltzow, Debajyoti Mondal, Anurag Murty Naredla, Josef Tkadlec, and Alexi Turcotte. “Token Swapping on Trees.” *ArXiv*, n.d."},"year":"2019","external_id":{"arxiv":["1903.06981"]}},{"oa_version":"Published Version","month":"06","related_material":{"record":[{"relation":"later_version","id":"5986","status":"public"}]},"intvolume":" 77","status":"public","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","article_number":"49","publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","day":"01","citation":{"mla":"Lubiw, Anna, et al. *A Proof of the Orbit Conjecture for Flipping Edge Labelled Triangulations*. Vol. 77, 49, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017, doi:10.4230/LIPIcs.SoCG.2017.49.","ista":"Lubiw A, Masárová Z, Wagner U. 2017. A proof of the orbit conjecture for flipping edge labelled triangulations. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 77.","chicago":"Lubiw, Anna, Zuzana Masárová, and Uli Wagner. “A Proof of the Orbit Conjecture for Flipping Edge Labelled Triangulations,” Vol. 77. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017. https://doi.org/10.4230/LIPIcs.SoCG.2017.49.","ama":"Lubiw A, Masárová Z, Wagner U. A proof of the orbit conjecture for flipping edge labelled triangulations. In: Vol 77. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2017. doi:10.4230/LIPIcs.SoCG.2017.49","apa":"Lubiw, A., Masárová, Z., & Wagner, U. (2017). A proof of the orbit conjecture for flipping edge labelled triangulations (Vol. 77). Presented at the SoCG: Symposium on Computational Geometry, Brisbane, Australia: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SoCG.2017.49","ieee":"A. Lubiw, Z. Masárová, and U. Wagner, “A proof of the orbit conjecture for flipping edge labelled triangulations,” presented at the SoCG: Symposium on Computational Geometry, Brisbane, Australia, 2017, vol. 77.","short":"A. Lubiw, Z. Masárová, U. Wagner, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017."},"volume":77,"publist_id":"7033","year":"2017","title":"A proof of the orbit conjecture for flipping edge labelled triangulations","ddc":["514","516"],"date_updated":"2020-08-11T10:10:43Z","file":[{"date_created":"2018-12-12T10:17:12Z","access_level":"open_access","content_type":"application/pdf","creator":"system","file_name":"IST-2017-896-v1+1_LIPIcs-SoCG-2017-49.pdf","date_updated":"2020-07-14T12:47:41Z","checksum":"24fdde981cc513352a78dcf9b0660ae9","file_id":"5265","relation":"main_file","file_size":710007}],"language":[{"iso":"eng"}],"publication_status":"published","date_created":"2018-12-11T11:47:54Z","_id":"683","pubrep_id":"896","quality_controlled":"1","oa":1,"department":[{"_id":"UlWa"}],"scopus_import":1,"conference":{"end_date":"2017-07-07","location":"Brisbane, Australia","name":"SoCG: Symposium on Computational Geometry","start_date":"2017-07-04"},"doi":"10.4230/LIPIcs.SoCG.2017.49","author":[{"full_name":"Lubiw, Anna","first_name":"Anna","last_name":"Lubiw"},{"last_name":"Masárová","orcid":"0000-0002-6660-1322","id":"45CFE238-F248-11E8-B48F-1D18A9856A87","first_name":"Zuzana","full_name":"Masárová, Zuzana"},{"orcid":"0000-0002-1494-0568","last_name":"Wagner","first_name":"Uli","full_name":"Wagner, Uli","id":"36690CA2-F248-11E8-B48F-1D18A9856A87"}],"date_published":"2017-06-01T00:00:00Z","file_date_updated":"2020-07-14T12:47:41Z","alternative_title":["LIPIcs"],"has_accepted_license":"1","tmp":{"short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"type":"conference","abstract":[{"text":"Given a triangulation of a point set in the plane, a flip deletes an edge e whose removal leaves a convex quadrilateral, and replaces e by the opposite diagonal of the quadrilateral. It is well known that any triangulation of a point set can be reconfigured to any other triangulation by some sequence of flips. We explore this question in the setting where each edge of a triangulation has a label, and a flip transfers the label of the removed edge to the new edge. It is not true that every labelled triangulation of a point set can be reconfigured to every other labelled triangulation via a sequence of flips, but we characterize when this is possible. There is an obvious necessary condition: for each label l, if edge e has label l in the first triangulation and edge f has label l in the second triangulation, then there must be some sequence of flips that moves label l from e to f, ignoring all other labels. Bose, Lubiw, Pathak and Verdonschot formulated the Orbit Conjecture, which states that this necessary condition is also sufficient, i.e. that all labels can be simultaneously mapped to their destination if and only if each label individually can be mapped to its destination. We prove this conjecture. Furthermore, we give a polynomial-time algorithm to find a sequence of flips to reconfigure one labelled triangulation to another, if such a sequence exists, and we prove an upper bound of O(n7) on the length of the flip sequence. Our proof uses the topological result that the sets of pairwise non-crossing edges on a planar point set form a simplicial complex that is homeomorphic to a high-dimensional ball (this follows from a result of Orden and Santos; we give a different proof based on a shelling argument). The dual cell complex of this simplicial ball, called the flip complex, has the usual flip graph as its 1-skeleton. We use properties of the 2-skeleton of the flip complex to prove the Orbit Conjecture.","lang":"eng"}]}]