{"@context":"https:\/\/schema.org\/","@type":"PublicationVolume","@id":"#volume6280","volumeNumber":77,"name":"33rd International Symposium on Computational Geometry (SoCG 2017)","dateCreated":"2017-06-20","datePublished":"2017-06-20","editor":[{"@type":"Person","name":"Aronov, Boris","givenName":"Boris","familyName":"Aronov"},{"@type":"Person","name":"Katz, Matthew J.","givenName":"Matthew J.","familyName":"Katz"}],"isAccessibleForFree":true,"publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","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":"#volume6280"},"hasPart":[{"@type":"ScholarlyArticle","@id":"#article9642","name":"LIPIcs, Volume 77, SoCG'17, Complete Volume","abstract":"LIPIcs, Volume 77, SoCG'17, Complete Volume","keywords":"Analysis of Algorithms and Problem Complexity, Nonnumerical Algorithms and Problems \u2013 Geometrical problems and computations, Discrete Mathematics","author":[{"@type":"Person","name":"Aronov, Boris","givenName":"Boris","familyName":"Aronov"},{"@type":"Person","name":"Katz, Matthew J.","givenName":"Matthew J.","familyName":"Katz"}],"position":-1,"pageStart":0,"pageEnd":0,"dateCreated":"2017-06-21","datePublished":"2017-06-21","isAccessibleForFree":true,"license":"https:\/\/creativecommons.org\/licenses\/by\/3.0\/legalcode","copyrightHolder":[{"@type":"Person","name":"Aronov, Boris","givenName":"Boris","familyName":"Aronov"},{"@type":"Person","name":"Katz, Matthew J.","givenName":"Matthew J.","familyName":"Katz"}],"copyrightYear":"2017","accessMode":"textual","accessModeSufficient":"textual","creativeWorkStatus":"Published","inLanguage":"en-US","sameAs":"https:\/\/doi.org\/10.4230\/LIPIcs.SoCG.2017","publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","isPartOf":"#volume6280"},{"@type":"ScholarlyArticle","@id":"#article9643","name":"Front Matter, Table of Contents, Foreword, Conference Organization, External Reviewers, Sponsors","abstract":"Front Matter, Table of Contents, Foreword, Conference Organization, External Reviewers, Sponsors","keywords":["Front Matter","Table of Contents","Foreword","Conference Organization","External Reviewers","Sponsors"],"author":[{"@type":"Person","name":"Aronov, Boris","givenName":"Boris","familyName":"Aronov"},{"@type":"Person","name":"Katz, Matthew J.","givenName":"Matthew J.","familyName":"Katz"}],"position":0,"pageStart":"0:i","pageEnd":"0:xviii","dateCreated":"2017-06-20","datePublished":"2017-06-20","isAccessibleForFree":true,"license":"https:\/\/creativecommons.org\/licenses\/by\/3.0\/legalcode","copyrightHolder":[{"@type":"Person","name":"Aronov, Boris","givenName":"Boris","familyName":"Aronov"},{"@type":"Person","name":"Katz, Matthew J.","givenName":"Matthew J.","familyName":"Katz"}],"copyrightYear":"2017","accessMode":"textual","accessModeSufficient":"textual","creativeWorkStatus":"Published","inLanguage":"en-US","sameAs":"https:\/\/doi.org\/10.4230\/LIPIcs.SoCG.2017.0","publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","isPartOf":"#volume6280"},{"@type":"ScholarlyArticle","@id":"#article9644","name":"The Geometry and Topology of Crystals: From Sphere-Packing to Tiling, Nets, and Knots (Invited Talk)","abstract":"Crystal structures have inspired developments in geometry since the Ancient Greeks conceived of Platonic solids after observing tetrahedral, cubical and octahedral mineral forms in their local environment. The internal structure of crystals became accessible with the development of x-ray diffraction techniques just over 100 years ago, and a key step in developing this method was understanding the arrangement of atoms in the simplest crystals as close-packings of spheres. Determining a crystal structure via x-ray diffraction unavoidably requires prior models, and this has led to the intense study of sphere packing, atom-bond networks, and arrangements of polyhedra by crystallographers investigating ever more complex compounds. In the 21st century, chemists are exploring the possibilities of coordination polymers, a wide class of crystalline materials that self-assemble from metal cations and organic ligands into periodic framework materials. Longer organic ligands mean these compounds can form multi-component interwoven network structures where the \"edges\" are no longer constrained to join nearest-neighbour \"nodes\" as in simpler atom-bond networks. The challenge for geometers is to devise algorithms for enumerating relevant structures and to devise invariants that will distinguish between different modes of interweaving. This talk will survey various methods from computational geometry and topology that are currently used to describe crystalline structures and outline research directions to address some of the open questions suggested above.","keywords":["Mathematical crystallography","Combinatorial tiling theory","Graphs and surfaces in the 3-torus"],"author":{"@type":"Person","name":"Robins, Vanessa","givenName":"Vanessa","familyName":"Robins"},"position":1,"pageStart":"1:1","pageEnd":"1:1","dateCreated":"2017-06-20","datePublished":"2017-06-20","isAccessibleForFree":true,"license":"https:\/\/creativecommons.org\/licenses\/by\/3.0\/legalcode","copyrightHolder":{"@type":"Person","name":"Robins, Vanessa","givenName":"Vanessa","familyName":"Robins"},"copyrightYear":"2017","accessMode":"textual","accessModeSufficient":"textual","creativeWorkStatus":"Published","inLanguage":"en-US","sameAs":"https:\/\/doi.org\/10.4230\/LIPIcs.SoCG.2017.1","publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","isPartOf":"#volume6280"},{"@type":"ScholarlyArticle","@id":"#article9645","name":"The Algebraic Revolution in Combinatorial and Computational Geometry: State of the Art (Invited Talk)","abstract":"For the past 10 years, combinatorial geometry (and to some extent, computational geometry too) has gone through a dramatic revolution, due to the infusion of techniques from algebraic geometry and algebra that have proven effective in solving a variety of hard problems that were thought to be unreachable with more traditional techniques. The new era has begun with two groundbreaking papers of Guth and Katz, the second of which has (almost completely) solved the distinct distances problem of Erdos, open since 1946.\r\n\r\nIn this talk I will survey some of the progress that has been made since then, including a variety of problems on distinct and repeated distances and other configurations, on incidences between points and lines, curves, and surfaces in two, three, and higher dimensions, on polynomials vanishing on Cartesian products with applications, on cycle elimination for lines and triangles in three dimensions, on range searching with semialgebraic sets, and I will most certainly run out of time while doing so.","keywords":["Combinatorial Geometry","Incidences","Polynomial method","Algebraic Geometry","Distances"],"author":{"@type":"Person","name":"Sharir, Micha","givenName":"Micha","familyName":"Sharir"},"position":2,"pageStart":"2:1","pageEnd":"2:1","dateCreated":"2017-06-20","datePublished":"2017-06-20","isAccessibleForFree":true,"license":"https:\/\/creativecommons.org\/licenses\/by\/3.0\/legalcode","copyrightHolder":{"@type":"Person","name":"Sharir, Micha","givenName":"Micha","familyName":"Sharir"},"copyrightYear":"2017","accessMode":"textual","accessModeSufficient":"textual","creativeWorkStatus":"Published","inLanguage":"en-US","sameAs":"https:\/\/doi.org\/10.4230\/LIPIcs.SoCG.2017.2","publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","isPartOf":"#volume6280"},{"@type":"ScholarlyArticle","@id":"#article9646","name":"Irrational Guards are Sometimes Needed","abstract":"In this paper we study the art gallery problem, which is one of the fundamental problems in computational geometry. The objective is to place a minimum number of guards inside a simple polygon so that the guards together can see the whole polygon. We say that a guard at position x sees a point y if the line segment xy is contained in the polygon.\r\n\r\nDespite an extensive study of the art gallery problem, it remained an open question whether there are polygons given by integer coordinates that require guard positions with irrational coordinates in any optimal solution. We give a positive answer to this question by constructing a monotone polygon with integer coordinates that can be guarded by three guards only when we allow to place the guards at points with irrational coordinates. Otherwise, four guards are needed. By extending this example, we show that for every n, there is a polygon which can be guarded by 3n guards with irrational coordinates but needs 4n guards if the coordinates have to be rational. Subsequently, we show that there are rectilinear polygons given by integer coordinates that require guards with irrational coordinates in any optimal solution.","keywords":["art gallery problem","computational geometry","irrational numbers"],"author":[{"@type":"Person","name":"Abrahamsen, Mikkel","givenName":"Mikkel","familyName":"Abrahamsen"},{"@type":"Person","name":"Adamaszek, Anna","givenName":"Anna","familyName":"Adamaszek"},{"@type":"Person","name":"Miltzow, Tillmann","givenName":"Tillmann","familyName":"Miltzow"}],"position":3,"pageStart":"3:1","pageEnd":"3:15","dateCreated":"2017-06-20","datePublished":"2017-06-20","isAccessibleForFree":true,"license":"https:\/\/creativecommons.org\/licenses\/by\/3.0\/legalcode","copyrightHolder":[{"@type":"Person","name":"Abrahamsen, Mikkel","givenName":"Mikkel","familyName":"Abrahamsen"},{"@type":"Person","name":"Adamaszek, Anna","givenName":"Anna","familyName":"Adamaszek"},{"@type":"Person","name":"Miltzow, Tillmann","givenName":"Tillmann","familyName":"Miltzow"}],"copyrightYear":"2017","accessMode":"textual","accessModeSufficient":"textual","creativeWorkStatus":"Published","inLanguage":"en-US","sameAs":"https:\/\/doi.org\/10.4230\/LIPIcs.SoCG.2017.3","publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","citation":["http:\/\/dx.doi.org\/10.1145\/2852040.2852053","http:\/\/page.mi.fu-berlin.de\/rote\/Papers\/slides\/Open-Problem_artgallery-Morschach-EuroCG-2011.pdf"],"isPartOf":"#volume6280"},{"@type":"ScholarlyArticle","@id":"#article9647","name":"Minimum Perimeter-Sum Partitions in the Plane","abstract":"Let P be a set of n points in the plane. We consider the problem of partitioning P into two subsets P_1 and P_2 such that the sum of the perimeters of CH(P_1) and CH(P_2) is minimized, where CH(P_i) denotes the convex hull of P_i. The problem was first studied by Mitchell and Wynters in 1991 who gave an O(n^2) time algorithm. Despite considerable progress on related problems, no subquadratic time algorithm for this problem was found so far. We present an exact algorithm solving the problem in O(n log^4 n) time and a (1+e)-approximation algorithm running in O(n + 1\/e^2 log^4(1\/e)) time.","keywords":["Computational geometry","clustering","minimum-perimeter partition","convex hull"],"author":[{"@type":"Person","name":"Abrahamsen, Mikkel","givenName":"Mikkel","familyName":"Abrahamsen"},{"@type":"Person","name":"de Berg, Mark","givenName":"Mark","familyName":"de Berg"},{"@type":"Person","name":"Buchin, Kevin","givenName":"Kevin","familyName":"Buchin"},{"@type":"Person","name":"Mehr, Mehran","givenName":"Mehran","familyName":"Mehr"},{"@type":"Person","name":"Mehrabi, Ali D.","givenName":"Ali D.","familyName":"Mehrabi"}],"position":4,"pageStart":"4:1","pageEnd":"4:15","dateCreated":"2017-06-20","datePublished":"2017-06-20","isAccessibleForFree":true,"license":"https:\/\/creativecommons.org\/licenses\/by\/3.0\/legalcode","copyrightHolder":[{"@type":"Person","name":"Abrahamsen, Mikkel","givenName":"Mikkel","familyName":"Abrahamsen"},{"@type":"Person","name":"de Berg, Mark","givenName":"Mark","familyName":"de Berg"},{"@type":"Person","name":"Buchin, Kevin","givenName":"Kevin","familyName":"Buchin"},{"@type":"Person","name":"Mehr, Mehran","givenName":"Mehran","familyName":"Mehr"},{"@type":"Person","name":"Mehrabi, Ali D.","givenName":"Ali D.","familyName":"Mehrabi"}],"copyrightYear":"2017","accessMode":"textual","accessModeSufficient":"textual","creativeWorkStatus":"Published","inLanguage":"en-US","sameAs":"https:\/\/doi.org\/10.4230\/LIPIcs.SoCG.2017.4","publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","isPartOf":"#volume6280"},{"@type":"ScholarlyArticle","@id":"#article9648","name":"Range-Clustering Queries","abstract":"In a geometric k-clustering problem the goal is to partition a set of points in R^d into k subsets such that a certain cost function of the clustering is minimized. We present data structures for orthogonal range-clustering queries on a point set S: given a query box Q and an integer k > 2, compute an optimal k-clustering for the subset of S inside Q. We obtain the following results.\r\n\r\n* We present a general method to compute a (1+epsilon)-approximation to a range-clustering query, where epsilon>0 is a parameter that can be specified as part of the query. Our method applies to a large class of clustering problems, including k-center clustering in any Lp-metric and a variant of k-center clustering where the goal is to minimize the sum (instead of maximum) of the cluster sizes.\r\n\r\n* We extend our method to deal with capacitated k-clustering problems, where each of the clusters should not contain more than a given number of points. \r\n\r\n* For the special cases of rectilinear k-center clustering in R^1, and in R^2 for k = 2 or 3, we present data structures that answer range-clustering queries exactly.","keywords":["Geometric data structures","clustering","k-center problem"],"author":[{"@type":"Person","name":"Abrahamsen, Mikkel","givenName":"Mikkel","familyName":"Abrahamsen"},{"@type":"Person","name":"de Berg, Mark","givenName":"Mark","familyName":"de Berg"},{"@type":"Person","name":"Buchin, Kevin","givenName":"Kevin","familyName":"Buchin"},{"@type":"Person","name":"Mehr, Mehran","givenName":"Mehran","familyName":"Mehr"},{"@type":"Person","name":"Mehrabi, Ali D.","givenName":"Ali D.","familyName":"Mehrabi"}],"position":5,"pageStart":"5:1","pageEnd":"5:16","dateCreated":"2017-06-20","datePublished":"2017-06-20","isAccessibleForFree":true,"license":"https:\/\/creativecommons.org\/licenses\/by\/3.0\/legalcode","copyrightHolder":[{"@type":"Person","name":"Abrahamsen, Mikkel","givenName":"Mikkel","familyName":"Abrahamsen"},{"@type":"Person","name":"de Berg, Mark","givenName":"Mark","familyName":"de Berg"},{"@type":"Person","name":"Buchin, Kevin","givenName":"Kevin","familyName":"Buchin"},{"@type":"Person","name":"Mehr, Mehran","givenName":"Mehran","familyName":"Mehr"},{"@type":"Person","name":"Mehrabi, Ali D.","givenName":"Ali D.","familyName":"Mehrabi"}],"copyrightYear":"2017","accessMode":"textual","accessModeSufficient":"textual","creativeWorkStatus":"Published","inLanguage":"en-US","sameAs":"https:\/\/doi.org\/10.4230\/LIPIcs.SoCG.2017.5","publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","isPartOf":"#volume6280"},{"@type":"ScholarlyArticle","@id":"#article9649","name":"Best Laid Plans of Lions and Men","abstract":"We answer the following question dating back to J.E. Littlewood (1885-1977): Can two lions catch a man in a bounded area with rectifiable lakes? The lions and the man are all assumed to be points moving with at most unit speed. That the lakes are rectifiable means that their boundaries are finitely long. This requirement is to avoid pathological examples where the man survives forever because any path to the lions is infinitely long. We show that the answer to the question is not always \"yes\", by giving an example of a region R in the plane where the man has a strategy to survive forever. R is a polygonal region with holes and the exterior and interior boundaries are pairwise disjoint, simple polygons. Our construction is the first truly two-dimensional example where the man can survive.\r\n\r\nNext, we consider the following game played on the entire plane instead of a bounded area: There is any finite number of unit speed lions and one fast man who can run with speed 1+epsilon for some value epsilon>0. Can the man always survive? We answer the question in the affirmative for any constant epsilon>0.","keywords":["Lion and man game","Pursuit evasion game","Winning strategy"],"author":[{"@type":"Person","name":"Abrahamsen, Mikkel","givenName":"Mikkel","familyName":"Abrahamsen"},{"@type":"Person","name":"Holm, Jacob","givenName":"Jacob","familyName":"Holm"},{"@type":"Person","name":"Rotenberg, Eva","givenName":"Eva","familyName":"Rotenberg"},{"@type":"Person","name":"Wulff-Nilsen, Christian","givenName":"Christian","familyName":"Wulff-Nilsen"}],"position":6,"pageStart":"6:1","pageEnd":"6:16","dateCreated":"2017-06-20","datePublished":"2017-06-20","isAccessibleForFree":true,"license":"https:\/\/creativecommons.org\/licenses\/by\/3.0\/legalcode","copyrightHolder":[{"@type":"Person","name":"Abrahamsen, Mikkel","givenName":"Mikkel","familyName":"Abrahamsen"},{"@type":"Person","name":"Holm, Jacob","givenName":"Jacob","familyName":"Holm"},{"@type":"Person","name":"Rotenberg, Eva","givenName":"Eva","familyName":"Rotenberg"},{"@type":"Person","name":"Wulff-Nilsen, Christian","givenName":"Christian","familyName":"Wulff-Nilsen"}],"copyrightYear":"2017","accessMode":"textual","accessModeSufficient":"textual","creativeWorkStatus":"Published","inLanguage":"en-US","sameAs":"https:\/\/doi.org\/10.4230\/LIPIcs.SoCG.2017.6","publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","citation":"https:\/\/arxiv.org\/abs\/1703.03687","isPartOf":"#volume6280"},{"@type":"ScholarlyArticle","@id":"#article9650","name":"Faster Algorithms for the Geometric Transportation Problem","abstract":"Let R, B be a set of n points in R^d, for constant d, where the points of R have integer supplies, points of B have integer demands, and the sum of supply is equal to the sum of demand. Let d(.,.) be a suitable distance function such as the L_p distance. The transportation problem asks to find a map tau : R x B --> N such that sum_{b in B}tau(r,b) = supply(r), sum_{r in R}tau(r,b) = demand(b), and sum_{r in R, b in B} tau(r,b) d(r,b) is minimized. We present three new results for the transportation problem when d(.,.) is any L_p metric:\r\n\r\n* For any constant epsilon > 0, an O(n^{1+epsilon}) expected time randomized algorithm that returns a transportation map with expected cost O(log^2(1\/epsilon)) times the optimal cost.\r\n\r\n* For any epsilon > 0, a (1+epsilon)-approximation in O(n^{3\/2}epsilon^{-d}polylog(U)polylog(n)) time, where U is the maximum supply or demand of any point.\r\n\r\n* An exact strongly polynomial O(n^2 polylog n) time algorithm, for d = 2.","keywords":["transportation map","earth mover's distance","shape matching","approximation algorithms"],"author":[{"@type":"Person","name":"Agarwal, Pankaj K.","givenName":"Pankaj K.","familyName":"Agarwal"},{"@type":"Person","name":"Fox, Kyle","givenName":"Kyle","familyName":"Fox"},{"@type":"Person","name":"Panigrahi, Debmalya","givenName":"Debmalya","familyName":"Panigrahi"},{"@type":"Person","name":"Varadarajan, Kasturi R.","givenName":"Kasturi R.","familyName":"Varadarajan"},{"@type":"Person","name":"Xiao, Allen","givenName":"Allen","familyName":"Xiao"}],"position":7,"pageStart":"7:1","pageEnd":"7:16","dateCreated":"2017-06-20","datePublished":"2017-06-20","isAccessibleForFree":true,"license":"https:\/\/creativecommons.org\/licenses\/by\/3.0\/legalcode","copyrightHolder":[{"@type":"Person","name":"Agarwal, Pankaj K.","givenName":"Pankaj K.","familyName":"Agarwal"},{"@type":"Person","name":"Fox, Kyle","givenName":"Kyle","familyName":"Fox"},{"@type":"Person","name":"Panigrahi, Debmalya","givenName":"Debmalya","familyName":"Panigrahi"},{"@type":"Person","name":"Varadarajan, Kasturi R.","givenName":"Kasturi R.","familyName":"Varadarajan"},{"@type":"Person","name":"Xiao, Allen","givenName":"Allen","familyName":"Xiao"}],"copyrightYear":"2017","accessMode":"textual","accessModeSufficient":"textual","creativeWorkStatus":"Published","inLanguage":"en-US","sameAs":"https:\/\/doi.org\/10.4230\/LIPIcs.SoCG.2017.7","publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","citation":["http:\/\/dx.doi.org\/10.1137\/S0097539795295936","http:\/\/dx.doi.org\/10.1145\/997817.997856","http:\/\/dx.doi.org\/10.1145\/2591796.2591805","http:\/\/dx.doi.org\/10.1109\/SFCS.1996.548458","http:\/\/dx.doi.org\/10.1145\/225058.225191","http:\/\/dx.doi.org\/10.1109\/SFCS.1994.365722","http:\/\/dx.doi.org\/10.1016\/j.comgeo.2006.10.001","http:\/\/dl.acm.org\/citation.cfm?id=313559.313777","http:\/\/dx.doi.org\/10.1145\/200836.200853","http:\/\/jmlr.org\/proceedings\/papers\/v32\/cuturi14.html","http:\/\/dl.acm.org\/citation.cfm?id=1283383.1283388","http:\/\/arxiv.org\/abs\/1604.03654","http:\/\/dx.doi.org\/10.1145\/62212.62249","http:\/\/dx.doi.org\/10.1109\/ICCV.1998.710701","http:\/\/portal.acm.org\/citation.cfm?id=2095145&CFID=63838676&CFTOKEN=79617016","http:\/\/dx.doi.org\/10.1145\/2213977.2214014","http:\/\/dx.doi.org\/10.1145\/2601097.2601175","http:\/\/dx.doi.org\/10.1145\/1007352.1007399","http:\/\/dl.acm.org\/citation.cfm?id=314500.314918"],"isPartOf":"#volume6280"},{"@type":"ScholarlyArticle","@id":"#article9651","name":"A Superlinear Lower Bound on the Number of 5-Holes","abstract":"Let P be a finite set of points in the plane in general position, that is, no three points of P are on a common line. We say that a set H of five points from P is a 5-hole in P if H is the vertex set of a convex 5-gon containing no other points of P. For a positive integer n, let h_5(n) be the minimum number of 5-holes among all sets of n points in the plane in general position.\r\n\r\nDespite many efforts in the last 30 years, the best known asymptotic lower and upper bounds for h_5(n) have been of order Omega(n) and O(n^2), respectively. We show that h_5(n) = Omega(n(log n)^(4\/5)), obtaining the first superlinear lower bound on h_5(n).\r\n\r\nThe following structural result, which might be of independent interest, is a crucial step in the proof of this lower bound. If a finite set P of points in the plane in general position is partitioned by a line l into two subsets, each of size at least 5 and not in convex position, then l intersects the convex hull of some 5-hole in P. The proof of this result is computer-assisted.","keywords":["Erd\u00f6s-Szekeres type problem","k-hole","empty k-gon","empty pentagon","planar point set"],"author":[{"@type":"Person","name":"Aichholzer, Oswin","givenName":"Oswin","familyName":"Aichholzer"},{"@type":"Person","name":"Balko, Martin","givenName":"Martin","familyName":"Balko"},{"@type":"Person","name":"Hackl, Thomas","givenName":"Thomas","familyName":"Hackl"},{"@type":"Person","name":"Kyncl, Jan","givenName":"Jan","familyName":"Kyncl"},{"@type":"Person","name":"Parada, Irene","givenName":"Irene","familyName":"Parada"},{"@type":"Person","name":"Scheucher, Manfred","givenName":"Manfred","familyName":"Scheucher"},{"@type":"Person","name":"Valtr, Pavel","givenName":"Pavel","familyName":"Valtr"},{"@type":"Person","name":"Vogtenhuber, Birgit","givenName":"Birgit","familyName":"Vogtenhuber"}],"position":8,"pageStart":"8:1","pageEnd":"8:16","dateCreated":"2017-06-20","datePublished":"2017-06-20","isAccessibleForFree":true,"license":"https:\/\/creativecommons.org\/licenses\/by\/3.0\/legalcode","copyrightHolder":[{"@type":"Person","name":"Aichholzer, Oswin","givenName":"Oswin","familyName":"Aichholzer"},{"@type":"Person","name":"Balko, Martin","givenName":"Martin","familyName":"Balko"},{"@type":"Person","name":"Hackl, Thomas","givenName":"Thomas","familyName":"Hackl"},{"@type":"Person","name":"Kyncl, Jan","givenName":"Jan","familyName":"Kyncl"},{"@type":"Person","name":"Parada, Irene","givenName":"Irene","familyName":"Parada"},{"@type":"Person","name":"Scheucher, Manfred","givenName":"Manfred","familyName":"Scheucher"},{"@type":"Person","name":"Valtr, Pavel","givenName":"Pavel","familyName":"Valtr"},{"@type":"Person","name":"Vogtenhuber, Birgit","givenName":"Birgit","familyName":"Vogtenhuber"}],"copyrightYear":"2017","accessMode":"textual","accessModeSufficient":"textual","creativeWorkStatus":"Published","inLanguage":"en-US","sameAs":"https:\/\/doi.org\/10.4230\/LIPIcs.SoCG.2017.8","publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","citation":["http:\/\/www.ist.tugraz.at\/aichholzer\/research\/rp\/triangulations\/ordertypes\/","http:\/\/arXiv.org\/abs\/1703.05253","http:\/\/kam.mff.cuni.cz\/~balko\/superlinear5Holes","http:\/\/www.ist.tugraz.at\/scheucher\/5holes"],"isPartOf":"#volume6280"},{"@type":"ScholarlyArticle","@id":"#article9652","name":"A Universal Slope Set for 1-Bend Planar Drawings","abstract":"We describe a set of Delta-1 slopes that are universal for 1-bend planar drawings of planar graphs of maximum degree Delta>=4; this establishes a new upper bound of Delta-1 on the 1-bend planar slope number. By universal we mean that every planar graph of degree Delta has a planar drawing with at most one bend per edge and such that the slopes of the segments forming the edges belong to the given set of slopes. This improves over previous results in two ways: Firstly, the best previously known upper bound for the 1-bend planar slope number was 3\/2(Delta-1) (the known lower bound being 3\/4(Delta-1)); secondly, all the known algorithms to construct 1-bend planar drawings with O(Delta) slopes use a different set of slopes for each graph and can have bad angular resolution, while our algorithm uses a universal set of slopes, which also guarantees that the minimum angle between any two edges incident to a vertex is pi\/(Delta-1).","keywords":["Slope number","1-bend drawings","planar graphs","angular resolution"],"author":[{"@type":"Person","name":"Angelini, Patrizio","givenName":"Patrizio","familyName":"Angelini"},{"@type":"Person","name":"Bekos, Michael A.","givenName":"Michael A.","familyName":"Bekos"},{"@type":"Person","name":"Liotta, Giuseppe","givenName":"Giuseppe","familyName":"Liotta"},{"@type":"Person","name":"Montecchiani, Fabrizio","givenName":"Fabrizio","familyName":"Montecchiani"}],"position":9,"pageStart":"9:1","pageEnd":"9:16","dateCreated":"2017-06-20","datePublished":"2017-06-20","isAccessibleForFree":true,"license":"https:\/\/creativecommons.org\/licenses\/by\/3.0\/legalcode","copyrightHolder":[{"@type":"Person","name":"Angelini, Patrizio","givenName":"Patrizio","familyName":"Angelini"},{"@type":"Person","name":"Bekos, Michael A.","givenName":"Michael A.","familyName":"Bekos"},{"@type":"Person","name":"Liotta, Giuseppe","givenName":"Giuseppe","familyName":"Liotta"},{"@type":"Person","name":"Montecchiani, Fabrizio","givenName":"Fabrizio","familyName":"Montecchiani"}],"copyrightYear":"2017","accessMode":"textual","accessModeSufficient":"textual","creativeWorkStatus":"Published","inLanguage":"en-US","sameAs":"https:\/\/doi.org\/10.4230\/LIPIcs.SoCG.2017.9","publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","citation":["http:\/\/dx.doi.org\/10.7155\/jgaa.00369","http:\/\/dx.doi.org\/10.1007\/978-3-662-49529-2_12","http:\/\/dx.doi.org\/10.1016\/S0925-7721(97)00026-6","http:\/\/dx.doi.org\/10.1007\/s00453-012-9705-8","http:\/\/dx.doi.org\/10.1017\/S0963548300001139","http:\/\/dx.doi.org\/10.1007\/BF02122694","http:\/\/dx.doi.org\/10.1007\/978-3-642-54423-1_12","http:\/\/dx.doi.org\/10.7155\/jgaa.00376","http:\/\/dx.doi.org\/10.1137\/0222063","http:\/\/dx.doi.org\/10.1137\/S0097539794277123","http:\/\/dx.doi.org\/10.1007\/3-540-44541-2_8","http:\/\/dx.doi.org\/10.1007\/s00373-012-1157-z","http:\/\/dx.doi.org\/10.1109\/SFCS.1992.267814","http:\/\/dx.doi.org\/10.1007\/3-540-56402-0_53","http:\/\/dx.doi.org\/10.1007\/BF02086606","http:\/\/dx.doi.org\/10.1137\/100815001","http:\/\/dx.doi.org\/10.1007\/978-3-662-49529-2_41","http:\/\/dx.doi.org\/10.1016\/j.comgeo.2014.01.003","http:\/\/dx.doi.org\/10.1007\/978-3-319-03841-4_36","http:\/\/dx.doi.org\/10.1016\/S0166-218X(97)00076-0","http:\/\/dx.doi.org\/10.1007\/978-3-642-25878-7_25","http:\/\/dx.doi.org\/10.1109\/TVCG.2010.81","http:\/\/dx.doi.org\/10.1109\/TVCG.2010.24","http:\/\/dx.doi.org\/10.1137\/0216030","http:\/\/dx.doi.org\/10.1093\/comjnl\/37.2.139"],"isPartOf":"#volume6280"},{"@type":"ScholarlyArticle","@id":"#article9653","name":"Near-Optimal epsilon-Kernel Construction and Related Problems","abstract":"The computation of (i) eps-kernels, (ii) approximate diameter, and (iii) approximate bichromatic closest pair are fundamental problems in geometric approximation. In each case the input is a set of points in d-dimensional space for a constant d and an approximation parameter eps > 0. In this paper, we describe new algorithms for these problems, achieving significant improvements to the exponent of the eps-dependency in their running times, from roughly d to d\/2 for the first two problems and from roughly d\/3 to d\/4 for problem (iii).\r\n\r\nThese results are all based on an efficient decomposition of a convex body using a hierarchy of Macbeath regions, and contrast to previous solutions that decomposed the space using quadtrees and grids. By further application of these techniques, we also show that it is possible to obtain near-optimal preprocessing time for the most efficient data structures for (iv) approximate nearest neighbor searching, (v) directional width queries, and (vi) polytope membership queries.","keywords":["Approximation","diameter","kernel","coreset","nearest neighbor","polytope membership","bichromatic closest pair","Macbeath regions"],"author":[{"@type":"Person","name":"Arya, Sunil","givenName":"Sunil","familyName":"Arya"},{"@type":"Person","name":"da Fonseca, Guilherme D.","givenName":"Guilherme D.","familyName":"da Fonseca"},{"@type":"Person","name":"Mount, David M.","givenName":"David M.","familyName":"Mount"}],"position":10,"pageStart":"10:1","pageEnd":"10:15","dateCreated":"2017-06-20","datePublished":"2017-06-20","isAccessibleForFree":true,"license":"https:\/\/creativecommons.org\/licenses\/by\/3.0\/legalcode","copyrightHolder":[{"@type":"Person","name":"Arya, Sunil","givenName":"Sunil","familyName":"Arya"},{"@type":"Person","name":"da Fonseca, Guilherme D.","givenName":"Guilherme D.","familyName":"da Fonseca"},{"@type":"Person","name":"Mount, David M.","givenName":"David M.","familyName":"Mount"}],"copyrightYear":"2017","accessMode":"textual","accessModeSufficient":"textual","creativeWorkStatus":"Published","inLanguage":"en-US","sameAs":"https:\/\/doi.org\/10.4230\/LIPIcs.SoCG.2017.10","publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","citation":["http:\/\/dx.doi.org\/10.1145\/1993636.1993713","http:\/\/dx.doi.org\/10.4230\/LIPIcs.SoCG.2016.11","http:\/\/dx.doi.org\/10.1007\/s00454-012-9412-x","http:\/\/dx.doi.org\/10.1145\/358315.358392","http:\/\/dx.doi.org\/10.1016\/j.comgeo.2005.10.002"],"isPartOf":"#volume6280"},{"@type":"ScholarlyArticle","@id":"#article9654","name":"Exact Algorithms for Terrain Guarding","abstract":"Given a 1.5-dimensional terrain T, also known as an x-monotone polygonal chain, the Terrain Guarding problem seeks a set of points of minimum size on T that guards all of the points on T. Here, we say that a point p guards a point q if no point of the line segment pq is strictly below T. The Terrain Guarding problem has been extensively studied for over 20 years. In 2005 it was already established that this problem admits a constant-factor approximation algorithm [SODA 2005]. However, only in 2010 King and Krohn [SODA 2010] finally showed that Terrain Guarding is NP-hard. In spite of the remarkable developments in approximation algorithms for Terrain Guarding, next to nothing is known about its parameterized complexity. In particular, the most intriguing open questions in this direction ask whether it admits a subexponential-time algorithm and whether it is fixed-parameter tractable. In this paper, we answer the first question affirmatively by developing an n^O(sqrt{k})-time algorithm for both Discrete Terrain Guarding and Continuous Terrain Guarding. We also make non-trivial progress with respect to the second question: we show that Discrete Orthogonal Terrain Guarding, a well-studied special case of Terrain Guarding, is fixed-parameter tractable.","keywords":["Terrain Guarding","Art Gallery","Exponential-Time Algorithms"],"author":[{"@type":"Person","name":"Ashok, Pradeesha","givenName":"Pradeesha","familyName":"Ashok"},{"@type":"Person","name":"Fomin, Fedor V.","givenName":"Fedor V.","familyName":"Fomin"},{"@type":"Person","name":"Kolay, Sudeshna","givenName":"Sudeshna","familyName":"Kolay"},{"@type":"Person","name":"Saurabh, Saket","givenName":"Saket","familyName":"Saurabh"},{"@type":"Person","name":"Zehavi, Meirav","givenName":"Meirav","familyName":"Zehavi"}],"position":11,"pageStart":"11:1","pageEnd":"11:15","dateCreated":"2017-06-20","datePublished":"2017-06-20","isAccessibleForFree":true,"license":"https:\/\/creativecommons.org\/licenses\/by\/3.0\/legalcode","copyrightHolder":[{"@type":"Person","name":"Ashok, Pradeesha","givenName":"Pradeesha","familyName":"Ashok"},{"@type":"Person","name":"Fomin, Fedor V.","givenName":"Fedor V.","familyName":"Fomin"},{"@type":"Person","name":"Kolay, Sudeshna","givenName":"Sudeshna","familyName":"Kolay"},{"@type":"Person","name":"Saurabh, Saket","givenName":"Saket","familyName":"Saurabh"},{"@type":"Person","name":"Zehavi, Meirav","givenName":"Meirav","familyName":"Zehavi"}],"copyrightYear":"2017","accessMode":"textual","accessModeSufficient":"textual","creativeWorkStatus":"Published","inLanguage":"en-US","sameAs":"https:\/\/doi.org\/10.4230\/LIPIcs.SoCG.2017.11","publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","isPartOf":"#volume6280"},{"@type":"ScholarlyArticle","@id":"#article9655","name":"Covering Lattice Points by Subspaces and Counting Point-Hyperplane Incidences","abstract":"Let d and k be integers with 1 <= k <= d-1. Let Lambda be a d-dimensional lattice and let K be a d-dimensional compact convex body symmetric about the origin. We provide estimates for the minimum number of k-dimensional linear subspaces needed to cover all points in the intersection of Lambda with K. In particular, our results imply that the minimum number of k-dimensional linear subspaces needed to cover the d-dimensional n * ... * n grid is at least Omega(n^(d(d-k)\/(d-1)-epsilon)) and at most O(n^(d(d-k)\/(d-1))), where epsilon > 0 is an arbitrarily small constant. This nearly settles a problem mentioned in the book of Brass, Moser, and Pach. We also find tight bounds for the minimum number of k-dimensional affine subspaces needed to cover the intersection of Lambda with K.\r\n\r\nWe use these new results to improve the best known lower bound for the maximum number of point-hyperplane incidences by Brass and Knauer. For d > =3 and epsilon in (0,1), we show that there is an integer r=r(d,epsilon) such that for all positive integers n, m the following statement is true. There is a set of n points in R^d and an arrangement of m hyperplanes in R^d with no K_(r,r) in their incidence graph and with at least Omega((mn)^(1-(2d+3)\/((d+2)(d+3)) - epsilon)) incidences if d is odd and Omega((mn)^(1-(2d^2+d-2)\/((d+2)(d^2+2d-2)) - epsilon)) incidences if d is even.","keywords":["lattice point","covering","linear subspace","point-hyperplane incidence"],"author":[{"@type":"Person","name":"Balko, Martin","givenName":"Martin","familyName":"Balko"},{"@type":"Person","name":"Cibulka, Josef","givenName":"Josef","familyName":"Cibulka"},{"@type":"Person","name":"Valtr, Pavel","givenName":"Pavel","familyName":"Valtr"}],"position":12,"pageStart":"12:1","pageEnd":"12:16","dateCreated":"2017-06-20","datePublished":"2017-06-20","isAccessibleForFree":true,"license":"https:\/\/creativecommons.org\/licenses\/by\/3.0\/legalcode","copyrightHolder":[{"@type":"Person","name":"Balko, Martin","givenName":"Martin","familyName":"Balko"},{"@type":"Person","name":"Cibulka, Josef","givenName":"Josef","familyName":"Cibulka"},{"@type":"Person","name":"Valtr, Pavel","givenName":"Pavel","familyName":"Valtr"}],"copyrightYear":"2017","accessMode":"textual","accessModeSufficient":"textual","creativeWorkStatus":"Published","inLanguage":"en-US","sameAs":"https:\/\/doi.org\/10.4230\/LIPIcs.SoCG.2017.12","publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","citation":["http:\/\/arxiv.org\/abs\/1509.01932","http:\/\/arxiv.org\/abs\/1703.04767","http:\/\/arxiv.org\/abs\/1407.5705","https:\/\/www.tu-chemnitz.de\/informatik\/ThIS\/downloads\/publications\/lefmann_no_three_submitted.pdf"],"isPartOf":"#volume6280"},{"@type":"ScholarlyArticle","@id":"#article9656","name":"Subquadratic Algorithms for Algebraic Generalizations of 3SUM","abstract":"The 3SUM problem asks if an input n-set of real numbers contains a triple whose sum is zero. We consider the 3POL problem, a natural generalization of 3SUM where we replace the sum function by a constant-degree polynomial in three variables. The motivations are threefold. Raz, Sharir, and de Zeeuw gave an O(n^{11\/6}) upper bound on the number of solutions of trivariate polynomial equations when the solutions are taken from the cartesian product of three n-sets of real numbers. We give algorithms for the corresponding problem of counting such solutions. Gr\u00f8nlund and Pettie recently designed subquadratic algorithms for 3SUM. We generalize their results to 3POL. Finally, we shed light on the General Position Testing (GPT) problem: \"Given n points in the plane, do three of them lie on a line?\", a key problem in computational geometry.\r\n\r\nWe prove that there exist bounded-degree algebraic decision trees of depth O(n^{12\/7+e}) that solve 3POL, and that 3POL can be solved in O(n^2 (log log n)^{3\/2} \/ (log n)^{1\/2}) time in the real-RAM model. Among the possible applications of those results, we show how to solve GPT in subquadratic time when the input points lie on o((log n)^{1\/6}\/(log log n)^{1\/2}) constant-degree polynomial curves. This constitutes the first step towards closing the major open question of whether GPT can be solved in subquadratic time. To obtain these results, we generalize important tools - such as batch range searching and dominance reporting - to a polynomial setting. We expect these new tools to be useful in other applications.","keywords":["3SUM","subquadratic algorithms","general position testing","range searching","dominance reporting","polynomial curves"],"author":[{"@type":"Person","name":"Barba, Luis","givenName":"Luis","familyName":"Barba"},{"@type":"Person","name":"Cardinal, Jean","givenName":"Jean","familyName":"Cardinal"},{"@type":"Person","name":"Iacono, John","givenName":"John","familyName":"Iacono"},{"@type":"Person","name":"Langerman, Stefan","givenName":"Stefan","familyName":"Langerman"},{"@type":"Person","name":"Ooms, Aur\u00e9lien","givenName":"Aur\u00e9lien","familyName":"Ooms"},{"@type":"Person","name":"Solomon, Noam","givenName":"Noam","familyName":"Solomon"}],"position":13,"pageStart":"13:1","pageEnd":"13:15","dateCreated":"2017-06-20","datePublished":"2017-06-20","isAccessibleForFree":true,"license":"https:\/\/creativecommons.org\/licenses\/by\/3.0\/legalcode","copyrightHolder":[{"@type":"Person","name":"Barba, Luis","givenName":"Luis","familyName":"Barba"},{"@type":"Person","name":"Cardinal, Jean","givenName":"Jean","familyName":"Cardinal"},{"@type":"Person","name":"Iacono, John","givenName":"John","familyName":"Iacono"},{"@type":"Person","name":"Langerman, Stefan","givenName":"Stefan","familyName":"Langerman"},{"@type":"Person","name":"Ooms, Aur\u00e9lien","givenName":"Aur\u00e9lien","familyName":"Ooms"},{"@type":"Person","name":"Solomon, Noam","givenName":"Noam","familyName":"Solomon"}],"copyrightYear":"2017","accessMode":"textual","accessModeSufficient":"textual","creativeWorkStatus":"Published","inLanguage":"en-US","sameAs":"https:\/\/doi.org\/10.4230\/LIPIcs.SoCG.2017.13","publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","citation":["https:\/\/arxiv.org\/abs\/1512.05279","https:\/\/arxiv.org\/abs\/1507.08181","https:\/\/arxiv.org\/abs\/1607.03600"],"isPartOf":"#volume6280"},{"@type":"ScholarlyArticle","@id":"#article9657","name":"Towards a Topology-Shape-Metrics Framework for Ortho-Radial Drawings","abstract":"Ortho-Radial drawings are a generalization of orthogonal drawings to grids that are formed by concentric circles and straight-line spokes emanating from the circles' center. Such drawings have applications in schematic graph layouts, e.g., for metro maps and destination maps.\r\n\r\nA plane graph is a planar graph with a fixed planar embedding. We give a combinatorial characterization of the plane graphs that admit a planar ortho-radial drawing without bends. Previously, such a characterization was only known for paths, cycles, and theta graphs, and in the special case of rectangular drawings for cubic graphs, where the contour of each face is required to be a rectangle.\r\n\r\nThe characterization is expressed in terms of an ortho-radial representation that, similar to Tamassia's orthogonal representations for orthogonal drawings describes such a drawing combinatorially in terms of angles around vertices and bends on the edges. In this sense our characterization can be seen as a first step towards generalizing the Topology-Shape-Metrics framework of Tamassia to ortho-radial drawings.","keywords":["Graph Drawing","Ortho-Radial Drawings","Combinatorial Characterization","Bend Minimization","Topology-Shape-Metrics"],"author":[{"@type":"Person","name":"Barth, Lukas","givenName":"Lukas","familyName":"Barth"},{"@type":"Person","name":"Niedermann, Benjamin","givenName":"Benjamin","familyName":"Niedermann"},{"@type":"Person","name":"Rutter, Ignaz","givenName":"Ignaz","familyName":"Rutter"},{"@type":"Person","name":"Wolf, Matthias","givenName":"Matthias","familyName":"Wolf"}],"position":14,"pageStart":"14:1","pageEnd":"14:16","dateCreated":"2017-06-20","datePublished":"2017-06-20","isAccessibleForFree":true,"license":"https:\/\/creativecommons.org\/licenses\/by\/3.0\/legalcode","copyrightHolder":[{"@type":"Person","name":"Barth, Lukas","givenName":"Lukas","familyName":"Barth"},{"@type":"Person","name":"Niedermann, Benjamin","givenName":"Benjamin","familyName":"Niedermann"},{"@type":"Person","name":"Rutter, Ignaz","givenName":"Ignaz","familyName":"Rutter"},{"@type":"Person","name":"Wolf, Matthias","givenName":"Matthias","familyName":"Wolf"}],"copyrightYear":"2017","accessMode":"textual","accessModeSufficient":"textual","creativeWorkStatus":"Published","inLanguage":"en-US","sameAs":"https:\/\/doi.org\/10.4230\/LIPIcs.SoCG.2017.14","publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","citation":"http:\/\/dx.doi.org\/10.1137\/S0097539794262847","isPartOf":"#volume6280"},{"@type":"ScholarlyArticle","@id":"#article9658","name":"On the Number of Ordinary Lines Determined by Sets in Complex Space","abstract":"Kelly's theorem states that a set of n points affinely spanning C^3 must determine at least one ordinary complex line (a line passing through exactly two of the points). Our main theorem shows that such sets determine at least 3n\/2 ordinary lines, unless the configuration has n-1 points in a plane and one point outside the plane (in which case there are at least n-1 ordinary lines). In addition, when at most n\/2 points are contained in any plane, we prove a theorem giving stronger bounds that take advantage of the existence of lines with four and more points (in the spirit of Melchior's and Hirzebruch's inequalities). Furthermore, when the points span four or more dimensions, with at most n\/2 points contained in any three dimensional affine subspace, we show that there must be a quadratic number of ordinary lines.","keywords":["Incidences","Combinatorial Geometry","Designs","Polynomial Method"],"author":[{"@type":"Person","name":"Basit, Abdul","givenName":"Abdul","familyName":"Basit"},{"@type":"Person","name":"Dvir, Zeev","givenName":"Zeev","familyName":"Dvir"},{"@type":"Person","name":"Saraf, Shubhangi","givenName":"Shubhangi","familyName":"Saraf"},{"@type":"Person","name":"Wolf, Charles","givenName":"Charles","familyName":"Wolf"}],"position":15,"pageStart":"15:1","pageEnd":"15:15","dateCreated":"2017-06-20","datePublished":"2017-06-20","isAccessibleForFree":true,"license":"https:\/\/creativecommons.org\/licenses\/by\/3.0\/legalcode","copyrightHolder":[{"@type":"Person","name":"Basit, Abdul","givenName":"Abdul","familyName":"Basit"},{"@type":"Person","name":"Dvir, Zeev","givenName":"Zeev","familyName":"Dvir"},{"@type":"Person","name":"Saraf, Shubhangi","givenName":"Shubhangi","familyName":"Saraf"},{"@type":"Person","name":"Wolf, Charles","givenName":"Charles","familyName":"Wolf"}],"copyrightYear":"2017","accessMode":"textual","accessModeSufficient":"textual","creativeWorkStatus":"Published","inLanguage":"en-US","sameAs":"https:\/\/doi.org\/10.4230\/LIPIcs.SoCG.2017.15","publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","isPartOf":"#volume6280"},{"@type":"ScholarlyArticle","@id":"#article9659","name":"On Optimal 2- and 3-Planar Graphs","abstract":"A graph is k-planar if it can be drawn in the plane such that no edge is crossed more than k times. While for k=1, optimal 1-planar graphs, i.e., those with n vertices and exactly 4n-8 edges, have been completely characterized, this has not been the case for k > 1. For k=2,3 and 4, upper bounds on the edge density have been developed for the case of simple graphs by Pach and T\u00f3th, Pach et al. and Ackerman, which have been used to improve the well-known \"Crossing Lemma\". Recently, we proved that these bounds also apply to non-simple 2- and 3-planar graphs without homotopic parallel edges and self-loops.\r\n\r\nIn this paper, we completely characterize optimal 2- and 3-planar graphs, i.e., those that achieve the aforementioned upper bounds. We prove that they have a remarkably simple regular structure, although they might be non-simple. The new characterization allows us to develop notable insights concerning new inclusion relationships with other graph classes.","keywords":["topological graphs","optimal k-planar graphs","characterization"],"author":[{"@type":"Person","name":"Bekos, Michael A.","givenName":"Michael A.","familyName":"Bekos"},{"@type":"Person","name":"Kaufmann, Michael","givenName":"Michael","familyName":"Kaufmann"},{"@type":"Person","name":"Raftopoulou, Chrysanthi N.","givenName":"Chrysanthi N.","familyName":"Raftopoulou"}],"position":16,"pageStart":"16:1","pageEnd":"16:16","dateCreated":"2017-06-20","datePublished":"2017-06-20","isAccessibleForFree":true,"license":"https:\/\/creativecommons.org\/licenses\/by\/3.0\/legalcode","copyrightHolder":[{"@type":"Person","name":"Bekos, Michael A.","givenName":"Michael A.","familyName":"Bekos"},{"@type":"Person","name":"Kaufmann, Michael","givenName":"Michael","familyName":"Kaufmann"},{"@type":"Person","name":"Raftopoulou, Chrysanthi N.","givenName":"Chrysanthi N.","familyName":"Raftopoulou"}],"copyrightYear":"2017","accessMode":"textual","accessModeSufficient":"textual","creativeWorkStatus":"Published","inLanguage":"en-US","sameAs":"https:\/\/doi.org\/10.4230\/LIPIcs.SoCG.2017.16","publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","citation":["http:\/\/dx.doi.org\/10.1007\/BF02187731","http:\/\/dx.doi.org\/10.1007\/978-3-662-48350-3_12","http:\/\/dx.doi.org\/10.1007\/978-3-319-50106-2_27","http:\/\/dx.doi.org\/10.1016\/j.tcs.2015.04.020","http:\/\/dx.doi.org\/10.1002\/jgt.3190190406","http:\/\/dx.doi.org\/10.7155\/jgaa.00330","http:\/\/dx.doi.org\/10.1007\/s00453-014-9935-z","http:\/\/dx.doi.org\/10.1093\/comjnl\/bxv048","http:\/\/dx.doi.org\/10.1007\/978-3-642-32241-9_29","http:\/\/dx.doi.org\/10.1007\/PL00009322","http:\/\/dx.doi.org\/10.1007\/s00454-006-1264-9","http:\/\/dx.doi.org\/10.1007\/BF01215922","http:\/\/dx.doi.org\/10.1137\/090746835","http:\/\/dx.doi.org\/10.1002\/jgt.3190010105"],"isPartOf":"#volume6280"},{"@type":"ScholarlyArticle","@id":"#article9660","name":"Reachability in a Planar Subdivision with Direction Constraints","abstract":"Given a planar subdivision with n vertices, each face having a cone of possible directions of travel, our goal is to decide which vertices of the subdivision can be reached from a given starting point s. We give an O(n log n)-time algorithm for this problem, as well as an Omega(n log n) lower bound in the algebraic computation tree model. We prove that the generalization where two cones of directions per face are allowed is NP-hard.","keywords":["Design and analysis of geometric algorithms","Path planning","Reachability"],"author":[{"@type":"Person","name":"Binham, Daniel","givenName":"Daniel","familyName":"Binham"},{"@type":"Person","name":"Manhaes de Castro, Pedro Machado","givenName":"Pedro Machado","familyName":"Manhaes de Castro"},{"@type":"Person","name":"Vigneron, Antoine","givenName":"Antoine","familyName":"Vigneron"}],"position":17,"pageStart":"17:1","pageEnd":"17:15","dateCreated":"2017-06-20","datePublished":"2017-06-20","isAccessibleForFree":true,"license":"https:\/\/creativecommons.org\/licenses\/by\/3.0\/legalcode","copyrightHolder":[{"@type":"Person","name":"Binham, Daniel","givenName":"Daniel","familyName":"Binham"},{"@type":"Person","name":"Manhaes de Castro, Pedro Machado","givenName":"Pedro Machado","familyName":"Manhaes de Castro"},{"@type":"Person","name":"Vigneron, Antoine","givenName":"Antoine","familyName":"Vigneron"}],"copyrightYear":"2017","accessMode":"textual","accessModeSufficient":"textual","creativeWorkStatus":"Published","inLanguage":"en-US","sameAs":"https:\/\/doi.org\/10.4230\/LIPIcs.SoCG.2017.17","publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","citation":["http:\/\/dx.doi.org\/10.1145\/800061.808735","http:\/\/dx.doi.org\/10.1007\/PL00009159","http:\/\/dx.doi.org\/10.1007\/s00453-003-1079-5","http:\/\/dx.doi.org\/10.1109\/TRO.2004.837232"],"isPartOf":"#volume6280"},{"@type":"ScholarlyArticle","@id":"#article9661","name":"Fine-Grained Complexity of Coloring Unit Disks and Balls","abstract":"On planar graphs, many classic algorithmic problems enjoy a certain \"square root phenomenon\" and can be solved significantly faster than what is known to be possible on general graphs: for example, Independent Set, 3-Coloring, Hamiltonian Cycle, Dominating Set can be solved in time 2^O(sqrt{n}) on an n-vertex planar graph, while no 2^o(n) algorithms exist for general graphs, assuming the Exponential Time Hypothesis (ETH). The square root in the exponent seems to be best possible for planar graphs: assuming the ETH, the running time for these problems cannot be improved to 2^o(sqrt{n}). In some cases, a similar speedup can be obtained for 2-dimensional geometric problems, for example, there are 2^O(sqrt{n}log n) time algorithms for Independent Set on unit disk graphs or for TSP on 2-dimensional point sets.\r\n\r\nIn this paper, we explore whether such a speedup is possible for geometric coloring problems. On the one hand, geometric objects can behave similarly to planar graphs: 3-Coloring can be solved in time 2^O(sqrt{n}) on the intersection graph of n unit disks in the plane and, assuming the ETH, there is no such algorithm with running time 2^o(sqrt{n}). On the other hand, if the number L of colors is part of the input, then no such speedup is possible: Coloring the intersection graph of n unit disks with L colors cannot be solved in time 2^o(n), assuming the ETH. More precisely, we exhibit a smooth increase of complexity as the number L of colors increases: If we restrict the number of colors to L=Theta(n^alpha) for some 0<=alpha<=1, then the problem of coloring the intersection graph of n unit disks with L colors\r\n\r\n* can be solved in time exp(O(n^{{1+alpha}\/2}log n))=exp( O(sqrt{nL}log n)), and\r\n\r\n* cannot be solved in time exp(o(n^{{1+alpha}\/2}))=exp(o(sqrt{nL})), unless the ETH fails.\r\n\r\nMore generally, we consider the problem of coloring d-dimensional unit balls in the Euclidean space and obtain analogous results showing that the problem \r\n\r\n* can be solved in time exp(O(n^{{d-1+alpha}\/d}log n))=exp(O(n^{1-1\/d}L^{1\/d}log n)), and\r\n\r\n* cannot be solved in time exp(n^{{d-1+alpha}\/d-epsilon})= exp (O(n^{1-1\/d-epsilon}L^{1\/d})) for any epsilon>0, unless the ETH fails.","keywords":["unit disk graphs","unit ball graphs","coloring","exact algorithm"],"author":[{"@type":"Person","name":"Bir\u00f3, Csaba","givenName":"Csaba","familyName":"Bir\u00f3"},{"@type":"Person","name":"Bonnet, \u00c9douard","givenName":"\u00c9douard","familyName":"Bonnet"},{"@type":"Person","name":"Marx, D\u00e1niel","givenName":"D\u00e1niel","familyName":"Marx"},{"@type":"Person","name":"Miltzow, Tillmann","givenName":"Tillmann","familyName":"Miltzow"},{"@type":"Person","name":"Rzazewski, Pawel","givenName":"Pawel","familyName":"Rzazewski"}],"position":18,"pageStart":"18:1","pageEnd":"18:16","dateCreated":"2017-06-20","datePublished":"2017-06-20","isAccessibleForFree":true,"license":"https:\/\/creativecommons.org\/licenses\/by\/3.0\/legalcode","copyrightHolder":[{"@type":"Person","name":"Bir\u00f3, Csaba","givenName":"Csaba","familyName":"Bir\u00f3"},{"@type":"Person","name":"Bonnet, \u00c9douard","givenName":"\u00c9douard","familyName":"Bonnet"},{"@type":"Person","name":"Marx, D\u00e1niel","givenName":"D\u00e1niel","familyName":"Marx"},{"@type":"Person","name":"Miltzow, Tillmann","givenName":"Tillmann","familyName":"Miltzow"},{"@type":"Person","name":"Rzazewski, Pawel","givenName":"Pawel","familyName":"Rzazewski"}],"copyrightYear":"2017","accessMode":"textual","accessModeSufficient":"textual","creativeWorkStatus":"Published","inLanguage":"en-US","sameAs":"https:\/\/doi.org\/10.4230\/LIPIcs.SoCG.2017.18","publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","citation":["http:\/\/dx.doi.org\/10.1016\/j.jalgor.2003.10.001","http:\/\/dx.doi.org\/10.1137\/1.9781611973402.129","http:\/\/arxiv.org\/abs\/1602.05016","http:\/\/dx.doi.org\/10.1137\/S0895480103433410","http:\/\/dx.doi.org\/10.1145\/1077464.1077468","http:\/\/dx.doi.org\/10.1145\/1101821.1101823","http:\/\/dx.doi.org\/10.1007\/978-3-540-31843-9_57","http:\/\/dx.doi.org\/10.1093\/comjnl\/bxm033","http:\/\/dx.doi.org\/10.1007\/s00493-008-2140-4","http:\/\/dx.doi.org\/10.4230\/LIPIcs.STACS.2010.2459","http:\/\/dx.doi.org\/10.1016\/j.cosrev.2008.02.004","http:\/\/dx.doi.org\/10.1007\/s00453-009-9296-1","http:\/\/dx.doi.org\/10.1016\/j.jcss.2014.04.015","http:\/\/dx.doi.org\/10.1016\/j.ipl.2011.05.016","http:\/\/dx.doi.org\/10.1137\/S0097539702419649","http:\/\/dx.doi.org\/10.1006\/jcss.2001.1774","http:\/\/dx.doi.org\/10.1007\/978-3-642-31594-7_48","http:\/\/dx.doi.org\/10.1137\/1.9781611973402.131","http:\/\/dx.doi.org\/10.1006\/jctb.1994.1071","http:\/\/dx.doi.org\/10.1007\/11561071_41","http:\/\/dx.doi.org\/10.1007\/978-3-662-48350-3_72","http:\/\/dx.doi.org\/10.1145\/2582112.2582124","http:\/\/dx.doi.org\/10.1145\/256292.256294","http:\/\/dx.doi.org\/10.4230\/LIPIcs.STACS.2013.353","http:\/\/dx.doi.org\/10.1109\/FOCS.2014.37","https:\/\/www.math.uwaterloo.ca\/~nwormald\/papers\/focssep.ps.gz","http:\/\/dl.acm.org\/citation.cfm?id=795664.796397","http:\/\/dx.doi.org\/10.1007\/978-3-642-23719-5_31"],"isPartOf":"#volume6280"},{"@type":"ScholarlyArticle","@id":"#article9662","name":"Anisotropic Triangulations via Discrete Riemannian Voronoi Diagrams","abstract":"The construction of anisotropic triangulations is desirable for various applications, such as the numerical solving of partial differential equations and the representation of surfaces in graphics. To solve this notoriously difficult problem in a practical way, we introduce the discrete Riemannian Voronoi diagram, a discrete structure that approximates the Riemannian Voronoi diagram. This structure has been implemented and was shown to lead to good triangulations in R^2 and on surfaces embedded in R^3 as detailed in our experimental companion paper.\r\n\r\nIn this paper, we study theoretical aspects of our structure. Given a finite set of points P in a domain Omega equipped with a Riemannian metric, we compare the discrete Riemannian Voronoi diagram of P to its Riemannian Voronoi diagram. Both diagrams have dual structures called the discrete Riemannian Delaunay and the Riemannian Delaunay complex. We provide conditions that guarantee that these dual structures are identical. It then follows from previous results that the discrete Riemannian Delaunay complex can be embedded in Omega under sufficient conditions, leading to an anisotropic triangulation with curved simplices. Furthermore, we show that, under similar conditions, the simplices of this triangulation can be straightened.","keywords":["Riemannian Geometry","Voronoi diagram","Delaunay triangulation"],"author":[{"@type":"Person","name":"Boissonnat, Jean-Daniel","givenName":"Jean-Daniel","familyName":"Boissonnat"},{"@type":"Person","name":"Rouxel-Labb\u00e9, Mael","givenName":"Mael","familyName":"Rouxel-Labb\u00e9"},{"@type":"Person","name":"Wintraecken, Mathijs","givenName":"Mathijs","familyName":"Wintraecken"}],"position":19,"pageStart":"19:1","pageEnd":"19:16","dateCreated":"2017-06-20","datePublished":"2017-06-20","isAccessibleForFree":true,"license":"https:\/\/creativecommons.org\/licenses\/by\/3.0\/legalcode","copyrightHolder":[{"@type":"Person","name":"Boissonnat, Jean-Daniel","givenName":"Jean-Daniel","familyName":"Boissonnat"},{"@type":"Person","name":"Rouxel-Labb\u00e9, Mael","givenName":"Mael","familyName":"Rouxel-Labb\u00e9"},{"@type":"Person","name":"Wintraecken, Mathijs","givenName":"Mathijs","familyName":"Wintraecken"}],"copyrightYear":"2017","accessMode":"textual","accessModeSufficient":"textual","creativeWorkStatus":"Published","inLanguage":"en-US","sameAs":"https:\/\/doi.org\/10.4230\/LIPIcs.SoCG.2017.19","publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","citation":"https:\/\/arxiv.org\/abs\/1703.06487","isPartOf":"#volume6280"},{"@type":"ScholarlyArticle","@id":"#article9663","name":"An Approximation Algorithm for the Art Gallery Problem","abstract":"Given a simple polygon P on n vertices, two points x, y in P are said to be visible to each other if the line segment between x and y is contained in P. The Point Guard Art Gallery problem asks for a minimum-size set S such that every point in P is visible from a point in S. The set S is referred to as guards. Assuming integer coordinates and a specific general position on the vertices of P, we present the first O(log OPT)-approximation algorithm for the point guard problem. This algorithm combines ideas in papers of Efrat and Har-Peled and Deshpande et al. We also point out a mistake in the latter.","keywords":["computational geometry","art gallery","approximation algorithm"],"author":[{"@type":"Person","name":"Bonnet, \u00c9douard","givenName":"\u00c9douard","familyName":"Bonnet"},{"@type":"Person","name":"Miltzow, Tillmann","givenName":"Tillmann","familyName":"Miltzow"}],"position":20,"pageStart":"20:1","pageEnd":"20:15","dateCreated":"2017-06-20","datePublished":"2017-06-20","isAccessibleForFree":true,"license":"https:\/\/creativecommons.org\/licenses\/by\/3.0\/legalcode","copyrightHolder":[{"@type":"Person","name":"Bonnet, \u00c9douard","givenName":"\u00c9douard","familyName":"Bonnet"},{"@type":"Person","name":"Miltzow, Tillmann","givenName":"Tillmann","familyName":"Miltzow"}],"copyrightYear":"2017","accessMode":"textual","accessModeSufficient":"textual","creativeWorkStatus":"Published","inLanguage":"en-US","sameAs":"https:\/\/doi.org\/10.4230\/LIPIcs.SoCG.2017.20","publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","citation":["http:\/\/arxiv.org\/abs\/1607.05527","http:\/\/dx.doi.org\/10.1007\/BF02570718","http:\/\/dx.doi.org\/10.1145\/2852040.2852053","http:\/\/dx.doi.org\/10.1007\/3-540-57155-8_252","http:\/\/arxiv.org\/abs\/1410.8720","http:\/\/dx.doi.org\/10.1007\/978-3-540-73951-7_15","http:\/\/dx.doi.org\/10.1016\/j.ipl.2006.05.014","http:\/\/dx.doi.org\/10.1016\/0095-8956(78)90059-X","http:\/\/dx.doi.org\/10.1016\/j.comgeo.2012.07.004","http:\/\/dx.doi.org\/10.1007\/s00454-014-9656-8","http:\/\/dx.doi.org\/10.1016\/0022-0000(90)90017-F","http:\/\/dx.doi.org\/10.1007\/978-3-642-11805-0_32"],"isPartOf":"#volume6280"},{"@type":"ScholarlyArticle","@id":"#article9664","name":"Self-Approaching Paths in Simple Polygons","abstract":"We study self-approaching paths that are contained in a simple polygon. A self-approaching path is a directed curve connecting two points such that the Euclidean distance between a point moving along the path and any future position does not increase, that is, for all points a, b, and c that appear in that order along the curve, |ac| >= |bc|. We analyze the properties, and present a characterization of shortest self-approaching paths. In particular, we show that a shortest self-approaching path connecting two points inside a polygon can be forced to follow a general class of non-algebraic curves. While this makes it difficult to design an exact algorithm, we show how to find a self-approaching path inside a polygon connecting two points under a model of computation which assumes that we can calculate involute curves of high order.\r\n\r\nLastly, we provide an algorithm to test if a given simple polygon is self-approaching, that is, if there exists a self-approaching path for any two points inside the polygon.","keywords":["self-approaching path","simple polygon","shortest path","involute curve"],"author":[{"@type":"Person","name":"Bose, Prosenjit","givenName":"Prosenjit","familyName":"Bose"},{"@type":"Person","name":"Kostitsyna, Irina","givenName":"Irina","familyName":"Kostitsyna"},{"@type":"Person","name":"Langerman, Stefan","givenName":"Stefan","familyName":"Langerman"}],"position":21,"pageStart":"21:1","pageEnd":"21:15","dateCreated":"2017-06-20","datePublished":"2017-06-20","isAccessibleForFree":true,"license":"https:\/\/creativecommons.org\/licenses\/by\/3.0\/legalcode","copyrightHolder":[{"@type":"Person","name":"Bose, Prosenjit","givenName":"Prosenjit","familyName":"Bose"},{"@type":"Person","name":"Kostitsyna, Irina","givenName":"Irina","familyName":"Kostitsyna"},{"@type":"Person","name":"Langerman, Stefan","givenName":"Stefan","familyName":"Langerman"}],"copyrightYear":"2017","accessMode":"textual","accessModeSufficient":"textual","creativeWorkStatus":"Published","inLanguage":"en-US","sameAs":"https:\/\/doi.org\/10.4230\/LIPIcs.SoCG.2017.21","publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","citation":["http:\/\/dx.doi.org\/10.1016\/S0166-218X(00)00233-X","http:\/\/dx.doi.org\/10.1007\/978-3-642-36763-2_23","http:\/\/dx.doi.org\/10.1145\/73833.73870","http:\/\/dx.doi.org\/10.1007\/10719839_9","http:\/\/dx.doi.org\/10.1007\/978-3-642-40104-6_14","http:\/\/arxiv.org\/abs\/1703.06107","http:\/\/dx.doi.org\/10.1007\/BF01377183","http:\/\/dx.doi.org\/10.1007\/978-3-662-45803-7_39","http:\/\/dx.doi.org\/10.2307\/2372560","http:\/\/dx.doi.org\/10.1098\/rsta.2011.0215","http:\/\/dx.doi.org\/10.1007\/BF01840360","http:\/\/dx.doi.org\/10.1145\/220279.220307","http:\/\/dx.doi.org\/10.1017\/S0305004198003016","http:\/\/dx.doi.org\/10.1090\/S0002-9939-02-06753-9","http:\/\/dx.doi.org\/10.1109\/SFCS.1992.267794","http:\/\/dx.doi.org\/10.20382\/jocg.v7i1a3","http:\/\/dx.doi.org\/10.1017\/S0305004100071875"],"isPartOf":"#volume6280"},{"@type":"ScholarlyArticle","@id":"#article9665","name":"Maximum Volume Subset Selection for Anchored Boxes","abstract":"Let B be a set of n axis-parallel boxes in d-dimensions such that each box has a corner at the origin and the other corner in the positive quadrant, and let k be a positive integer. We study the problem of selecting k boxes in B that maximize the volume of the union of the selected boxes. The research is motivated by applications in skyline queries for databases and in multicriteria optimization, where the problem is known as the hypervolume subset selection problem. It is known that the problem can be solved in polynomial time in the plane, while the best known algorithms in any dimension d>2 enumerate all size-k subsets. We show that:\r\n\r\n* The problem is NP-hard already in 3 dimensions.\r\n\r\n* In 3 dimensions, we break the enumeration of all size-k subsets, by providing an n^O(sqrt(k)) algorithm.\r\n\r\n* For any constant dimension d, we give an efficient polynomial-time approximation scheme.","keywords":["geometric optimization","subset selection","hypervolume indicator","Klee\u2019s 23 measure problem","boxes","NP-hardness","PTAS"],"author":[{"@type":"Person","name":"Bringmann, Karl","givenName":"Karl","familyName":"Bringmann"},{"@type":"Person","name":"Cabello, Sergio","givenName":"Sergio","familyName":"Cabello"},{"@type":"Person","name":"Emmerich, Michael T. M.","givenName":"Michael T. M.","familyName":"Emmerich"}],"position":22,"pageStart":"22:1","pageEnd":"22:15","dateCreated":"2017-06-20","datePublished":"2017-06-20","isAccessibleForFree":true,"license":"https:\/\/creativecommons.org\/licenses\/by\/3.0\/legalcode","copyrightHolder":[{"@type":"Person","name":"Bringmann, Karl","givenName":"Karl","familyName":"Bringmann"},{"@type":"Person","name":"Cabello, Sergio","givenName":"Sergio","familyName":"Cabello"},{"@type":"Person","name":"Emmerich, Michael T. M.","givenName":"Michael T. M.","familyName":"Emmerich"}],"copyrightYear":"2017","accessMode":"textual","accessModeSufficient":"textual","creativeWorkStatus":"Published","inLanguage":"en-US","sameAs":"https:\/\/doi.org\/10.4230\/LIPIcs.SoCG.2017.22","publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","citation":"http:\/\/www.jcdcgg.u-tokai.ac.jp\/JCDCG3_abstracts.pdf","isPartOf":"#volume6280"},{"@type":"ScholarlyArticle","@id":"#article9666","name":"Declutter and Resample: Towards Parameter Free Denoising","abstract":"In many data analysis applications the following scenario is commonplace: we are given a point set that is supposed to sample a hidden ground truth K in a metric space, but it got corrupted with noise so that some of the data points lie far away from K creating outliers also termed as ambient noise. One of the main goals of denoising algorithms is to eliminate such noise so that the curated data lie within a bounded Hausdorff distance of K. Popular denoising approaches such as deconvolution and thresholding often require the user to set several parameters and\/or to choose an appropriate noise model while guaranteeing only asymptotic convergence. Our goal is to lighten this burden as much as possible while ensuring theoretical guarantees in all cases.\r\n\r\nSpecifically, first, we propose a simple denoising algorithm that requires only a single parameter but provides a theoretical guarantee on the quality of the output on general input points. We argue that this single parameter cannot be avoided. We next present a simple algorithm that avoids even this parameter by paying for it with a slight strengthening of the sampling condition on the input points which is not unrealistic. We also provide some preliminary empirical evidence that our algorithms\r\nare effective in practice.","keywords":["denoising","parameter free","k-distance,compact sets"],"author":[{"@type":"Person","name":"Buchet, Mickael","givenName":"Mickael","familyName":"Buchet"},{"@type":"Person","name":"Dey, Tamal K.","givenName":"Tamal K.","familyName":"Dey"},{"@type":"Person","name":"Wang, Jiayuan","givenName":"Jiayuan","familyName":"Wang"},{"@type":"Person","name":"Wang, Yusu","givenName":"Yusu","familyName":"Wang"}],"position":23,"pageStart":"23:1","pageEnd":"23:16","dateCreated":"2017-06-20","datePublished":"2017-06-20","isAccessibleForFree":true,"license":"https:\/\/creativecommons.org\/licenses\/by\/3.0\/legalcode","copyrightHolder":[{"@type":"Person","name":"Buchet, Mickael","givenName":"Mickael","familyName":"Buchet"},{"@type":"Person","name":"Dey, Tamal K.","givenName":"Tamal K.","familyName":"Dey"},{"@type":"Person","name":"Wang, Jiayuan","givenName":"Jiayuan","familyName":"Wang"},{"@type":"Person","name":"Wang, Yusu","givenName":"Yusu","familyName":"Wang"}],"copyrightYear":"2017","accessMode":"textual","accessModeSufficient":"textual","creativeWorkStatus":"Published","inLanguage":"en-US","sameAs":"https:\/\/doi.org\/10.4230\/LIPIcs.SoCG.2017.23","publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","isPartOf":"#volume6280"},{"@type":"ScholarlyArticle","@id":"#article9667","name":"Ham Sandwich is Equivalent to Borsuk-Ulam","abstract":"The Borsuk-Ulam theorem is a fundamental result in algebraic topology, with applications to various areas of Mathematics. A classical application of the Borsuk-Ulam theorem is the Ham Sandwich theorem: The volumes of any n compact sets in R^n can always be simultaneously bisected by an (n-1)-dimensional hyperplane.\r\n\r\nIn this paper, we demonstrate the equivalence between the Borsuk-Ulam theorem and the Ham Sandwich theorem. The main technical result we show towards establishing the equivalence is the following: For every odd polynomial restricted to the hypersphere f:S^n->R, there exists a compact set A in R^{n+1}, such that for every x in S^n we have f(x)=vol(A cap H^+) - vol(A cap H^-), where H is the oriented hyperplane containing the origin with x as the normal. A noteworthy aspect of the proof of the above result is the use of hyperspherical harmonics. \r\n\r\nFinally, using the above result we prove that there exist constants n_0, epsilon_0>0 such that for every n>= n_0 and epsilon <= epsilon_0\/sqrt{48n}, any query algorithm to find an epsilon-bisecting (n-1)-dimensional hyperplane of n compact set in [-n^4.51,n^4.51]^n, even with success probability 2^-Omega(n), requires 2^Omega(n) queries.","keywords":["Ham Sandwich theorem","Borsuk-Ulam theorem","Query Complexity","Hyperspherical Harmonics"],"author":[{"@type":"Person","name":"C. S., Karthik","givenName":"Karthik","familyName":"C. S."},{"@type":"Person","name":"Saha, Arpan","givenName":"Arpan","familyName":"Saha"}],"position":24,"pageStart":"24:1","pageEnd":"24:15","dateCreated":"2017-06-20","datePublished":"2017-06-20","isAccessibleForFree":true,"license":"https:\/\/creativecommons.org\/licenses\/by\/3.0\/legalcode","copyrightHolder":[{"@type":"Person","name":"C. S., Karthik","givenName":"Karthik","familyName":"C. S."},{"@type":"Person","name":"Saha, Arpan","givenName":"Arpan","familyName":"Saha"}],"copyrightYear":"2017","accessMode":"textual","accessModeSufficient":"textual","creativeWorkStatus":"Published","inLanguage":"en-US","sameAs":"https:\/\/doi.org\/10.4230\/LIPIcs.SoCG.2017.24","publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","citation":["http:\/\/eccc.hpi-web.de\/report\/2015\/163","http:\/\/dx.doi.org\/10.1007\/978-3-642-25983-8","http:\/\/dx.doi.org\/10.1145\/2908734","http:\/\/arxiv.org\/abs\/1608.06580","http:\/\/dx.doi.org\/10.1137\/1028074","http:\/\/eudml.org\/doc\/158520","http:\/\/dx.doi.org\/10.1145\/1379759.1379761","http:\/\/dx.doi.org\/10.1016\/j.tcs.2009.07.052","http:\/\/dx.doi.org\/10.1145\/1516512.1516516","http:\/\/dx.doi.org\/10.1109\/FOCS.2007.53","http:\/\/dx.doi.org\/10.1137\/070699652","http:\/\/dx.doi.org\/10.1016\/S0747-7171(86)80020-7","https:\/\/cds.cern.ch\/record\/1953578","http:\/\/eudml.org\/doc\/158720","http:\/\/eudml.org\/doc\/158775","http:\/\/dx.doi.org\/10.1016\/0885-064X(89)90017-4","http:\/\/dx.doi.org\/10.4230\/LIPIcs.STACS.2011.649","http:\/\/dx.doi.org\/10.1007\/BF02574017","http:\/\/dx.doi.org\/10.1007\/978-3-540-76649-0","http:\/\/www.jstor.org\/stable\/1969529","http:\/\/dx.doi.org\/10.1016\/S0022-0000(05)80063-7","http:\/\/eccc.hpi-web.de\/report\/2016\/055","http:\/\/dx.doi.org\/10.1145\/2746539.2746578","http:\/\/arxiv.org\/abs\/1606.04550","http:\/\/dx.doi.org\/10.1017\/CBO9780511794308.006","http:\/\/dx.doi.org\/10.1007\/s11006-006-0048-0","http:\/\/dx.doi.org\/10.1002\/malq.200710016"],"isPartOf":"#volume6280"},{"@type":"ScholarlyArticle","@id":"#article9668","name":"Local Equivalence and Intrinsic Metrics between Reeb Graphs","abstract":"As graphical summaries for topological spaces and maps, Reeb graphs are common objects in the computer graphics or topological data analysis literature. Defining good metrics between these objects has become an important question for applications, where it matters to quantify the extent by which two given Reeb graphs differ. Recent contributions emphasize this aspect, proposing novel distances such as functional distortion or interleaving that are provably more discriminative than the so-called bottleneck distance, being true metrics whereas the latter is only a pseudo-metric. Their main drawback compared to the bottleneck distance is to be comparatively hard (if at all possible) to evaluate. Here we take the opposite view on the problem and show that the bottleneck distance is in fact good enough locally, in the sense that it is able to discriminate a Reeb graph from any other Reeb graph in a small enough neighborhood, as efficiently as the other metrics do. This suggests considering the intrinsic metrics induced by these distances, which turn out to be all globally equivalent. This novel viewpoint on the study of Reeb graphs has a potential impact on applications, where one may not only be interested in discriminating between data but also in interpolating between them.","keywords":["Reeb Graphs","Extended Persistence","Induced Metrics","Topological Data Analysis"],"author":[{"@type":"Person","name":"Carri\u00e8re, Mathieu","givenName":"Mathieu","familyName":"Carri\u00e8re"},{"@type":"Person","name":"Oudot, Steve","givenName":"Steve","familyName":"Oudot"}],"position":25,"pageStart":"25:1","pageEnd":"25:15","dateCreated":"2017-06-20","datePublished":"2017-06-20","isAccessibleForFree":true,"license":"https:\/\/creativecommons.org\/licenses\/by\/3.0\/legalcode","copyrightHolder":[{"@type":"Person","name":"Carri\u00e8re, Mathieu","givenName":"Mathieu","familyName":"Carri\u00e8re"},{"@type":"Person","name":"Oudot, Steve","givenName":"Steve","familyName":"Oudot"}],"copyrightYear":"2017","accessMode":"textual","accessModeSufficient":"textual","creativeWorkStatus":"Published","inLanguage":"en-US","sameAs":"https:\/\/doi.org\/10.4230\/LIPIcs.SoCG.2017.25","publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","isPartOf":"#volume6280"},{"@type":"ScholarlyArticle","@id":"#article9669","name":"Applications of Chebyshev Polynomials to Low-Dimensional Computational Geometry","abstract":"We apply the polynomial method - specifically, Chebyshev polynomials - to obtain a number of new results on geometric approximation algorithms in low constant dimensions. For example, we give an algorithm for constructing epsilon-kernels (coresets for approximate width and approximate convex hull) in close to optimal time O(n + (1\/epsilon)^{(d-1)\/2}), up to a small near-(1\/epsilon)^{3\/2} factor, for any d-dimensional n-point set. We obtain an improved data structure for Euclidean *approximate nearest neighbor search* with close to O(n log n + (1\/epsilon)^{d\/4} n) preprocessing time and O((1\/epsilon)^{d\/4} log n) query time. We obtain improved approximation algorithms for discrete Voronoi diagrams, diameter, and bichromatic closest pair in the L_s-metric for any even integer constant s >= 2. The techniques are general and may have further applications.","keywords":["diameter","coresets","approximate nearest neighbor search","the polynomial method","streaming"],"author":{"@type":"Person","name":"Chan, Timothy M.","givenName":"Timothy M.","familyName":"Chan"},"position":26,"pageStart":"26:1","pageEnd":"26:15","dateCreated":"2017-06-20","datePublished":"2017-06-20","isAccessibleForFree":true,"license":"https:\/\/creativecommons.org\/licenses\/by\/3.0\/legalcode","copyrightHolder":{"@type":"Person","name":"Chan, Timothy M.","givenName":"Timothy M.","familyName":"Chan"},"copyrightYear":"2017","accessMode":"textual","accessModeSufficient":"textual","creativeWorkStatus":"Published","inLanguage":"en-US","sameAs":"https:\/\/doi.org\/10.4230\/LIPIcs.SoCG.2017.26","publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","citation":["http:\/\/dx.doi.org\/10.1016\/0925-7721(92)90001-9","http:\/\/dx.doi.org\/10.1145\/1993636.1993713","http:\/\/dx.doi.org\/10.1145\/1613676.1613677","http:\/\/dx.doi.org\/10.1145\/2582112.2582161","http:\/\/dx.doi.org\/10.1145\/2261250.2261305","http:\/\/dx.doi.org\/10.4230\/LIPIcs.SoCG.2016.11","http:\/\/dx.doi.org\/10.1006\/jagm.2000.1127","http:\/\/dx.doi.org\/10.1137\/070683933","http:\/\/dx.doi.org\/10.1142\/S0218195902000748","http:\/\/dx.doi.org\/10.1016\/j.comgeo.2005.10.002","http:\/\/dx.doi.org\/10.4230\/LIPIcs.SoCG.2016.27","http:\/\/dx.doi.org\/10.1137\/0211037","http:\/\/dx.doi.org\/10.1145\/378583.378662","http:\/\/dx.doi.org\/10.1006\/jcom.1998.0476","http:\/\/dx.doi.org\/10.1007\/BF01759067","http:\/\/dx.doi.org\/10.1007\/s00453-010-9392-2"],"isPartOf":"#volume6280"},{"@type":"ScholarlyArticle","@id":"#article9670","name":"Orthogonal Range Searching in Moderate Dimensions: k-d Trees and Range Trees Strike Back","abstract":"We revisit the orthogonal range searching problem and the exact l_infinity nearest neighbor searching problem for a static set of n points when the dimension d is moderately large. We give the first data structure with near linear space that achieves truly sublinear query time when the dimension is any constant multiple of log n. Specifically, the preprocessing time and space are O(n^{1+delta}) for any constant delta>0, and the expected query time is n^{1-1\/O(c log c)} for d = c log n. The data structure is simple and is based on a new \"augmented, randomized, lopsided\" variant of k-d trees. It matches (in fact, slightly improves) the performance of previous combinatorial algorithms that work only in the case of offline queries [Impagliazzo, Lovett, Paturi, and Schneider (2014) and Chan (SODA'15)]. It leads to slightly faster combinatorial algorithms for all-pairs shortest paths in general real-weighted graphs and rectangular Boolean matrix multiplication.\r\n\r\nIn the offline case, we show that the problem can be reduced to the Boolean orthogonal vectors problem and thus admits an n^{2-1\/O(log c)}-time non-combinatorial algorithm [Abboud, Williams, and Yu (SODA'15)]. This reduction is also simple and is based on range trees.\r\n\r\nFinally, we use a similar approach to obtain a small improvement to Indyk's data structure [FOCS'98] for approximate l_infinity nearest neighbor search when d = c log n.","keywords":["computational geometry","data structures","range searching","nearest neighbor searching"],"author":{"@type":"Person","name":"Chan, Timothy M.","givenName":"Timothy M.","familyName":"Chan"},"position":27,"pageStart":"27:1","pageEnd":"27:15","dateCreated":"2017-06-20","datePublished":"2017-06-20","isAccessibleForFree":true,"license":"https:\/\/creativecommons.org\/licenses\/by\/3.0\/legalcode","copyrightHolder":{"@type":"Person","name":"Chan, Timothy M.","givenName":"Timothy M.","familyName":"Chan"},"copyrightYear":"2017","accessMode":"textual","accessModeSufficient":"textual","creativeWorkStatus":"Published","inLanguage":"en-US","sameAs":"https:\/\/doi.org\/10.4230\/LIPIcs.SoCG.2017.27","publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","citation":"http:\/\/dl.acm.org\/citation.cfm?id=1283383.1283490","isPartOf":"#volume6280"},{"@type":"ScholarlyArticle","@id":"#article9671","name":"Dynamic Orthogonal Range Searching on the RAM, Revisited","abstract":"We study a longstanding problem in computational geometry: 2-d dynamic orthogonal range reporting. We present a new data structure achieving O(log n \/ log log n + k) optimal query time and O(log^{2\/3+o(1)}n) update time (amortized) in the word RAM model, where n is the number of data points and k is the output size. This is the first improvement in over 10 years of Mortensen's previous result [SIAM J. Comput., 2006], which has O(log^{7\/8+epsilon}n) update time for an arbitrarily small constant epsilon.\r\n\r\nIn the case of 3-sided queries, our update time reduces to O(log^{1\/2+epsilon}n), improving Wilkinson's previous bound [ESA 2014] of O(log^{2\/3+epsilon}n).","keywords":["dynamic data structures","range searching","computational geometry"],"author":[{"@type":"Person","name":"Chan, Timothy M.","givenName":"Timothy M.","familyName":"Chan"},{"@type":"Person","name":"Tsakalidis, Konstantinos","givenName":"Konstantinos","familyName":"Tsakalidis"}],"position":28,"pageStart":"28:1","pageEnd":"28:13","dateCreated":"2017-06-20","datePublished":"2017-06-20","isAccessibleForFree":true,"license":"https:\/\/creativecommons.org\/licenses\/by\/3.0\/legalcode","copyrightHolder":[{"@type":"Person","name":"Chan, Timothy M.","givenName":"Timothy M.","familyName":"Chan"},{"@type":"Person","name":"Tsakalidis, Konstantinos","givenName":"Konstantinos","familyName":"Tsakalidis"}],"copyrightYear":"2017","accessMode":"textual","accessModeSufficient":"textual","creativeWorkStatus":"Published","inLanguage":"en-US","sameAs":"https:\/\/doi.org\/10.4230\/LIPIcs.SoCG.2017.28","publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","citation":["http:\/\/dx.doi.org\/10.1109\/SFCS.2000.892088","http:\/\/dx.doi.org\/10.1109\/SFCS.1998.743504","http:\/\/dx.doi.org\/10.1145\/1236457.1236460","http:\/\/dx.doi.org\/10.1007\/s00453-003-1021-x","http:\/\/dx.doi.org\/10.1137\/S009753970240481X","http:\/\/dx.doi.org\/10.1016\/0020-0190(79)90117-0","http:\/\/dx.doi.org\/10.4230\/LIPIcs.STACS.2016.23","http:\/\/dx.doi.org\/10.1142\/S0218195912600096","http:\/\/dx.doi.org\/10.1145\/1998196.1998198","http:\/\/dx.doi.org\/10.1137\/1.9781611973075.15","http:\/\/dx.doi.org\/10.1137\/0217026","http:\/\/dx.doi.org\/10.1145\/800070.802184","http:\/\/dx.doi.org\/10.1016\/0020-0190(87)90174-8","http:\/\/dx.doi.org\/10.1109\/SPDP.1996.570330","http:\/\/dx.doi.org\/10.1109\/SFCS.1978.1","http:\/\/dx.doi.org\/10.1137\/0214021","http:\/\/dx.doi.org\/10.1007\/BF01840386","http:\/\/dl.acm.org\/citation.cfm?id=644108.644210\"","http:\/\/dx.doi.org\/10.1137\/S0097539703436722","http:\/\/dx.doi.org\/10.1007\/s00453-007-9030-9","http:\/\/dx.doi.org\/10.1016\/j.comgeo.2008.09.001","http:\/\/dx.doi.org\/10.1016\/0196-6774(88)90041-7","http:\/\/dx.doi.org\/10.1016\/0020-0190(77)90031-X","http:\/\/dx.doi.org\/10.1007\/978-3-662-44777-2_69","http:\/\/dx.doi.org\/10.1137\/0214019","http:\/\/dx.doi.org\/10.1137\/S0097539797322425","http:\/\/dx.doi.org\/10.1145\/3828.3839"],"isPartOf":"#volume6280"},{"@type":"ScholarlyArticle","@id":"#article9672","name":"On Bend-Minimized Orthogonal Drawings of Planar 3-Graphs","abstract":"An orthogonal drawing of a graph is a planar drawing where each edge is drawn as a sequence of horizontal and vertical line segments. Finding a bend-minimized orthogonal drawing of a planar graph of maximum degree 4 is NP-hard. The problem becomes tractable for planar graphs of maximum degree 3, and the fastest known algorithm takes O(n^5 log n) time. Whether a faster algorithm exists has been a long-standing open problem in graph drawing. In this paper we present an algorithm that takes only O~(n^{17\/7}) time, which is a significant improvement over the previous state of the art.","keywords":["Bend minimization","graph drawing","orthogonal drawing","planar graph"],"author":[{"@type":"Person","name":"Chang, Yi-Jun","givenName":"Yi-Jun","familyName":"Chang"},{"@type":"Person","name":"Yen, Hsu-Chun","givenName":"Hsu-Chun","familyName":"Yen"}],"position":29,"pageStart":"29:1","pageEnd":"29:15","dateCreated":"2017-06-20","datePublished":"2017-06-20","isAccessibleForFree":true,"license":"https:\/\/creativecommons.org\/licenses\/by\/3.0\/legalcode","copyrightHolder":[{"@type":"Person","name":"Chang, Yi-Jun","givenName":"Yi-Jun","familyName":"Chang"},{"@type":"Person","name":"Yen, Hsu-Chun","givenName":"Hsu-Chun","familyName":"Yen"}],"copyrightYear":"2017","accessMode":"textual","accessModeSufficient":"textual","creativeWorkStatus":"Published","inLanguage":"en-US","sameAs":"https:\/\/doi.org\/10.4230\/LIPIcs.SoCG.2017.29","publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","isPartOf":"#volume6280"},{"@type":"ScholarlyArticle","@id":"#article9673","name":"Adaptive Planar Point Location","abstract":"We present a self-adjusting point location structure for convex subdivisions. Let n be the number of vertices in a convex subdivision S. Our structure for S uses O(n) space and processes any online query sequence sigma in O(n + OPT) time, where OPT is the minimum time required by any linear decision tree for answering point location queries in S to process sigma. The O(n + OPT) time bound includes the preprocessing time. Our result is a two-dimensional analog of the static optimality property of splay trees. For connected subdivisions, we achieve a processing time of O(|sigma| log log n + n + OPT).","keywords":["point location","planar subdivision","static optimality"],"author":[{"@type":"Person","name":"Cheng, Siu-Wing","givenName":"Siu-Wing","familyName":"Cheng"},{"@type":"Person","name":"Lau, Man-Kit","givenName":"Man-Kit","familyName":"Lau"}],"position":30,"pageStart":"30:1","pageEnd":"30:15","dateCreated":"2017-06-20","datePublished":"2017-06-20","isAccessibleForFree":true,"license":"https:\/\/creativecommons.org\/licenses\/by\/3.0\/legalcode","copyrightHolder":[{"@type":"Person","name":"Cheng, Siu-Wing","givenName":"Siu-Wing","familyName":"Cheng"},{"@type":"Person","name":"Lau, Man-Kit","givenName":"Man-Kit","familyName":"Lau"}],"copyrightYear":"2017","accessMode":"textual","accessModeSufficient":"textual","creativeWorkStatus":"Published","inLanguage":"en-US","sameAs":"https:\/\/doi.org\/10.4230\/LIPIcs.SoCG.2017.30","publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","isPartOf":"#volume6280"},{"@type":"ScholarlyArticle","@id":"#article9674","name":"High Dimensional Consistent Digital Segments","abstract":"We consider the problem of digitalizing Euclidean line segments from R^d to Z^d. Christ {et al.} (DCG, 2012) showed how to construct a set of {consistent digital segments} (CDS) for d=2: a collection of segments connecting any two points in Z^2 that satisfies the natural extension of the Euclidean axioms to Z^d. In this paper we study the construction of CDSs in higher dimensions. \r\n\r\nWe show that any total order can be used to create a set of {consistent digital rays} CDR in Z^d (a set of rays emanating from a fixed point p that satisfies the extension of the Euclidean axioms). We fully characterize for which total orders the construction holds and study their Hausdorff distance, which in particular positively answers the question posed by Christ {et al.}.","keywords":["Consistent Digital Line Segments","Digital Geometry","Computer Vision"],"author":[{"@type":"Person","name":"Chiu, Man-Kwun","givenName":"Man-Kwun","familyName":"Chiu"},{"@type":"Person","name":"Korman, Matias","givenName":"Matias","familyName":"Korman"}],"position":31,"pageStart":"31:1","pageEnd":"31:15","dateCreated":"2017-06-20","datePublished":"2017-06-20","isAccessibleForFree":true,"license":"https:\/\/creativecommons.org\/licenses\/by\/3.0\/legalcode","copyrightHolder":[{"@type":"Person","name":"Chiu, Man-Kwun","givenName":"Man-Kwun","familyName":"Chiu"},{"@type":"Person","name":"Korman, Matias","givenName":"Matias","familyName":"Korman"}],"copyrightYear":"2017","accessMode":"textual","accessModeSufficient":"textual","creativeWorkStatus":"Published","inLanguage":"en-US","sameAs":"https:\/\/doi.org\/10.4230\/LIPIcs.SoCG.2017.31","publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","isPartOf":"#volume6280"},{"@type":"ScholarlyArticle","@id":"#article9675","name":"TSP With Locational Uncertainty: The Adversarial Model","abstract":"In this paper we study a natural special case of the Traveling Salesman Problem (TSP) with point-locational-uncertainty which we will call the adversarial TSP problem (ATSP). Given a metric space (X, d) and a set of subsets R = {R_1, R_2, ... , R_n} : R_i subseteq X, the goal is to devise an ordering of the regions, sigma_R, that the tour will visit such that when a single point is chosen from each region, the induced tour over those points in the ordering prescribed by sigma_R is as short as possible. Unlike the classical locational-uncertainty-TSP problem, which focuses on minimizing the expected length of such a tour when the point within each region is chosen according to some probability distribution, here, we focus on the adversarial model in which once the choice of sigma_R is announced, an adversary selects a point from each region in order to make the resulting tour as long as possible. In other words, we consider an offline problem in which the goal is to determine an ordering of the regions R that is optimal with respect to the ``worst'' point possible within each region being chosen by an adversary, who knows the chosen ordering. We give a 3-approximation when R is a set of arbitrary regions\/sets of points in a metric space. We show how geometry leads to improved constant factor approximations when regions are parallel line segments of the same lengths, and a polynomial-time approximation scheme (PTAS) for the important special case in which R is a set of disjoint unit disks in the plane.","keywords":["traveling salesperson problem","TSP with neighborhoods","approximation algorithms","uncertainty"],"author":[{"@type":"Person","name":"Citovsky, Gui","givenName":"Gui","familyName":"Citovsky"},{"@type":"Person","name":"Mayer, Tyler","givenName":"Tyler","familyName":"Mayer"},{"@type":"Person","name":"Mitchell, Joseph S. B.","givenName":"Joseph S. B.","familyName":"Mitchell"}],"position":32,"pageStart":"32:1","pageEnd":"32:16","dateCreated":"2017-06-20","datePublished":"2017-06-20","isAccessibleForFree":true,"license":"https:\/\/creativecommons.org\/licenses\/by\/3.0\/legalcode","copyrightHolder":[{"@type":"Person","name":"Citovsky, Gui","givenName":"Gui","familyName":"Citovsky"},{"@type":"Person","name":"Mayer, Tyler","givenName":"Tyler","familyName":"Mayer"},{"@type":"Person","name":"Mitchell, Joseph S. B.","givenName":"Joseph S. B.","familyName":"Mitchell"}],"copyrightYear":"2017","accessMode":"textual","accessModeSufficient":"textual","creativeWorkStatus":"Published","inLanguage":"en-US","sameAs":"https:\/\/doi.org\/10.4230\/LIPIcs.SoCG.2017.32","publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","citation":["https:\/\/arxiv.org\/abs\/1705.06180","http:\/\/www.ams.sunysb.edu\/~jsbm\/papers\/tspn-soda07-rev.pdf"],"isPartOf":"#volume6280"},{"@type":"ScholarlyArticle","@id":"#article9676","name":"On Planar Greedy Drawings of 3-Connected Planar Graphs","abstract":"A graph drawing is greedy if, for every ordered pair of vertices (x,y), there is a path from x to y such that the Euclidean distance to y decreases monotonically at every vertex of the path. Greedy drawings support a simple geometric routing scheme, in which any node that has to send a packet to a destination \"greedily\" forwards the packet to any neighbor that is closer to the destination than itself, according to the Euclidean distance in the drawing. In a greedy drawing such a neighbor always exists and hence this routing scheme is guaranteed to succeed. \r\n\r\nIn 2004 Papadimitriou and Ratajczak stated two conjectures related to greedy drawings. The greedy embedding conjecture states that every 3-connected planar graph admits a greedy drawing. The convex greedy embedding conjecture asserts that every 3-connected planar graph admits a planar greedy drawing in which the faces are delimited by convex polygons. In 2008 the greedy embedding conjecture was settled in the positive by Leighton and Moitra. \r\n\r\nIn this paper we prove that every 3-connected planar graph admits a planar greedy drawing. Apart from being a strengthening of Leighton and Moitra's result, this theorem constitutes a natural intermediate step towards a proof of the convex greedy embedding conjecture.","keywords":["Greedy drawings","3-connectivity","planar graphs","convex drawings"],"author":[{"@type":"Person","name":"Da Lozzo, Giordano","givenName":"Giordano","familyName":"Da Lozzo"},{"@type":"Person","name":"D'Angelo, Anthony","givenName":"Anthony","familyName":"D'Angelo"},{"@type":"Person","name":"Frati, Fabrizio","givenName":"Fabrizio","familyName":"Frati"}],"position":33,"pageStart":"33:1","pageEnd":"33:16","dateCreated":"2017-06-20","datePublished":"2017-06-20","isAccessibleForFree":true,"license":"https:\/\/creativecommons.org\/licenses\/by\/3.0\/legalcode","copyrightHolder":[{"@type":"Person","name":"Da Lozzo, Giordano","givenName":"Giordano","familyName":"Da Lozzo"},{"@type":"Person","name":"D'Angelo, Anthony","givenName":"Anthony","familyName":"D'Angelo"},{"@type":"Person","name":"Frati, Fabrizio","givenName":"Fabrizio","familyName":"Frati"}],"copyrightYear":"2017","accessMode":"textual","accessModeSufficient":"textual","creativeWorkStatus":"Published","inLanguage":"en-US","sameAs":"https:\/\/doi.org\/10.4230\/LIPIcs.SoCG.2017.33","publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","citation":["http:\/\/arxiv.org\/abs\/1612.09277","http:\/\/www.cccg.ca\/proceedings\/1999\/c46.pdf"],"isPartOf":"#volume6280"},{"@type":"ScholarlyArticle","@id":"#article9677","name":"Origamizer: A Practical Algorithm for Folding Any Polyhedron","abstract":"It was established at SoCG'99 that every polyhedral complex can be folded from a sufficiently large square of paper, but the known algorithms are extremely impractical, wasting most of the material and making folds through many layers of paper. At a deeper level, these foldings get the topology wrong, introducing many gaps (boundaries) in the surface, which results in flimsy foldings in practice. We develop a new algorithm designed specifically for the practical folding of real paper into complicated polyhedral models. We prove that the algorithm correctly folds any oriented polyhedral manifold, plus an arbitrarily small amount of additional structure on one side of the surface (so for closed manifolds, inside the model). This algorithm is the first to attain the watertight property: for a specified cutting of the manifold into a topological disk with boundary, the folding maps the boundary of the paper to within epsilon of the specified boundary of the surface (in Fr\u00e9chet distance). Our foldings also have the geometric feature that every convex face is folded seamlessly, i.e., as one unfolded convex polygon of the piece of paper. This work provides the theoretical underpinnings for Origamizer, freely available software written by the second author, which has enabled practical folding of many complex polyhedral models such as the Stanford bunny.","keywords":["origami","folding","polyhedra","Voronoi diagram","computational geometry"],"author":[{"@type":"Person","name":"Demaine, Erik D.","givenName":"Erik D.","familyName":"Demaine"},{"@type":"Person","name":"Tachi, Tomohiro","givenName":"Tomohiro","familyName":"Tachi"}],"position":34,"pageStart":"34:1","pageEnd":"34:16","dateCreated":"2017-06-20","datePublished":"2017-06-20","isAccessibleForFree":true,"license":"https:\/\/creativecommons.org\/licenses\/by\/3.0\/legalcode","copyrightHolder":[{"@type":"Person","name":"Demaine, Erik D.","givenName":"Erik D.","familyName":"Demaine"},{"@type":"Person","name":"Tachi, Tomohiro","givenName":"Tomohiro","familyName":"Tachi"}],"copyrightYear":"2017","accessMode":"textual","accessModeSufficient":"textual","creativeWorkStatus":"Published","inLanguage":"en-US","sameAs":"https:\/\/doi.org\/10.4230\/LIPIcs.SoCG.2017.34","publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","citation":["http:\/\/erikdemaine.org\/papers\/Origamizer\/","http:\/\/www.tsg.ne.jp\/TT\/software\/","http:\/\/dx.doi.org\/10.1109\/TVCG.2009.67","http:\/\/dx.doi.org\/doi:10.1112\/plms\/s3-13.1.743"],"isPartOf":"#volume6280"},{"@type":"ScholarlyArticle","@id":"#article9678","name":"Computing the Geometric Intersection Number of Curves","abstract":"The geometric intersection number of a curve on a surface is the minimal number of self-intersections of any homotopic curve, i.e. of any curve obtained by continuous deformation. Given a curve c represented by a closed walk of length at most l on a combinatorial surface of complexity n we describe simple algorithms to (1) compute the geometric intersection number of c in O(n+ l^2) time, (2) construct a curve homotopic to c that realizes this geometric intersection number in O(n+l^4) time, (3) decide if the geometric intersection number of c is zero, i.e. if c is homotopic to a simple curve, in O(n+l log^2 l) time. \r\n\r\nTo our knowledge, no exact complexity analysis had yet appeared on those problems. An optimistic analysis of the complexity of the published algorithms for problems (1) and (3) gives at best a O(n+g^2l^2) time complexity on a genus g surface without boundary. No polynomial time algorithm was known for problem (2). Interestingly, our solution to problem (3) is the first quasi-linear algorithm since the problem was raised by Poincare more than a century ago. Finally, we note that our algorithm for problem (1) extends to computing the geometric intersection number of two curves of length at most l in O(n+ l^2) time.","keywords":["computational topology","curves on surfaces","combinatorial geodesic"],"author":[{"@type":"Person","name":"Despr\u00e9, Vincent","givenName":"Vincent","familyName":"Despr\u00e9"},{"@type":"Person","name":"Lazarus, Francis","givenName":"Francis","familyName":"Lazarus"}],"position":35,"pageStart":"35:1","pageEnd":"35:15","dateCreated":"2017-06-20","datePublished":"2017-06-20","isAccessibleForFree":true,"license":"https:\/\/creativecommons.org\/licenses\/by\/3.0\/legalcode","copyrightHolder":[{"@type":"Person","name":"Despr\u00e9, Vincent","givenName":"Vincent","familyName":"Despr\u00e9"},{"@type":"Person","name":"Lazarus, Francis","givenName":"Francis","familyName":"Lazarus"}],"copyrightYear":"2017","accessMode":"textual","accessModeSufficient":"textual","creativeWorkStatus":"Published","inLanguage":"en-US","sameAs":"https:\/\/doi.org\/10.4230\/LIPIcs.SoCG.2017.35","publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","citation":["http:\/\/arxiv.org\/pdf\/1601.03342","http:\/\/arxiv.org\/pdf\/1505.07171"],"isPartOf":"#volume6280"},{"@type":"ScholarlyArticle","@id":"#article9679","name":"Topological Analysis of Nerves, Reeb Spaces, Mappers, and Multiscale Mappers","abstract":"Data analysis often concerns not only the space where data come from, but also various types of maps attached to data. In recent years, several related structures have been used to study maps on data, including Reeb spaces, mappers and multiscale mappers. The construction of these structures also relies on the so-called nerve of a cover of the domain.\r\n\r\nIn this paper, we aim to analyze the topological information encoded in these structures in order to provide better understanding of these structures and facilitate their practical usage.\r\n\r\nMore specifically, we show that the one-dimensional homology of the nerve complex N(U) of a path-connected cover U of a domain X cannot be richer than that of the domain X itself. Intuitively, this result means that no new H_1-homology class can be \"created\" under a natural map from X to the nerve complex N(U). Equipping X with a pseudometric d, we further refine this result and characterize the classes of H_1(X) that may survive in the nerve complex using the notion of size of the covering elements in U. These fundamental results about nerve complexes then lead to an analysis of the H_1-homology of Reeb spaces, mappers and multiscale mappers.\r\n\r\nThe analysis of H_1-homology groups unfortunately does not extend to higher dimensions. Nevertheless, by using a map-induced metric, establishing a Gromov-Hausdorff convergence result between mappers and the domain, and interleaving relevant modules, we can still analyze the persistent homology groups of (multiscale) mappers to establish a connection to Reeb spaces.","keywords":["Topology","Nerves","Mapper","Multiscale Mapper","Reeb Spaces"],"author":[{"@type":"Person","name":"Dey, Tamal K.","givenName":"Tamal K.","familyName":"Dey"},{"@type":"Person","name":"M\u00e9moli, Facundo","givenName":"Facundo","familyName":"M\u00e9moli"},{"@type":"Person","name":"Wang, Yusu","givenName":"Yusu","familyName":"Wang"}],"position":36,"pageStart":"36:1","pageEnd":"36:16","dateCreated":"2017-06-20","datePublished":"2017-06-20","isAccessibleForFree":true,"license":"https:\/\/creativecommons.org\/licenses\/by\/3.0\/legalcode","copyrightHolder":[{"@type":"Person","name":"Dey, Tamal K.","givenName":"Tamal K.","familyName":"Dey"},{"@type":"Person","name":"M\u00e9moli, Facundo","givenName":"Facundo","familyName":"M\u00e9moli"},{"@type":"Person","name":"Wang, Yusu","givenName":"Yusu","familyName":"Wang"}],"copyrightYear":"2017","accessMode":"textual","accessModeSufficient":"textual","creativeWorkStatus":"Published","inLanguage":"en-US","sameAs":"https:\/\/doi.org\/10.4230\/LIPIcs.SoCG.2017.36","publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","isPartOf":"#volume6280"},{"@type":"ScholarlyArticle","@id":"#article9680","name":"Locality-Sensitive Hashing of Curves","abstract":"We study data structures for storing a set of polygonal curves in R^d such that, given a query curve, we can efficiently retrieve similar curves from the set, where similarity is measured using the discrete Fr\u00e9chet distance or the dynamic time warping distance. To this end we devise the first locality-sensitive hashing schemes for these distance measures. A major challenge is posed by the fact that these distance measures internally optimize the alignment between the curves. We give solutions for different types of alignments including constrained and unconstrained versions. For unconstrained alignments, we improve over a result by Indyk [SoCG 2002] for short curves. Let n be the number of input curves and let m be the maximum complexity of a curve in the input. In the particular case where m <= (a\/(4d)) log n, for some fixed a>0, our solutions imply an approximate near-neighbor data structure for the discrete Fr\u00e9chet distance that uses space in O(n^(1+a) log n) and achieves query time in O(n^a log^2 n) and constant approximation factor. Furthermore, our solutions provide a trade-off between approximation quality and computational performance: for any parameter k in [m], we can give a data structure that uses space in O(2^(2k) m^(k-1) n log n + nm), answers queries in O( 2^(2k) m^(k) log n) time and achieves approximation factor in O(m\/k).","keywords":["Locality-Sensitive Hashing","Frechet distance","Dynamic Time Warping"],"author":[{"@type":"Person","name":"Driemel, Anne","givenName":"Anne","familyName":"Driemel"},{"@type":"Person","name":"Silvestri, Francesco","givenName":"Francesco","familyName":"Silvestri"}],"position":37,"pageStart":"37:1","pageEnd":"37:16","dateCreated":"2017-06-20","datePublished":"2017-06-20","isAccessibleForFree":true,"license":"https:\/\/creativecommons.org\/licenses\/by\/3.0\/legalcode","copyrightHolder":[{"@type":"Person","name":"Driemel, Anne","givenName":"Anne","familyName":"Driemel"},{"@type":"Person","name":"Silvestri, Francesco","givenName":"Francesco","familyName":"Silvestri"}],"copyrightYear":"2017","accessMode":"textual","accessModeSufficient":"textual","creativeWorkStatus":"Published","inLanguage":"en-US","sameAs":"https:\/\/doi.org\/10.4230\/LIPIcs.SoCG.2017.37","publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","isPartOf":"#volume6280"},{"@type":"ScholarlyArticle","@id":"#article9681","name":"Shallow Packings, Semialgebraic Set Systems, Macbeath Regions, and Polynomial Partitioning","abstract":"The packing lemma of Haussler states that given a set system (X,R) with bounded VC dimension, if every pair of sets in R have large symmetric difference, then R cannot contain too many sets. Recently it was generalized to the shallow packing lemma, applying to set systems as a function of their shallow-cell complexity.\r\nIn this paper we present several new results and applications related to packings:\r\n\r\n* an optimal lower bound for shallow packings,\r\n\r\n* improved bounds on Mnets, providing a combinatorial analogue to Macbeath regions in convex geometry, \r\n\r\n* we observe that Mnets provide a general, more powerful framework from which the state-of-the-art unweighted epsilon-net results follow immediately, and \r\n\r\n* simplifying and generalizing one of the main technical tools in [Fox et al. , J. of the EMS, to appear].","keywords":["Epsilon-nets","Haussler's packing lemma","Mnets","shallow-cell complexity","shallow packing lemma"],"author":[{"@type":"Person","name":"Dutta, Kunal","givenName":"Kunal","familyName":"Dutta"},{"@type":"Person","name":"Ghosh, Arijit","givenName":"Arijit","familyName":"Ghosh"},{"@type":"Person","name":"Jartoux, Bruno","givenName":"Bruno","familyName":"Jartoux"},{"@type":"Person","name":"Mustafa, Nabil H.","givenName":"Nabil H.","familyName":"Mustafa"}],"position":38,"pageStart":"38:1","pageEnd":"38:15","dateCreated":"2017-06-20","datePublished":"2017-06-20","isAccessibleForFree":true,"license":"https:\/\/creativecommons.org\/licenses\/by\/3.0\/legalcode","copyrightHolder":[{"@type":"Person","name":"Dutta, Kunal","givenName":"Kunal","familyName":"Dutta"},{"@type":"Person","name":"Ghosh, Arijit","givenName":"Arijit","familyName":"Ghosh"},{"@type":"Person","name":"Jartoux, Bruno","givenName":"Bruno","familyName":"Jartoux"},{"@type":"Person","name":"Mustafa, Nabil H.","givenName":"Nabil H.","familyName":"Mustafa"}],"copyrightYear":"2017","accessMode":"textual","accessModeSufficient":"textual","creativeWorkStatus":"Published","inLanguage":"en-US","sameAs":"https:\/\/doi.org\/10.4230\/LIPIcs.SoCG.2017.38","publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","citation":"http:\/\/dx.doi.org\/10.1006\/jcss.2000.1741","isPartOf":"#volume6280"},{"@type":"ScholarlyArticle","@id":"#article9682","name":"Topological Data Analysis with Bregman Divergences","abstract":"We show that the framework of topological data analysis can be extended from metrics to general Bregman divergences, widening the scope of possible applications. Examples are the Kullback-Leibler divergence, which is commonly used for comparing text and images, and the Itakura-Saito divergence, popular for speech and sound. In particular, we prove that appropriately generalized Cech and Delaunay (alpha) complexes capture the correct homotopy type, namely that of the corresponding union of Bregman balls. Consequently, their filtrations give the correct persistence diagram, namely the one generated by the uniformly growing Bregman balls. Moreover, we show that unlike the metric setting, the filtration of Vietoris-Rips complexes may fail to approximate the persistence diagram. We propose algorithms to compute the thus generalized Cech, Vietoris-Rips and Delaunay complexes and experimentally test their efficiency. Lastly, we explain their surprisingly good performance by making a connection with discrete Morse theory.","keywords":["Topological data analysis","Bregman divergences","persistent homology","proximity complexes","algorithms"],"author":[{"@type":"Person","name":"Edelsbrunner, Herbert","givenName":"Herbert","familyName":"Edelsbrunner"},{"@type":"Person","name":"Wagner, Hubert","givenName":"Hubert","familyName":"Wagner"}],"position":39,"pageStart":"39:1","pageEnd":"39:16","dateCreated":"2017-06-20","datePublished":"2017-06-20","isAccessibleForFree":true,"license":"https:\/\/creativecommons.org\/licenses\/by\/3.0\/legalcode","copyrightHolder":[{"@type":"Person","name":"Edelsbrunner, Herbert","givenName":"Herbert","familyName":"Edelsbrunner"},{"@type":"Person","name":"Wagner, Hubert","givenName":"Hubert","familyName":"Wagner"}],"copyrightYear":"2017","accessMode":"textual","accessModeSufficient":"textual","creativeWorkStatus":"Published","inLanguage":"en-US","sameAs":"https:\/\/doi.org\/10.4230\/LIPIcs.SoCG.2017.39","publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","isPartOf":"#volume6280"},{"@type":"ScholarlyArticle","@id":"#article9683","name":"Finding Small Hitting Sets in Infinite Range Spaces of Bounded VC-Dimension","abstract":"We consider the problem of finding a small hitting set in an infinite range space F=(Q,R) of bounded VC-dimension. We show that, under reasonably general assumptions, the infinite-dimensional convex relaxation can be solved (approximately) efficiently by multiplicative weight updates. As a consequence, we get an algorithm that finds, for any delta>0, a set of size O(s_F(z^*_F)) that hits (1-delta)-fraction of R (with respect to a given measure) in time proportional to log(1\/delta), where s_F(1\/epsilon) is the size of the smallest epsilon-net the range space admits, and z^*_F is the value of the fractional optimal solution. This exponentially improves upon previous results which achieve the same approximation guarantees with running time proportional to poly(1\/delta). Our assumptions hold, for instance, in the case when the range space represents the visibility regions of a polygon in the plane, giving thus a deterministic polynomial-time O(log z^*_F)-approximation algorithm for guarding (1-delta)-fraction of the area of any given simple polygon, with running time proportional to polylog(1\/delta).","keywords":["VC-dimension","approximation algorithms","fractional covering","multiplicative weights update","art gallery problem","polyhedral separators","geometric cove"],"author":{"@type":"Person","name":"Elbassioni, Khaled","givenName":"Khaled","familyName":"Elbassioni"},"position":40,"pageStart":"40:1","pageEnd":"40:15","dateCreated":"2017-06-20","datePublished":"2017-06-20","isAccessibleForFree":true,"license":"https:\/\/creativecommons.org\/licenses\/by\/3.0\/legalcode","copyrightHolder":{"@type":"Person","name":"Elbassioni, Khaled","givenName":"Khaled","familyName":"Elbassioni"},"copyrightYear":"2017","accessMode":"textual","accessModeSufficient":"textual","creativeWorkStatus":"Published","inLanguage":"en-US","sameAs":"https:\/\/doi.org\/10.4230\/LIPIcs.SoCG.2017.40","publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","isPartOf":"#volume6280"},{"@type":"ScholarlyArticle","@id":"#article9684","name":"A Nearly Quadratic Bound for the Decision Tree Complexity of k-SUM","abstract":"We show that the k-SUM problem can be solved by a linear decision tree of depth O(n^2 log^2 n),improving the recent bound O(n^3 log^3 n) of Cardinal et al. Our bound depends linearly on k, and allows us to conclude that the number of linear queries required to decide the n-dimensional Knapsack or SubsetSum problems is only O(n^3 log n), improving the currently best known bounds by a factor of n. Our algorithm extends to the RAM model, showing that the k-SUM problem can be solved in expected polynomial time, for any fixed k, with the above bound on the number of linear queries. Our approach relies on a new point-location mechanism, exploiting \"Epsilon-cuttings\" that are based on vertical decompositions in hyperplane arrangements in high dimensions. \r\nA major side result of the analysis in this paper is a sharper bound on the complexity of the vertical decomposition of such an arrangement (in terms of its dependence on the dimension). We hope that this study will reveal further structural properties of vertical decompositions in hyperplane arrangements.","keywords":["k-SUM and k-LDT","linear decision tree","hyperplane arrangements","point-location","vertical decompositions","Epsilon-cuttings"],"author":[{"@type":"Person","name":"Ezra, Esther","givenName":"Esther","familyName":"Ezra"},{"@type":"Person","name":"Sharir, Micha","givenName":"Micha","familyName":"Sharir"}],"position":41,"pageStart":"41:1","pageEnd":"41:15","dateCreated":"2017-06-20","datePublished":"2017-06-20","isAccessibleForFree":true,"license":"https:\/\/creativecommons.org\/licenses\/by\/3.0\/legalcode","copyrightHolder":[{"@type":"Person","name":"Ezra, Esther","givenName":"Esther","familyName":"Ezra"},{"@type":"Person","name":"Sharir, Micha","givenName":"Micha","familyName":"Sharir"}],"copyrightYear":"2017","accessMode":"textual","accessModeSufficient":"textual","creativeWorkStatus":"Published","inLanguage":"en-US","sameAs":"https:\/\/doi.org\/10.4230\/LIPIcs.SoCG.2017.41","publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","isPartOf":"#volume6280"},{"@type":"ScholarlyArticle","@id":"#article9685","name":"Computing the Fr\u00e9chet Gap Distance","abstract":"Measuring the similarity of two polygonal curves is a fundamental computational task. Among alternatives, the Frechet distance is one of the most well studied similarity measures. Informally, the Fr\u00e9chet distance is described as the minimum leash length required for a man on one of the curves to walk a dog on the other curve continuously from the starting to the ending points. In this paper we study a variant called the Fr\u00e9chet gap distance. In the man and dog analogy, the Fr\u00e9chet gap distance minimizes the difference of the longest and smallest leash lengths used over the entire walk. This measure in some ways better captures our intuitive notions of curve similarity, for example giving distance zero to translated copies of the same curve.\r\n\r\nThe Fr\u00e9chet gap distance was originally introduced by Filtser and Katz (2015) in the context of the discrete Fr\u00e9chet distance. Here we study the continuous version, which presents a number of additional challenges not present in discrete case. In particular, the continuous nature makes bounding and searching over the critical events a rather difficult task.\r\n\r\nFor this problem we give an O(n^5 log(n)) time exact algorithm and a more efficient O(n^2 log(n) + (n^2\/epsilon) log(1\/epsilon)) time (1+epsilon)-approximation algorithm, where n is the total number of vertices of the input curves. Note that for (small enough) constant epsilon and ignoring logarithmic factors, our approximation has quadratic running time, matching the lower bound, assuming SETH (Bringmann 2014), for approximating the standard Fr\u00e9chet distance for general curves.","keywords":["Frechet Distance","Approximation","Polygonal Curves"],"author":[{"@type":"Person","name":"Fan, Chenglin","givenName":"Chenglin","familyName":"Fan"},{"@type":"Person","name":"Raichel, Benjamin","givenName":"Benjamin","familyName":"Raichel"}],"position":42,"pageStart":"42:1","pageEnd":"42:16","dateCreated":"2017-06-20","datePublished":"2017-06-20","isAccessibleForFree":true,"license":"https:\/\/creativecommons.org\/licenses\/by\/3.0\/legalcode","copyrightHolder":[{"@type":"Person","name":"Fan, Chenglin","givenName":"Chenglin","familyName":"Fan"},{"@type":"Person","name":"Raichel, Benjamin","givenName":"Benjamin","familyName":"Raichel"}],"copyrightYear":"2017","accessMode":"textual","accessModeSufficient":"textual","creativeWorkStatus":"Published","inLanguage":"en-US","sameAs":"https:\/\/doi.org\/10.4230\/LIPIcs.SoCG.2017.42","publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","citation":"http:\/\/www.utdallas.edu\/~bar150630\/gap.pdf","isPartOf":"#volume6280"},{"@type":"ScholarlyArticle","@id":"#article9686","name":"Erd\u00f6s-Hajnal Conjecture for Graphs with Bounded VC-Dimension","abstract":"The Vapnik-Chervonenkis dimension (in short, VC-dimension) of a graph is defined as the VC-dimension of the set system induced by the neighborhoods of its vertices. We show that every n-vertex graph with bounded VC-dimension contains a clique or an independent set of size at least e^{(log n)^{1 - o(1)}}. The dependence on the VC-dimension is hidden in the o(1) term. This improves the general lower bound, e^{c sqrt{log n}}, due to Erdos and Hajnal, which is valid in the class of graphs satisfying any fixed nontrivial hereditary property. Our result is almost optimal and nearly matches the celebrated Erdos-Hajnal conjecture, according to which one can always find a clique or an independent set of size at least e^{Omega(log n)}. Our results partially explain why most geometric intersection graphs arising in discrete and computational geometry have exceptionally favorable Ramsey-type properties.\r\n\r\nOur main tool is a partitioning result found by Lovasz-Szegedy and Alon-Fischer-Newman, which is called the \"ultra-strong regularity lemma\" for graphs with bounded VC-dimension. We extend this lemma to k-uniform hypergraphs, and prove that the number of parts in the partition can be taken to be (1\/epsilon)^{O(d)}, improving the original bound of (1\/epsilon)^{O(d^2)} in the graph setting. We show that this bound is tight up to an absolute constant factor in the exponent. Moreover, we give an O(n^k)-time algorithm for finding a partition meeting the requirements in the k-uniform setting.","keywords":["VC-dimension","Ramsey theory","regularity lemma"],"author":[{"@type":"Person","name":"Fox, Jacob","givenName":"Jacob","familyName":"Fox"},{"@type":"Person","name":"Pach, J\u00e1nos","givenName":"J\u00e1nos","familyName":"Pach"},{"@type":"Person","name":"Suk, Andrew","givenName":"Andrew","familyName":"Suk"}],"position":43,"pageStart":"43:1","pageEnd":"43:15","dateCreated":"2017-06-20","datePublished":"2017-06-20","isAccessibleForFree":true,"license":"https:\/\/creativecommons.org\/licenses\/by\/3.0\/legalcode","copyrightHolder":[{"@type":"Person","name":"Fox, Jacob","givenName":"Jacob","familyName":"Fox"},{"@type":"Person","name":"Pach, J\u00e1nos","givenName":"J\u00e1nos","familyName":"Pach"},{"@type":"Person","name":"Suk, Andrew","givenName":"Andrew","familyName":"Suk"}],"copyrightYear":"2017","accessMode":"textual","accessModeSufficient":"textual","creativeWorkStatus":"Published","inLanguage":"en-US","sameAs":"https:\/\/doi.org\/10.4230\/LIPIcs.SoCG.2017.43","publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","isPartOf":"#volume6280"},{"@type":"ScholarlyArticle","@id":"#article9687","name":"Implementing Delaunay Triangulations of the Bolza Surface","abstract":"The CGAL library offers software packages to compute Delaunay triangulations of the (flat) torus of genus one in two and three dimensions. To the best of our knowledge, there is no available software for the simplest possible extension, i.e., the Bolza surface, a hyperbolic manifold homeomorphic to a torus of genus two. \r\n\r\nIn this paper, we present an implementation based on the theoretical results and the incremental algorithm proposed last year at SoCG by Bogdanov, Teillaud, and Vegter. We describe the representation of the triangulation, we detail the different steps of the algorithm, we study predicates, and report experimental results.","keywords":["hyperbolic surface","Fuchsian group","arithmetic issues","Dehn's algorithm","CGAL"],"author":[{"@type":"Person","name":"Iordanov, Iordan","givenName":"Iordan","familyName":"Iordanov"},{"@type":"Person","name":"Teillaud, Monique","givenName":"Monique","familyName":"Teillaud"}],"position":44,"pageStart":"44:1","pageEnd":"44:15","dateCreated":"2017-06-20","datePublished":"2017-06-20","isAccessibleForFree":true,"license":"https:\/\/creativecommons.org\/licenses\/by\/3.0\/legalcode","copyrightHolder":[{"@type":"Person","name":"Iordanov, Iordan","givenName":"Iordan","familyName":"Iordanov"},{"@type":"Person","name":"Teillaud, Monique","givenName":"Monique","familyName":"Teillaud"}],"copyrightYear":"2017","accessMode":"textual","accessModeSufficient":"textual","creativeWorkStatus":"Published","inLanguage":"en-US","sameAs":"https:\/\/doi.org\/10.4230\/LIPIcs.SoCG.2017.44","publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","citation":["http:\/\/dx.doi.org\/10.1016\/0370-1573(86)90159-6","http:\/\/dx.doi.org\/10.4230\/LIPIcs.SoCG.2016.20","http:\/\/dx.doi.org\/10.1093\/comjnl\/24.2.162","http:\/\/doc.cgal.org\/latest\/Manual\/packages.html#PkgPeriodic3Triangulation3Summary","http:\/\/dx.doi.org\/10.1007\/s00454-016-9782-6","http:\/\/dx.doi.org\/10.1007\/BF01456725","https:\/\/hal.inria.fr\/inria-00102194","http:\/\/dx.doi.org\/10.1016\/j.comgeo.2010.09.010","http:\/\/www.gap-system.org","http:\/\/dx.doi.org\/10.1002\/cpa.3160130108","http:\/\/doc.cgal.org\/latest\/Manual\/packages.html#PkgPeriodic2Triangulation2Summary","http:\/\/magma.maths.usyd.edu.au\/magma\/","http:\/\/www-history.mcs.st-andrews.ac.uk\/HistTopics\/Word_problems.html","http:\/\/dx.doi.org\/10.1142\/9789812831699_0011","http:\/\/cs.nyu.edu\/exact\/core_pages\/intro.html"],"isPartOf":"#volume6280"},{"@type":"ScholarlyArticle","@id":"#article9688","name":"Lower Bounds for Differential Privacy from Gaussian Width","abstract":"We study the optimal sample complexity of a given workload of linear queries under the constraints of differential privacy. The sample complexity of a query answering mechanism under error parameter alpha is the smallest n such that the mechanism answers the workload with error at most alpha on any database of size n. Following a line of research started by Hardt and Talwar [STOC 2010], we analyze sample complexity using the tools of asymptotic convex geometry. We study the sensitivity polytope, a natural convex body associated with a query workload that quantifies how query answers can change between neighboring databases. This is the information that, roughly speaking, is protected by a differentially private algorithm, and, for this reason, we expect that a \"bigger\" sensitivity polytope implies larger sample complexity. Our results identify the mean Gaussian width as an appropriate measure of the size of the polytope, and show sample complexity lower bounds in terms of this quantity. Our lower bounds completely characterize the workloads for which the Gaussian noise mechanism is optimal up to constants as those having asymptotically maximal Gaussian width. \r\n\r\nOur techniques also yield an alternative proof of Pisier's Volume Number Theorem which also suggests an approach to improving the parameters of the theorem.","keywords":["differential privacy","convex geometry","lower bounds","sample complexity"],"author":[{"@type":"Person","name":"Kattis, Assimakis","givenName":"Assimakis","familyName":"Kattis"},{"@type":"Person","name":"Nikolov, Aleksandar","givenName":"Aleksandar","familyName":"Nikolov"}],"position":45,"pageStart":"45:1","pageEnd":"45:16","dateCreated":"2017-06-20","datePublished":"2017-06-20","isAccessibleForFree":true,"license":"https:\/\/creativecommons.org\/licenses\/by\/3.0\/legalcode","copyrightHolder":[{"@type":"Person","name":"Kattis, Assimakis","givenName":"Assimakis","familyName":"Kattis"},{"@type":"Person","name":"Nikolov, Aleksandar","givenName":"Aleksandar","familyName":"Nikolov"}],"copyrightYear":"2017","accessMode":"textual","accessModeSufficient":"textual","creativeWorkStatus":"Published","inLanguage":"en-US","sameAs":"https:\/\/doi.org\/10.4230\/LIPIcs.SoCG.2017.45","publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","citation":["http:\/\/dx.doi.org\/10.1090\/surv\/202","http:\/\/dx.doi.org\/10.1145\/2213977.2214089","http:\/\/dx.doi.org\/10.1145\/2582112.2582123","http:\/\/dx.doi.org\/10.1007\/BF02760556","http:\/\/dx.doi.org\/10.1145\/1806689.1806786","http:\/\/dx.doi.org\/10.1145\/293347.293351","http:\/\/dx.doi.org\/10.1007\/978-1-4613-0039-7","http:\/\/links.jstor.org\/sici?sici=0091-1798(198701)15:1<292:GPAMV>2.0.CO;2-A&origin=MSN","http:\/\/dx.doi.org\/10.1007\/978-3-662-47672-7_82","http:\/\/dx.doi.org\/10.1145\/2488608.2488652","http:\/\/dx.doi.org\/10.2307\/2045920","http:\/\/dx.doi.org\/10.1006\/jcss.1996.0058","http:\/\/dx.doi.org\/10.1007\/978-3-642-69894-1","http:\/\/dx.doi.org\/10.1017\/CBO9780511662454","http:\/\/arxiv.org\/abs\/1501.06095","http:\/\/www-personal.umich.edu\/~romanv\/papers\/GFA-book.pdf"],"isPartOf":"#volume6280"},{"@type":"ScholarlyArticle","@id":"#article9689","name":"Constrained Triangulations, Volumes of Polytopes, and Unit Equations","abstract":"Given a polytope P in R^d and a subset U of its vertices, is there a triangulation of P using d-simplices that all contain U? We answer this question by proving an equivalent and easy-to-check combinatorial criterion for the facets of P. Our proof relates triangulations of P to triangulations of its \"shadow\", a projection to a lower-dimensional space determined by U. In particular, we obtain a formula relating the volume of P with the volume of its shadow. This leads to an exact formula for the volume of a polytope arising in the theory of unit equations.","keywords":["constrained triangulations","simplotopes","volumes of polytopes","projections of polytopes","unit equations","S-integers"],"author":[{"@type":"Person","name":"Kerber, Michael","givenName":"Michael","familyName":"Kerber"},{"@type":"Person","name":"Tichy, Robert","givenName":"Robert","familyName":"Tichy"},{"@type":"Person","name":"Weitzer, Mario","givenName":"Mario","familyName":"Weitzer"}],"position":46,"pageStart":"46:1","pageEnd":"46:15","dateCreated":"2017-06-20","datePublished":"2017-06-20","isAccessibleForFree":true,"license":"https:\/\/creativecommons.org\/licenses\/by\/3.0\/legalcode","copyrightHolder":[{"@type":"Person","name":"Kerber, Michael","givenName":"Michael","familyName":"Kerber"},{"@type":"Person","name":"Tichy, Robert","givenName":"Robert","familyName":"Tichy"},{"@type":"Person","name":"Weitzer, Mario","givenName":"Mario","familyName":"Weitzer"}],"copyrightYear":"2017","accessMode":"textual","accessModeSufficient":"textual","creativeWorkStatus":"Published","inLanguage":"en-US","sameAs":"https:\/\/doi.org\/10.4230\/LIPIcs.SoCG.2017.46","publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","citation":"http:\/\/math.sfsu.edu\/beck\/crt.html","isPartOf":"#volume6280"},{"@type":"ScholarlyArticle","@id":"#article9690","name":"Proper Coloring of Geometric Hypergraphs","abstract":"We study whether for a given planar family F there is an m such that any finite set of points can be 3-colored such that any member of F that contains at least m points contains two points with different colors. We conjecture that if F is a family of pseudo-disks, then m=3 is sufficient. We prove that when F is the family of all homothetic copies of a given convex polygon, then such an m exists. We also study the problem in higher dimensions.","keywords":["discrete geometry","decomposition of multiple coverings","geometric hypergraph coloring"],"author":[{"@type":"Person","name":"Keszegh, Bal\u00e1zs","givenName":"Bal\u00e1zs","familyName":"Keszegh"},{"@type":"Person","name":"P\u00e1lv\u00f6lgyi, D\u00f6m\u00f6t\u00f6r","givenName":"D\u00f6m\u00f6t\u00f6r","familyName":"P\u00e1lv\u00f6lgyi"}],"position":47,"pageStart":"47:1","pageEnd":"47:15","dateCreated":"2017-06-20","datePublished":"2017-06-20","isAccessibleForFree":true,"license":"https:\/\/creativecommons.org\/licenses\/by\/3.0\/legalcode","copyrightHolder":[{"@type":"Person","name":"Keszegh, Bal\u00e1zs","givenName":"Bal\u00e1zs","familyName":"Keszegh"},{"@type":"Person","name":"P\u00e1lv\u00f6lgyi, D\u00f6m\u00f6t\u00f6r","givenName":"D\u00f6m\u00f6t\u00f6r","familyName":"P\u00e1lv\u00f6lgyi"}],"copyrightYear":"2017","accessMode":"textual","accessModeSufficient":"textual","creativeWorkStatus":"Published","inLanguage":"en-US","sameAs":"https:\/\/doi.org\/10.4230\/LIPIcs.SoCG.2017.47","publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","citation":["http:\/\/dx.doi.org\/10.1007\/978-1-4614-0110-0_6","http:\/\/dx.doi.org\/10.1002\/rsa.20246","http:\/\/dx.doi.org\/10.1109\/FOCS.2009.54","http:\/\/dx.doi.org\/10.1007\/BF02187684","http:\/\/dx.doi.org\/10.1016\/j.jcta.2009.04.007","http:\/\/dx.doi.org\/10.1007\/s00454-009-9194-y","http:\/\/dx.doi.org\/10.1007\/s00454-007-1345-4"],"isPartOf":"#volume6280"},{"@type":"ScholarlyArticle","@id":"#article9691","name":"Computing Representative Networks for Braided Rivers","abstract":"Drainage networks on terrains have been studied extensively from an algorithmic perspective. However, in drainage networks water flow cannot bifurcate and hence they do not model braided rivers (multiple channels which split and join, separated by sediment bars). We initiate the algorithmic study of braided rivers by employing the descending quasi Morse-Smale complex on the river bed (a polyhedral terrain), and extending it with a certain ordering of bars from the one river bank to the other. This allows us to compute a graph that models a representative channel network, consisting of lowest paths. To ensure that channels in this network are sufficiently different we define a sand function that represents the volume of sediment separating them. We show that in general the problem of computing a maximum network of non-crossing channels which are delta-different from each other (as measured by the sand function) is NP-hard. However, using our ordering between the river banks, we can compute a maximum delta-different network that respects this order in polynomial time. We implemented our approach and applied it to simulated and real-world braided rivers.","keywords":["braided rivers","Morse-Smale complex","persistence","network extraction","polyhedral terrain"],"author":[{"@type":"Person","name":"Kleinhans, Maarten","givenName":"Maarten","familyName":"Kleinhans"},{"@type":"Person","name":"van Kreveld, Marc","givenName":"Marc","familyName":"van Kreveld"},{"@type":"Person","name":"Ophelders, Tim","givenName":"Tim","familyName":"Ophelders"},{"@type":"Person","name":"Sonke, Willem","givenName":"Willem","familyName":"Sonke"},{"@type":"Person","name":"Speckmann, Bettina","givenName":"Bettina","familyName":"Speckmann"},{"@type":"Person","name":"Verbeek, Kevin","givenName":"Kevin","familyName":"Verbeek"}],"position":48,"pageStart":"48:1","pageEnd":"48:16","dateCreated":"2017-06-20","datePublished":"2017-06-20","isAccessibleForFree":true,"license":"https:\/\/creativecommons.org\/licenses\/by\/3.0\/legalcode","copyrightHolder":[{"@type":"Person","name":"Kleinhans, Maarten","givenName":"Maarten","familyName":"Kleinhans"},{"@type":"Person","name":"van Kreveld, Marc","givenName":"Marc","familyName":"van Kreveld"},{"@type":"Person","name":"Ophelders, Tim","givenName":"Tim","familyName":"Ophelders"},{"@type":"Person","name":"Sonke, Willem","givenName":"Willem","familyName":"Sonke"},{"@type":"Person","name":"Speckmann, Bettina","givenName":"Bettina","familyName":"Speckmann"},{"@type":"Person","name":"Verbeek, Kevin","givenName":"Kevin","familyName":"Verbeek"}],"copyrightYear":"2017","accessMode":"textual","accessModeSufficient":"textual","creativeWorkStatus":"Published","inLanguage":"en-US","sameAs":"https:\/\/doi.org\/10.4230\/LIPIcs.SoCG.2017.48","publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","isPartOf":"#volume6280"},{"@type":"ScholarlyArticle","@id":"#article9692","name":"A Proof of the Orbit Conjecture for Flipping Edge-Labelled Triangulations","abstract":"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(n^7) on the length of the flip sequence. \r\n\r\nOur 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.","keywords":["triangulations","reconfiguration","flip","constrained triangulations","Delaunay triangulation","shellability","piecewise linear balls"],"author":[{"@type":"Person","name":"Lubiw, Anna","givenName":"Anna","familyName":"Lubiw"},{"@type":"Person","name":"Mas\u00e1rov\u00e1, Zuzana","givenName":"Zuzana","familyName":"Mas\u00e1rov\u00e1"},{"@type":"Person","name":"Wagner, Uli","givenName":"Uli","familyName":"Wagner"}],"position":49,"pageStart":"49:1","pageEnd":"49:15","dateCreated":"2017-06-20","datePublished":"2017-06-20","isAccessibleForFree":true,"license":"https:\/\/creativecommons.org\/licenses\/by\/3.0\/legalcode","copyrightHolder":[{"@type":"Person","name":"Lubiw, Anna","givenName":"Anna","familyName":"Lubiw"},{"@type":"Person","name":"Mas\u00e1rov\u00e1, Zuzana","givenName":"Zuzana","familyName":"Mas\u00e1rov\u00e1"},{"@type":"Person","name":"Wagner, Uli","givenName":"Uli","familyName":"Wagner"}],"copyrightYear":"2017","accessMode":"textual","accessModeSufficient":"textual","creativeWorkStatus":"Published","inLanguage":"en-US","sameAs":"https:\/\/doi.org\/10.4230\/LIPIcs.SoCG.2017.49","publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","citation":["http:\/\/dx.doi.org\/10.1007\/s00454-015-9709-7","http:\/\/dx.doi.org\/10.1016\/j.jcta.2014.09.001","http:\/\/dx.doi.org\/10.1142\/9789814355858_0002","http:\/\/dx.doi.org\/10.1017\/CBO9780511586507","http:\/\/dx.doi.org\/10.1016\/j.comgeo.2008.04.001","http:\/\/arxiv.org\/abs\/1310.1166","http:\/\/dx.doi.org\/10.1007\/s00373-012-1201-z","http:\/\/dx.doi.org\/10.1017\/CBO9780511530067","http:\/\/dx.doi.org\/10.20382\/jocg.v1i1a2","http:\/\/dx.doi.org\/10.1007\/PL00009464","http:\/\/dx.doi.org\/10.1016\/j.tcs.2010.12.005","http:\/\/dx.doi.org\/10.1016\/j.comgeo.2014.11.001","http:\/\/dx.doi.org\/10.1007\/s00454-004-1143-1","http:\/\/dx.doi.org\/10.1016\/j.comgeo.2014.01.001","http:\/\/dx.doi.org\/10.1016\/j.aim.2014.02.035","http:\/\/dx.doi.org\/10.2307\/1990951","http:\/\/dx.doi.org\/10.1007\/978-1-4612-4372-4"],"isPartOf":"#volume6280"},{"@type":"ScholarlyArticle","@id":"#article9693","name":"A Spectral Gap Precludes Low-Dimensional Embeddings","abstract":"We prove that if an n-vertex O(1)-expander embeds with average distortion D into a finite dimensional normed space X, then necessarily the dimension of X is at least n^{c\/D} for some universal constant c>0. This is sharp up to the value of the constant c, and it improves over the previously best-known estimate dim(X)> c(log n)^2\/D^2 of Linial, London and Rabinovich, strengthens a theorem of Matousek, and answers a question of Andoni, Nikolov, Razenshteyn and Waingarten.","keywords":["Metric embeddings","dimensionality reduction","expander graphs","nonlinear spectral gaps","nearest neighbor search","complex interpolation","Markov type."],"author":{"@type":"Person","name":"Naor, Assaf","givenName":"Assaf","familyName":"Naor"},"position":50,"pageStart":"50:1","pageEnd":"50:16","dateCreated":"2017-06-20","datePublished":"2017-06-20","isAccessibleForFree":true,"license":"https:\/\/creativecommons.org\/licenses\/by\/3.0\/legalcode","copyrightHolder":{"@type":"Person","name":"Naor, Assaf","givenName":"Assaf","familyName":"Naor"},"copyrightYear":"2017","accessMode":"textual","accessModeSufficient":"textual","creativeWorkStatus":"Published","inLanguage":"en-US","sameAs":"https:\/\/doi.org\/10.4230\/LIPIcs.SoCG.2017.50","publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","citation":["http:\/\/dx.doi.org\/10.1109\/SFCS.1985.30","http:\/\/dx.doi.org\/10.1002\/rsa.3240050203","https:\/\/arxiv.org\/pdf\/1611.06222","http:\/\/dx.doi.org\/10.1007\/BF02764804","http:\/\/dx.doi.org\/10.1007\/BF01896971","http:\/\/dx.doi.org\/10.1007\/BF01231769","http:\/\/dx.doi.org\/10.4007\/annals.2005.162.643","http:\/\/dx.doi.org\/10.1007\/s000390050108","http:\/\/dx.doi.org\/10.1007\/BF02776078","http:\/\/dx.doi.org\/10.1007\/BF02766125","http:\/\/dx.doi.org\/10.2307\/2044034","http:\/\/dx.doi.org\/10.1007\/BF03018603","http:\/\/dx.doi.org\/10.1090\/S0273-0979-06-01126-8","http:\/\/dx.doi.org\/10.1090\/conm\/026\/737400","http:\/\/dx.doi.org\/10.1007\/BFb0078145","http:\/\/dx.doi.org\/10.5209\/rev_REMA.2008.v21.n1.16426","http:\/\/dx.doi.org\/10.1007\/s00208-005-0745-0","http:\/\/dx.doi.org\/10.1007\/s00039-005-0527-6","http:\/\/dx.doi.org\/10.1016\/j.ejc.2004.07.002","http:\/\/dx.doi.org\/10.1007\/s00039-004-0473-8","http:\/\/dx.doi.org\/10.1007\/BF01200757","http:\/\/dx.doi.org\/10.1007\/BF02761110","http:\/\/dx.doi.org\/10.1007\/BF02773799","http:\/\/dx.doi.org\/10.1007\/978-1-4613-0039-7","http:\/\/dx.doi.org\/10.4171\/JEMS\/362","http:\/\/dx.doi.org\/10.2478\/agms-2013-0003","http:\/\/dx.doi.org\/10.1007\/s10240-013-0053-2","http:\/\/dx.doi.org\/10.1215\/00127094-3119525","http:\/\/dx.doi.org\/10.1007\/s11537-012-1222-7","http:\/\/dx.doi.org\/10.1017\/S0963548311000757","http:\/\/dx.doi.org\/10.2478\/agms-2014-0001","http:\/\/dx.doi.org\/10.1215\/S0012-7094-06-13415-4","http:\/\/dx.doi.org\/10.1112\/S0010437X11005343","http:\/\/dx.doi.org\/10.4086\/toc.2009.v005a006","http:\/\/dx.doi.org\/10.1515\/9783110264012","http:\/\/dx.doi.org\/10.1090\/S0065-9266-10-00601-0","http:\/\/dx.doi.org\/10.1007\/s00454-007-9047-5","http:\/\/dx.doi.org\/10.1007\/BF02564121"],"isPartOf":"#volume6280"},{"@type":"ScholarlyArticle","@id":"#article9694","name":"Dynamic Geodesic Convex Hulls in Dynamic Simple Polygons","abstract":"We consider the geodesic convex hulls of points in a simple polygonal region in the presence of non-crossing line segments (barriers) that subdivide the region into simply connected faces. We present an algorithm together with data structures for maintaining the geodesic convex hull of points in each face in a sublinear update time under the fully-dynamic setting where both input points and barriers change by insertions and deletions. The algorithm processes a mixed update sequence of insertions and deletions of points and barriers. Each update takes O(n^2\/3 log^2 n) time with high probability, where n is the total number of the points and barriers at the moment. Our data structures support basic queries on the geodesic convex hull, each of which takes O(polylog n) time. In addition, we present an algorithm together with data structures for geodesic triangle counting queries under the fully-dynamic setting. With high probability, each update takes O(n^2\/3 log n) time, and each query takes O(n^2\/3 log n) time.","keywords":["Dynamic geodesic convex hull","dynamic simple polygons"],"author":[{"@type":"Person","name":"Oh, Eunjin","givenName":"Eunjin","familyName":"Oh"},{"@type":"Person","name":"Ahn, Hee-Kap","givenName":"Hee-Kap","familyName":"Ahn"}],"position":51,"pageStart":"51:1","pageEnd":"51:15","dateCreated":"2017-06-20","datePublished":"2017-06-20","isAccessibleForFree":true,"license":"https:\/\/creativecommons.org\/licenses\/by\/3.0\/legalcode","copyrightHolder":[{"@type":"Person","name":"Oh, Eunjin","givenName":"Eunjin","familyName":"Oh"},{"@type":"Person","name":"Ahn, Hee-Kap","givenName":"Hee-Kap","familyName":"Ahn"}],"copyrightYear":"2017","accessMode":"textual","accessModeSufficient":"textual","creativeWorkStatus":"Published","inLanguage":"en-US","sameAs":"https:\/\/doi.org\/10.4230\/LIPIcs.SoCG.2017.51","publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","isPartOf":"#volume6280"},{"@type":"ScholarlyArticle","@id":"#article9695","name":"Voronoi Diagrams for a Moderate-Sized Point-Set in a Simple Polygon","abstract":"Given a set of sites in a simple polygon, a geodesic Voronoi diagram partitions the polygon into regions based on distances to sites under the geodesic metric. We present algorithms for computing the geodesic nearest-point, higher-order and farthest-point Voronoi diagrams of m point sites in a simple n-gon, which improve the best known ones for m < n\/polylog n. Moreover, the algorithms for the nearest-point and farthest-point Voronoi diagrams are optimal for m < n\/polylog n. This partially answers a question posed by Mitchell in the Handbook of Computational Geometry.","keywords":["Simple polygons","Voronoi diagrams","geodesic distance"],"author":[{"@type":"Person","name":"Oh, Eunjin","givenName":"Eunjin","familyName":"Oh"},{"@type":"Person","name":"Ahn, Hee-Kap","givenName":"Hee-Kap","familyName":"Ahn"}],"position":52,"pageStart":"52:1","pageEnd":"52:15","dateCreated":"2017-06-20","datePublished":"2017-06-20","isAccessibleForFree":true,"license":"https:\/\/creativecommons.org\/licenses\/by\/3.0\/legalcode","copyrightHolder":[{"@type":"Person","name":"Oh, Eunjin","givenName":"Eunjin","familyName":"Oh"},{"@type":"Person","name":"Ahn, Hee-Kap","givenName":"Hee-Kap","familyName":"Ahn"}],"copyrightYear":"2017","accessMode":"textual","accessModeSufficient":"textual","creativeWorkStatus":"Published","inLanguage":"en-US","sameAs":"https:\/\/doi.org\/10.4230\/LIPIcs.SoCG.2017.52","publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","isPartOf":"#volume6280"},{"@type":"ScholarlyArticle","@id":"#article9696","name":"A Quest to Unravel the Metric Structure Behind Perturbed Networks","abstract":"Graphs and network data are ubiquitous across a wide spectrum of scientific and application domains. Often in practice, an input graph can be considered as an observed snapshot of a (potentially\r\ncontinuous) hidden domain or process. Subsequent analysis, processing, and inferences are then performed on this observed graph. In this paper we advocate the perspective that an observed graph is often a noisy version of some discretized 1-skeleton of a hidden domain, and specifically we will consider the following natural network model: We assume that there is a true graph G^* which is a certain proximity graph for points sampled from a hidden domain X; while the observed graph G is an Erdos-Renyi type perturbed version of G^*.\r\n\r\nOur network model is related to, and slightly generalizes, the much-celebrated small-world network model originally proposed by Watts and Strogatz. However, the main question we aim to answer is orthogonal to the usual studies of network models (which often focuses on characterizing \/ predicting behaviors and properties of real-world networks). Specifically, we aim to recover the metric structure of G^* (which reflects that of the hidden space X as we will show) from the observed graph G. Our main result is that a simple filtering process based on the Jaccard index can recover this metric within a multiplicative factor of 2 under our network model. Our work makes one step towards the general question of inferring structure of a hidden space from its observed noisy graph representation. In addition, our results also provide a theoretical understanding for Jaccard-Index-based denoising approaches.","keywords":["metric structure","Erd\u00f6s-R\u00e9nyi perturbation","graphs","doubling measure"],"author":[{"@type":"Person","name":"Parthasarathy, Srinivasan","givenName":"Srinivasan","familyName":"Parthasarathy"},{"@type":"Person","name":"Sivakoff, David","givenName":"David","familyName":"Sivakoff"},{"@type":"Person","name":"Tian, Minghao","givenName":"Minghao","familyName":"Tian"},{"@type":"Person","name":"Wang, Yusu","givenName":"Yusu","familyName":"Wang"}],"position":53,"pageStart":"53:1","pageEnd":"53:16","dateCreated":"2017-06-20","datePublished":"2017-06-20","isAccessibleForFree":true,"license":"https:\/\/creativecommons.org\/licenses\/by\/3.0\/legalcode","copyrightHolder":[{"@type":"Person","name":"Parthasarathy, Srinivasan","givenName":"Srinivasan","familyName":"Parthasarathy"},{"@type":"Person","name":"Sivakoff, David","givenName":"David","familyName":"Sivakoff"},{"@type":"Person","name":"Tian, Minghao","givenName":"Minghao","familyName":"Tian"},{"@type":"Person","name":"Wang, Yusu","givenName":"Yusu","familyName":"Wang"}],"copyrightYear":"2017","accessMode":"textual","accessModeSufficient":"textual","creativeWorkStatus":"Published","inLanguage":"en-US","sameAs":"https:\/\/doi.org\/10.4230\/LIPIcs.SoCG.2017.53","publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","citation":["http:\/\/arxiv.org\/abs\/1703.05475","http:\/\/dx.doi.org\/10.1126\/science.1070120"],"isPartOf":"#volume6280"},{"@type":"ScholarlyArticle","@id":"#article9697","name":"From Crossing-Free Graphs on Wheel Sets to Embracing Simplices and Polytopes with Few Vertices","abstract":"A set P = H cup {w} of n+1 points in the plane is called a wheel set if all points but w are extreme. We show that for the purpose of counting crossing-free geometric graphs on P, it suffices to know the so-called frequency vector of P. While there are roughly 2^n distinct order types that correspond to wheel sets, the number of frequency vectors is only about 2^{n\/2}. \r\n\r\nWe give simple formulas in terms of the frequency vector for the number of crossing-free spanning cycles, matchings, w-embracing triangles, and many more. Based on these formulas, the corresponding numbers of graphs can be computed efficiently. \r\n\r\nAlso in higher dimensions, wheel sets turn out to be a suitable model to approach the problem of computing the simplicial depth of a point w in a set H, i.e., the number of simplices spanned by H that contain w. While the concept of frequency vectors does not generalize easily, we show how to apply similar methods in higher dimensions. The result is an O(n^{d-1}) time algorithm for computing the simplicial depth of a point w in a set H of n d-dimensional points, improving on the previously best bound of O(n^d log n). \r\n\r\nConfigurations equivalent to wheel sets have already been used by Perles for counting the faces of high-dimensional polytopes with few vertices via the Gale dual. Based on that we can compute the number of facets of the convex hull of n=d+k points in general position in R^d in time O(n^max(omega,k-2)) where omega = 2.373, even though the asymptotic number of facets may be as large as n^k.","keywords":["Geometric Graph","Wheel Set","Simplicial Depth","Gale Transform","Polytope"],"author":[{"@type":"Person","name":"Pilz, Alexander","givenName":"Alexander","familyName":"Pilz"},{"@type":"Person","name":"Welzl, Emo","givenName":"Emo","familyName":"Welzl"},{"@type":"Person","name":"Wettstein, Manuel","givenName":"Manuel","familyName":"Wettstein"}],"position":54,"pageStart":"54:1","pageEnd":"54:16","dateCreated":"2017-06-20","datePublished":"2017-06-20","isAccessibleForFree":true,"license":"https:\/\/creativecommons.org\/licenses\/by\/3.0\/legalcode","copyrightHolder":[{"@type":"Person","name":"Pilz, Alexander","givenName":"Alexander","familyName":"Pilz"},{"@type":"Person","name":"Welzl, Emo","givenName":"Emo","familyName":"Welzl"},{"@type":"Person","name":"Wettstein, Manuel","givenName":"Manuel","familyName":"Wettstein"}],"copyrightYear":"2017","accessMode":"textual","accessModeSufficient":"textual","creativeWorkStatus":"Published","inLanguage":"en-US","sameAs":"https:\/\/doi.org\/10.4230\/LIPIcs.SoCG.2017.54","publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","citation":["http:\/\/dx.doi.org\/10.1007\/s00373-005-0612-5","http:\/\/dx.doi.org\/10.1007\/s00373-007-0704-5","http:\/\/dx.doi.org\/10.1007\/BF01769706","http:\/\/dx.doi.org\/10.1016\/0012-365X(93)90326-O","http:\/\/dx.doi.org\/10.1145\/77635.77639","http:\/\/dx.doi.org\/10.1137\/0215024","http:\/\/dx.doi.org\/10.1007\/BF02187823","http:\/\/dx.doi.org\/10.1016\/S0012-365X(98)00372-0","http:\/\/dx.doi.org\/10.1016\/0012-365X(92)90658-3","http:\/\/dx.doi.org\/10.1016\/0020-0190(90)90217-L","http:\/\/dx.doi.org\/10.1007\/s004930050055","http:\/\/dx.doi.org\/10.1016\/j.jcta.2004.01.005","http:\/\/dx.doi.org\/10.1016\/j.jcta.2013.01.002","http:\/\/dx.doi.org\/10.1137\/050636036","http:\/\/dx.doi.org\/10.1007\/s00454-001-0028-9","http:\/\/dx.doi.org\/10.1007\/s004540010085"],"isPartOf":"#volume6280"},{"@type":"ScholarlyArticle","@id":"#article9698","name":"Approximate Range Counting Revisited","abstract":"We study range-searching for colored objects, where one has to count (approximately) the number of colors present in a query range. The problems studied mostly involve orthogonal range-searching in two and three dimensions, and the dual setting of rectangle stabbing by points. We present optimal and near-optimal solutions for these problems. Most of the results are obtained via reductions to the approximate uncolored version, and improved data-structures for them. An additional contribution of this work is the introduction of nested shallow cuttings.","keywords":["orthogonal range searching","rectangle stabbing","colors","approximate count","geometric data structures"],"author":{"@type":"Person","name":"Rahul, Saladi","givenName":"Saladi","familyName":"Rahul"},"position":55,"pageStart":"55:1","pageEnd":"55:15","dateCreated":"2017-06-20","datePublished":"2017-06-20","isAccessibleForFree":true,"license":"https:\/\/creativecommons.org\/licenses\/by\/3.0\/legalcode","copyrightHolder":{"@type":"Person","name":"Rahul, Saladi","givenName":"Saladi","familyName":"Rahul"},"copyrightYear":"2017","accessMode":"textual","accessModeSufficient":"textual","creativeWorkStatus":"Published","inLanguage":"en-US","sameAs":"https:\/\/doi.org\/10.4230\/LIPIcs.SoCG.2017.55","publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","isPartOf":"#volume6280"},{"@type":"ScholarlyArticle","@id":"#article9699","name":"Coloring Curves That Cross a Fixed Curve","abstract":"We prove that for every integer t greater than or equal to 1, the class of intersection graphs of curves in the plane each of which crosses a fixed curve in at least one and at most t points is chi-bounded. This is essentially the strongest chi-boundedness result one can get for this kind of graph classes. As a corollary, we prove that for any fixed integers k > 1 and t > 0, every k-quasi-planar topological graph on n vertices with any two edges crossing at most t times has O(n log n) edges.","keywords":["String graphs","chi-boundedness","k-quasi-planar graphs"],"author":[{"@type":"Person","name":"Rok, Alexandre","givenName":"Alexandre","familyName":"Rok"},{"@type":"Person","name":"Walczak, Bartosz","givenName":"Bartosz","familyName":"Walczak"}],"position":56,"pageStart":"56:1","pageEnd":"56:15","dateCreated":"2017-06-20","datePublished":"2017-06-20","isAccessibleForFree":true,"license":"https:\/\/creativecommons.org\/licenses\/by\/3.0\/legalcode","copyrightHolder":[{"@type":"Person","name":"Rok, Alexandre","givenName":"Alexandre","familyName":"Rok"},{"@type":"Person","name":"Walczak, Bartosz","givenName":"Bartosz","familyName":"Walczak"}],"copyrightYear":"2017","accessMode":"textual","accessModeSufficient":"textual","creativeWorkStatus":"Published","inLanguage":"en-US","sameAs":"https:\/\/doi.org\/10.4230\/LIPIcs.SoCG.2017.56","publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","isPartOf":"#volume6280"},{"@type":"ScholarlyArticle","@id":"#article9700","name":"Barcodes of Towers and a Streaming Algorithm for Persistent Homology","abstract":"A tower is a sequence of simplicial complexes connected by simplicial maps. We show how to compute a filtration, a sequence of nested simplicial complexes, with the same persistent barcode as the tower. Our approach is based on the coning strategy by Dey et al. (SoCG 2014). We show that a variant of this approach yields a filtration that is asymptotically only marginally larger than the tower and can be efficiently computed by a streaming algorithm, both in theory and in practice. Furthermore, we show that our approach can be combined with a streaming algorithm to compute the barcode of the tower via matrix reduction. The space complexity of the algorithm does not depend on the length of the tower, but the maximal size of any subcomplex within the tower. Experimental evaluations show that our approach can efficiently handle towers with billions of complexes.","keywords":["Persistent Homology","Topological Data Analysis","Matrix reduction","Streaming algorithms","Simplicial Approximation"],"author":[{"@type":"Person","name":"Kerber, Michael","givenName":"Michael","familyName":"Kerber"},{"@type":"Person","name":"Schreiber, Hannah","givenName":"Hannah","familyName":"Schreiber"}],"position":57,"pageStart":"57:1","pageEnd":"57:16","dateCreated":"2017-06-20","datePublished":"2017-06-20","isAccessibleForFree":true,"license":"https:\/\/creativecommons.org\/licenses\/by\/3.0\/legalcode","copyrightHolder":[{"@type":"Person","name":"Kerber, Michael","givenName":"Michael","familyName":"Kerber"},{"@type":"Person","name":"Schreiber, Hannah","givenName":"Hannah","familyName":"Schreiber"}],"copyrightYear":"2017","accessMode":"textual","accessModeSufficient":"textual","creativeWorkStatus":"Published","inLanguage":"en-US","sameAs":"https:\/\/doi.org\/10.4230\/LIPIcs.SoCG.2017.57","publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","citation":"http:\/\/arxiv.org\/abs\/1701.02208","isPartOf":"#volume6280"},{"@type":"ScholarlyArticle","@id":"#article9701","name":"Algorithmic Interpretations of Fractal Dimension","abstract":"We study algorithmic problems on subsets of Euclidean space of low fractal dimension. These spaces are the subject of intensive study in various branches of mathematics, including geometry, topology, and measure theory. There are several well-studied notions of fractal dimension for sets and measures in Euclidean space. We consider a definition of fractal dimension for finite metric spaces which agrees with standard notions used to empirically estimate the fractal dimension of various sets. We define the fractal dimension of some metric space to be the infimum delta>0, such that for any eps>0, for any ball B of radius r >= 2eps, and for any eps-net N, we have |B cap N|=O((r\/eps)^delta).\r\n\r\nUsing this definition we obtain faster algorithms for a plethora of classical problems on sets of low fractal dimension in Euclidean space. Our results apply to exact and fixed-parameter algorithms, approximation schemes, and spanner constructions. Interestingly, the dependence of the performance of these algorithms on the fractal dimension nearly matches the currently best-known dependence on the standard Euclidean dimension. Thus, when the fractal dimension is strictly smaller than the ambient dimension, our results yield improved solutions in all of these settings.\r\n\r\nWe remark that our definition of fractal definition is equivalent up to constant factors to the well-studied notion of doubling dimension.\r\nHowever, in the problems that we consider, the dimension appears in the exponent of the running time, and doubling dimension is not precise enough for capturing the best possible such exponent for subsets of Euclidean space. Thus our work is orthogonal to previous results on spaces of low doubling dimension; while algorithms on spaces of low doubling dimension seek to extend results from the case of low dimensional Euclidean spaces to more general metric spaces, our goal is to obtain faster algorithms for special pointsets in Euclidean space.","keywords":["fractal dimension","exact algorithms","fixed parameter tractability","approximation schemes","spanners"],"author":[{"@type":"Person","name":"Sidiropoulos, Anastasios","givenName":"Anastasios","familyName":"Sidiropoulos"},{"@type":"Person","name":"Sridhar, Vijay","givenName":"Vijay","familyName":"Sridhar"}],"position":58,"pageStart":"58:1","pageEnd":"58:16","dateCreated":"2017-06-20","datePublished":"2017-06-20","isAccessibleForFree":true,"license":"https:\/\/creativecommons.org\/licenses\/by\/3.0\/legalcode","copyrightHolder":[{"@type":"Person","name":"Sidiropoulos, Anastasios","givenName":"Anastasios","familyName":"Sidiropoulos"},{"@type":"Person","name":"Sridhar, Vijay","givenName":"Vijay","familyName":"Sridhar"}],"copyrightYear":"2017","accessMode":"textual","accessModeSufficient":"textual","creativeWorkStatus":"Published","inLanguage":"en-US","sameAs":"https:\/\/doi.org\/10.4230\/LIPIcs.SoCG.2017.58","publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","isPartOf":"#volume6280"},{"@type":"ScholarlyArticle","@id":"#article9702","name":"Disjointness Graphs of Segments","abstract":"The disjointness graph G=G(S) of a set of segments S in R^d, d>1 is a graph whose vertex set is S and two vertices are connected by an edge if and only if the corresponding segments are disjoint. We prove that the chromatic number of G satisfies chi(G)<=omega(G)^4+omega(G)^3 where omega(G) denotes the clique number of G. It follows, that S has at least cn^{1\/5} pairwise intersecting or pairwise disjoint elements. Stronger bounds are established for lines in space, instead of segments.\r\n\r\nWe show that computing omega(G) and chi(G) for disjointness graphs of lines in space are NP-hard tasks. However, we can design efficient algorithms to compute proper colorings of G in which the number of colors satisfies the above upper bounds. One cannot expect similar results for sets of continuous arcs, instead of segments, even in the plane. We construct families of arcs whose disjointness graphs are triangle-free (omega(G)=2), but whose chromatic numbers are arbitrarily large.","keywords":["disjointness graph","chromatic number","clique number","chi-bounded"],"author":[{"@type":"Person","name":"Pach, J\u00e1nos","givenName":"J\u00e1nos","familyName":"Pach"},{"@type":"Person","name":"Tardos, G\u00e1bor","givenName":"G\u00e1bor","familyName":"Tardos"},{"@type":"Person","name":"T\u00f3th, G\u00e9za","givenName":"G\u00e9za","familyName":"T\u00f3th"}],"position":59,"pageStart":"59:1","pageEnd":"59:15","dateCreated":"2017-06-20","datePublished":"2017-06-20","isAccessibleForFree":true,"license":"https:\/\/creativecommons.org\/licenses\/by\/3.0\/legalcode","copyrightHolder":[{"@type":"Person","name":"Pach, J\u00e1nos","givenName":"J\u00e1nos","familyName":"Pach"},{"@type":"Person","name":"Tardos, G\u00e1bor","givenName":"G\u00e1bor","familyName":"Tardos"},{"@type":"Person","name":"T\u00f3th, G\u00e9za","givenName":"G\u00e9za","familyName":"T\u00f3th"}],"copyrightYear":"2017","accessMode":"textual","accessModeSufficient":"textual","creativeWorkStatus":"Published","inLanguage":"en-US","sameAs":"https:\/\/doi.org\/10.4230\/LIPIcs.SoCG.2017.59","publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","isPartOf":"#volume6280"},{"@type":"ScholarlyArticle","@id":"#article9703","name":"Bicriteria Rectilinear Shortest Paths among Rectilinear Obstacles in the Plane","abstract":"Given a rectilinear domain P of h pairwise-disjoint rectilinear obstacles with a total of n vertices in the plane, we study the problem of computing bicriteria rectilinear shortest paths between two points s and t in P. Three types of bicriteria rectilinear paths are considered: minimum-link shortest paths, shortest minimum-link paths, and minimum-cost paths where the cost of a path is a non-decreasing function of both the number of edges and the length of the path. The one-point and two-point path queries are also considered. Algorithms for these problems have been given previously. Our contributions are threefold. First, we find a critical error in all previous algorithms. Second, we correct the error in a not-so-trivial way. Third, we further improve the algorithms so that they are even faster than the previous (incorrect) algorithms when h is relatively small. For example, for computing a minimum-link shortest s-t path, the previous algorithm runs in O(n log^{3\/2} n) time while the time of our new algorithm is O(n + h log^{3\/2} h).","keywords":["rectilinear paths","shortest paths","minimum-link paths","bicriteria paths","rectilinear polygons"],"author":{"@type":"Person","name":"Wang, Haitao","givenName":"Haitao","familyName":"Wang"},"position":60,"pageStart":"60:1","pageEnd":"60:16","dateCreated":"2017-06-20","datePublished":"2017-06-20","isAccessibleForFree":true,"license":"https:\/\/creativecommons.org\/licenses\/by\/3.0\/legalcode","copyrightHolder":{"@type":"Person","name":"Wang, Haitao","givenName":"Haitao","familyName":"Wang"},"copyrightYear":"2017","accessMode":"textual","accessModeSufficient":"textual","creativeWorkStatus":"Published","inLanguage":"en-US","sameAs":"https:\/\/doi.org\/10.4230\/LIPIcs.SoCG.2017.60","publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","isPartOf":"#volume6280"},{"@type":"ScholarlyArticle","@id":"#article9704","name":"Quickest Visibility Queries in Polygonal Domains","abstract":"Let s be a point in a polygonal domain P of h-1 holes and n vertices. We consider the following quickest visibility query problem. Given a query point q in P, the goal is to find a shortest path in P to move from s to see q as quickly as possible. Previously, Arkin et al. (SoCG 2015) built a data structure of size O(n^2 2^alpha(n) log n) that can answer each query in O(K log^2 n) time, where alpha(n) is the inverse Ackermann function and K is the size of the visibility polygon of q in P (and K can be Theta(n) in the worst case). In this paper, we present a new data structure of size O(n log h + h^2) that can answer each query in O(h log h log n) time. Our result improves the previous work when h is relatively small. In particular, if h is a constant, then our result even matches the best result for the simple polygon case (i.e., h = 1), which is optimal. As a by-product, we also have a new algorithm for the following shortest-path-to-segment query problem. Given a query line segment tau in P, the query seeks a shortest path from s to all points of tau. Previously, Arkin et al. gave a data structure of size O(n^2 2^alpha(n) log n) that can answer each query in O(log^2 n) time, and another data structure of size O(n^3 log n) with O(log n) query time. We present a data structure of size O(n) with query time O(h log n\/h), which favors small values of h and is optimal when h = O(1).","keywords":["shortest paths","visibility","quickest visibility queries","shortest path to segments","polygons with holes"],"author":{"@type":"Person","name":"Wang, Haitao","givenName":"Haitao","familyName":"Wang"},"position":61,"pageStart":"61:1","pageEnd":"61:16","dateCreated":"2017-06-20","datePublished":"2017-06-20","isAccessibleForFree":true,"license":"https:\/\/creativecommons.org\/licenses\/by\/3.0\/legalcode","copyrightHolder":{"@type":"Person","name":"Wang, Haitao","givenName":"Haitao","familyName":"Wang"},"copyrightYear":"2017","accessMode":"textual","accessModeSufficient":"textual","creativeWorkStatus":"Published","inLanguage":"en-US","sameAs":"https:\/\/doi.org\/10.4230\/LIPIcs.SoCG.2017.61","publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","isPartOf":"#volume6280"},{"@type":"ScholarlyArticle","@id":"#article9705","name":"Zapping Zika with a Mosquito-Managing Drone: Computing Optimal Flight Patterns with Minimum Turn Cost (Multimedia Contribution)","abstract":"We present results arising from the problem of sweeping a mosquito-infested area with an Un-manned Aerial Vehicle (UAV) equipped with an electrified metal grid. This is related to the Traveling Salesman Problem, the Lawn Mower Problem and, most closely, Milling with TurnCost. Planning a good trajectory can be reduced to considering penalty and budget variants of covering a grid graph with minimum turn cost. On the theoretical side, we show the solution of a problem from The Open Problems Project that had been open for more than 15 years, and hint at approximation algorithms. On the practical side, we describe an exact method based on Integer Programming that is able to compute provably optimal instances with over 500 pixels. These solutions are actually used for practical trajectories, as demonstrated in the video.","keywords":["Covering tours","turn cost","complexity","exact optimization"],"author":[{"@type":"Person","name":"Becker, Aaron T.","givenName":"Aaron T.","familyName":"Becker"},{"@type":"Person","name":"Debboun, Mustapha","givenName":"Mustapha","familyName":"Debboun"},{"@type":"Person","name":"Fekete, S\u00e1ndor P.","givenName":"S\u00e1ndor P.","familyName":"Fekete"},{"@type":"Person","name":"Krupke, Dominik","givenName":"Dominik","familyName":"Krupke"},{"@type":"Person","name":"Nguyen, An","givenName":"An","familyName":"Nguyen"}],"position":62,"pageStart":"62:1","pageEnd":"62:5","dateCreated":"2017-06-20","datePublished":"2017-06-20","isAccessibleForFree":true,"license":"https:\/\/creativecommons.org\/licenses\/by\/3.0\/legalcode","copyrightHolder":[{"@type":"Person","name":"Becker, Aaron T.","givenName":"Aaron T.","familyName":"Becker"},{"@type":"Person","name":"Debboun, Mustapha","givenName":"Mustapha","familyName":"Debboun"},{"@type":"Person","name":"Fekete, S\u00e1ndor P.","givenName":"S\u00e1ndor P.","familyName":"Fekete"},{"@type":"Person","name":"Krupke, Dominik","givenName":"Dominik","familyName":"Krupke"},{"@type":"Person","name":"Nguyen, An","givenName":"An","familyName":"Nguyen"}],"copyrightYear":"2017","accessMode":"textual","accessModeSufficient":"textual","creativeWorkStatus":"Published","inLanguage":"en-US","sameAs":"https:\/\/doi.org\/10.4230\/LIPIcs.SoCG.2017.62","publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","citation":"http:\/\/cs.smith.edu\/~orourke\/TOPP\/","isPartOf":"#volume6280"},{"@type":"ScholarlyArticle","@id":"#article9706","name":"Ruler of the Plane - Games of Geometry (Multimedia Contribution)","abstract":"Ruler of the Plane is a set of games illustrating concepts from combinatorial and computational geometry. The games are based on the art gallery problem, ham-sandwich cuts, the Voronoi game, and geometric network connectivity problems like the Euclidean minimum spanning tree and traveling salesperson problem.","keywords":["art gallery problem","ham-sandwich cuts","Voronoi game","traveling sales-person problem"],"author":[{"@type":"Person","name":"Beekhuis, Sander","givenName":"Sander","familyName":"Beekhuis"},{"@type":"Person","name":"Buchin, Kevin","givenName":"Kevin","familyName":"Buchin"},{"@type":"Person","name":"Castermans, Thom","givenName":"Thom","familyName":"Castermans"},{"@type":"Person","name":"Hurks, Thom","givenName":"Thom","familyName":"Hurks"},{"@type":"Person","name":"Sonke, Willem","givenName":"Willem","familyName":"Sonke"}],"position":63,"pageStart":"63:1","pageEnd":"63:5","dateCreated":"2017-06-20","datePublished":"2017-06-20","isAccessibleForFree":true,"license":"https:\/\/creativecommons.org\/licenses\/by\/3.0\/legalcode","copyrightHolder":[{"@type":"Person","name":"Beekhuis, Sander","givenName":"Sander","familyName":"Beekhuis"},{"@type":"Person","name":"Buchin, Kevin","givenName":"Kevin","familyName":"Buchin"},{"@type":"Person","name":"Castermans, Thom","givenName":"Thom","familyName":"Castermans"},{"@type":"Person","name":"Hurks, Thom","givenName":"Thom","familyName":"Hurks"},{"@type":"Person","name":"Sonke, Willem","givenName":"Willem","familyName":"Sonke"}],"copyrightYear":"2017","accessMode":"textual","accessModeSufficient":"textual","creativeWorkStatus":"Published","inLanguage":"en-US","sameAs":"https:\/\/doi.org\/10.4230\/LIPIcs.SoCG.2017.63","publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","isPartOf":"#volume6280"},{"@type":"ScholarlyArticle","@id":"#article9707","name":"Folding Free-Space Diagrams: Computing the Fr\u00e9chet Distance between 1-Dimensional Curves (Multimedia Contribution)","abstract":"By folding the free-space diagram for efficient preprocessing, we show that the Frechet distance between 1D curves can be computed in O(nk log n) time, assuming one curve has ply k.","keywords":["Frechet distance","ply","k-packed curves"],"author":[{"@type":"Person","name":"Buchin, Kevin","givenName":"Kevin","familyName":"Buchin"},{"@type":"Person","name":"Chun, Jinhee","givenName":"Jinhee","familyName":"Chun"},{"@type":"Person","name":"L\u00f6ffler, Maarten","givenName":"Maarten","familyName":"L\u00f6ffler"},{"@type":"Person","name":"Markovic, Aleksandar","givenName":"Aleksandar","familyName":"Markovic"},{"@type":"Person","name":"Meulemans, Wouter","givenName":"Wouter","familyName":"Meulemans"},{"@type":"Person","name":"Okamoto, Yoshio","givenName":"Yoshio","familyName":"Okamoto"},{"@type":"Person","name":"Shiitada, Taichi","givenName":"Taichi","familyName":"Shiitada"}],"position":64,"pageStart":"64:1","pageEnd":"64:5","dateCreated":"2017-06-20","datePublished":"2017-06-20","isAccessibleForFree":true,"license":"https:\/\/creativecommons.org\/licenses\/by\/3.0\/legalcode","copyrightHolder":[{"@type":"Person","name":"Buchin, Kevin","givenName":"Kevin","familyName":"Buchin"},{"@type":"Person","name":"Chun, Jinhee","givenName":"Jinhee","familyName":"Chun"},{"@type":"Person","name":"L\u00f6ffler, Maarten","givenName":"Maarten","familyName":"L\u00f6ffler"},{"@type":"Person","name":"Markovic, Aleksandar","givenName":"Aleksandar","familyName":"Markovic"},{"@type":"Person","name":"Meulemans, Wouter","givenName":"Wouter","familyName":"Meulemans"},{"@type":"Person","name":"Okamoto, Yoshio","givenName":"Yoshio","familyName":"Okamoto"},{"@type":"Person","name":"Shiitada, Taichi","givenName":"Taichi","familyName":"Shiitada"}],"copyrightYear":"2017","accessMode":"textual","accessModeSufficient":"textual","creativeWorkStatus":"Published","inLanguage":"en-US","sameAs":"https:\/\/doi.org\/10.4230\/LIPIcs.SoCG.2017.64","publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","isPartOf":"#volume6280"},{"@type":"ScholarlyArticle","@id":"#article9708","name":"Cardiac Trabeculae Segmentation: an Application of Computational Topology (Multimedia Contribution)","abstract":"In this video, we present a research project on cardiac trabeculae segmentation. Trabeculae are fine muscle columns within human ventricles whose both ends are attached to the wall. Extracting these structures are very challenging even with state-of-the-art image segmentation techniques. We observed that these structures form natural topological handles. Based on such observation, we developed a topological approach, which employs advanced computational topology methods and achieve high quality segmentation results.","keywords":["image segmentation","trabeculae","persistent homology","homology localization"],"author":[{"@type":"Person","name":"Chen, Chao","givenName":"Chao","familyName":"Chen"},{"@type":"Person","name":"Metaxas, Dimitris","givenName":"Dimitris","familyName":"Metaxas"},{"@type":"Person","name":"Wang, Yusu","givenName":"Yusu","familyName":"Wang"},{"@type":"Person","name":"Wu, Pengxiang","givenName":"Pengxiang","familyName":"Wu"}],"position":65,"pageStart":"65:1","pageEnd":"65:4","dateCreated":"2017-06-20","datePublished":"2017-06-20","isAccessibleForFree":true,"license":"https:\/\/creativecommons.org\/licenses\/by\/3.0\/legalcode","copyrightHolder":[{"@type":"Person","name":"Chen, Chao","givenName":"Chao","familyName":"Chen"},{"@type":"Person","name":"Metaxas, Dimitris","givenName":"Dimitris","familyName":"Metaxas"},{"@type":"Person","name":"Wang, Yusu","givenName":"Yusu","familyName":"Wang"},{"@type":"Person","name":"Wu, Pengxiang","givenName":"Pengxiang","familyName":"Wu"}],"copyrightYear":"2017","accessMode":"textual","accessModeSufficient":"textual","creativeWorkStatus":"Published","inLanguage":"en-US","sameAs":"https:\/\/doi.org\/10.4230\/LIPIcs.SoCG.2017.65","publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","citation":"http:\/\/dx.doi.org\/10.1007\/978-3-642-23623-5_59","isPartOf":"#volume6280"},{"@type":"ScholarlyArticle","@id":"#article9709","name":"MatchTheNet - An Educational Game on 3-Dimensional Polytopes (Multimedia Contribution)","abstract":"We present an interactive game which challenges a single player to match 3-dimensional polytopes to their planar nets. It is open source, and it runs in standard web browsers.","keywords":["three-dimensional convex polytopes","unfoldings"],"author":[{"@type":"Person","name":"Joswig, Michael","givenName":"Michael","familyName":"Joswig"},{"@type":"Person","name":"Loho, Georg","givenName":"Georg","familyName":"Loho"},{"@type":"Person","name":"Lorenz, Benjamin","givenName":"Benjamin","familyName":"Lorenz"},{"@type":"Person","name":"Raber, Rico","givenName":"Rico","familyName":"Raber"}],"position":66,"pageStart":"66:1","pageEnd":"66:5","dateCreated":"2017-06-20","datePublished":"2017-06-20","isAccessibleForFree":true,"license":"https:\/\/creativecommons.org\/licenses\/by\/3.0\/legalcode","copyrightHolder":[{"@type":"Person","name":"Joswig, Michael","givenName":"Michael","familyName":"Joswig"},{"@type":"Person","name":"Loho, Georg","givenName":"Georg","familyName":"Loho"},{"@type":"Person","name":"Lorenz, Benjamin","givenName":"Benjamin","familyName":"Lorenz"},{"@type":"Person","name":"Raber, Rico","givenName":"Rico","familyName":"Raber"}],"copyrightYear":"2017","accessMode":"textual","accessModeSufficient":"textual","creativeWorkStatus":"Published","inLanguage":"en-US","sameAs":"https:\/\/doi.org\/10.4230\/LIPIcs.SoCG.2017.66","publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","citation":["http:\/\/dx.doi.org\/10.1016\/S0925-7721(02)00091-3","http:\/\/dx.doi.org\/10.1017\/CBO9780511735172","http:\/\/dx.doi.org\/10.4153\/CJM-1966-021-8","http:\/\/dx.doi.org\/10.1017\/S0305004100051860","http:\/\/dx.doi.org\/10.1007\/978-1-4613-8431-1"],"isPartOf":"#volume6280"},{"@type":"ScholarlyArticle","@id":"#article9710","name":"On Balls in a Hilbert Polygonal Geometry (Multimedia Contribution)","abstract":"Hilbert geometry is a metric geometry that extends the hyperbolic Cayley-Klein geometry. In this video, we explain the shape of balls and their properties in a convex polygonal Hilbert geometry. First, we study the combinatorial properties of Hilbert balls, showing that the shapes of Hilbert polygonal balls depend both on the center location and on the complexity of the Hilbert domain but not on their radii. We give an explicit description of the Hilbert ball for any given center and radius. We then study the intersection of two Hilbert balls. In particular, we consider the cases of empty intersection and internal\/external tangencies.","keywords":["Projective geometry","Hilbert geometry","balls"],"author":[{"@type":"Person","name":"Nielsen, Frank","givenName":"Frank","familyName":"Nielsen"},{"@type":"Person","name":"Shao, Laetitia","givenName":"Laetitia","familyName":"Shao"}],"position":67,"pageStart":"67:1","pageEnd":"67:4","dateCreated":"2017-06-20","datePublished":"2017-06-20","isAccessibleForFree":true,"license":"https:\/\/creativecommons.org\/licenses\/by\/3.0\/legalcode","copyrightHolder":[{"@type":"Person","name":"Nielsen, Frank","givenName":"Frank","familyName":"Nielsen"},{"@type":"Person","name":"Shao, Laetitia","givenName":"Laetitia","familyName":"Shao"}],"copyrightYear":"2017","accessMode":"textual","accessModeSufficient":"textual","creativeWorkStatus":"Published","inLanguage":"en-US","sameAs":"https:\/\/doi.org\/10.4230\/LIPIcs.SoCG.2017.67","publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","citation":"http:\/\/arxiv.org\/abs\/1609.07082","isPartOf":"#volume6280"}]}