The Koebe-Andreev-Thurston Circle Packing Theorem states that every triangulated planar graph has a contact representation by circles. The theorem has been generalized in various ways. The most prominent generalization assures the existence of a primal-dual circle representation for every 3-connected planar graph. We present a simple and elegant elementary proof of this result.
@InProceedings{felsner_et_al:OASIcs.SOSA.2019.8, author = {Felsner, Stefan and Rote, G\"{u}nter}, title = {{On Primal-Dual Circle Representations}}, booktitle = {2nd Symposium on Simplicity in Algorithms (SOSA 2019)}, pages = {8:1--8:18}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-099-6}, ISSN = {2190-6807}, year = {2019}, volume = {69}, editor = {Fineman, Jeremy T. and Mitzenmacher, Michael}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SOSA.2019.8}, URN = {urn:nbn:de:0030-drops-100349}, doi = {10.4230/OASIcs.SOSA.2019.8}, annote = {Keywords: Disk packing, planar graphs, contact representation} }
Feedback for Dagstuhl Publishing