Pub Date : 2023-07-04DOI: 10.1016/j.comgeo.2023.102036
Franz J. Brandenburg
A graph is 1-planar if it can be drawn in the plane such that each edge is crossed at most once. However, there are 1-planar graphs that do not admit a straight-line 1-planar drawing. We show that every 1-planar graph has a straight-line drawing with a two-coloring of the edges such that edges of the same color do not cross. Thus 1-planar graphs have geometric thickness two. In addition, the drawing is nearly 1-planar, that is, it is 1-planar if all fan-crossed edges are removed. An edge is fan-crossed if it is crossed by edges with a common vertex if it is crossed more than twice. The drawing algorithm uses high precision arithmetic with numbers with digits and computes the straight-line drawing from a 1-planar drawing in linear time on a real RAM.
{"title":"Straight-line drawings of 1-planar graphs","authors":"Franz J. Brandenburg","doi":"10.1016/j.comgeo.2023.102036","DOIUrl":"https://doi.org/10.1016/j.comgeo.2023.102036","url":null,"abstract":"<div><p>A graph is 1-planar if it can be drawn in the plane such that each edge is crossed at most once. However, there are 1-planar graphs that do not admit a straight-line 1-planar drawing. We show that every 1-planar graph has a straight-line drawing with a two-coloring of the edges such that edges of the same color do not cross. Thus 1-planar graphs have geometric thickness two. In addition, the drawing is nearly 1-planar, that is, it is 1-planar if all fan-crossed edges are removed. An edge is fan-crossed if it is crossed by edges with a common vertex if it is crossed more than twice. The drawing algorithm uses high precision arithmetic with numbers with <span><math><mi>O</mi><mo>(</mo><mi>n</mi><mi>log</mi><mo></mo><mi>n</mi><mo>)</mo></math></span> digits and computes the straight-line drawing from a 1-planar drawing in linear time on a real RAM.</p></div>","PeriodicalId":51001,"journal":{"name":"Computational Geometry-Theory and Applications","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2023-07-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"49846967","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-06-28DOI: 10.1016/j.comgeo.2023.102033
Manuel Radons
A 3-prismatoid is the convex hull of two convex polygons A and B which lie in parallel planes . Let be the orthogonal projection of A onto . A 3-prismatoid is called nested if is properly contained in B, or vice versa. We show that every nested 3-prismatoid has an edge-unfolding to a non-overlapping polygon in the plane.
{"title":"Edge-unfolding nested prismatoids","authors":"Manuel Radons","doi":"10.1016/j.comgeo.2023.102033","DOIUrl":"https://doi.org/10.1016/j.comgeo.2023.102033","url":null,"abstract":"<div><p>A 3-prismatoid is the convex hull of two convex polygons <em>A</em> and <em>B</em> which lie in parallel planes <span><math><msub><mrow><mi>H</mi></mrow><mrow><mi>A</mi></mrow></msub><mo>,</mo><msub><mrow><mi>H</mi></mrow><mrow><mi>B</mi></mrow></msub><mo>⊂</mo><msup><mrow><mi>R</mi></mrow><mrow><mn>3</mn></mrow></msup></math></span>. Let <span><math><mover><mrow><mi>A</mi></mrow><mrow><mo>˜</mo></mrow></mover></math></span> be the orthogonal projection of <em>A</em> onto <span><math><msub><mrow><mi>H</mi></mrow><mrow><mi>B</mi></mrow></msub></math></span>. A 3-prismatoid is called nested if <span><math><mover><mrow><mi>A</mi></mrow><mrow><mo>˜</mo></mrow></mover></math></span> is properly contained in <em>B</em>, or vice versa. We show that every nested 3-prismatoid has an edge-unfolding to a non-overlapping polygon in the plane.</p></div>","PeriodicalId":51001,"journal":{"name":"Computational Geometry-Theory and Applications","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2023-06-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"49804594","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-06-24DOI: 10.1016/j.comgeo.2023.102034
Sushovan Majhi , Jeffrey Vitter , Carola Wenk
The Gromov-Hausdorff distance proves to be a useful distance measure between shapes. In order to approximate for , we look into its relationship with , the infimum Hausdorff distance under Euclidean isometries. As already known for dimension , cannot be bounded above by a constant factor times . For , however, we prove that . We also show that the bound is tight. In effect, for with at most n points, this gives rise to an -time algorithm to approximate with an approximation factor of .
{"title":"Approximating Gromov-Hausdorff distance in Euclidean space","authors":"Sushovan Majhi , Jeffrey Vitter , Carola Wenk","doi":"10.1016/j.comgeo.2023.102034","DOIUrl":"https://doi.org/10.1016/j.comgeo.2023.102034","url":null,"abstract":"<div><p>The Gromov-Hausdorff distance <span><math><mo>(</mo><msub><mrow><mi>d</mi></mrow><mrow><mi>G</mi><mi>H</mi></mrow></msub><mo>)</mo></math></span> proves to be a useful distance measure between shapes. In order to approximate <span><math><msub><mrow><mi>d</mi></mrow><mrow><mi>G</mi><mi>H</mi></mrow></msub></math></span> for <span><math><mi>X</mi><mo>,</mo><mi>Y</mi><mo>⊂</mo><msup><mrow><mi>R</mi></mrow><mrow><mi>d</mi></mrow></msup></math></span>, we look into its relationship with <span><math><msub><mrow><mi>d</mi></mrow><mrow><mi>H</mi><mo>,</mo><mi>i</mi><mi>s</mi><mi>o</mi></mrow></msub></math></span>, the infimum Hausdorff distance under Euclidean isometries. As already known for dimension <span><math><mi>d</mi><mo>≥</mo><mn>2</mn></math></span>, <span><math><msub><mrow><mi>d</mi></mrow><mrow><mi>H</mi><mo>,</mo><mi>i</mi><mi>s</mi><mi>o</mi></mrow></msub></math></span> cannot be bounded above by a constant factor times <span><math><msub><mrow><mi>d</mi></mrow><mrow><mi>G</mi><mi>H</mi></mrow></msub></math></span>. For <span><math><mi>d</mi><mo>=</mo><mn>1</mn></math></span>, however, we prove that <span><math><msub><mrow><mi>d</mi></mrow><mrow><mi>H</mi><mo>,</mo><mi>i</mi><mi>s</mi><mi>o</mi></mrow></msub><mo>≤</mo><mfrac><mrow><mn>5</mn></mrow><mrow><mn>4</mn></mrow></mfrac><msub><mrow><mi>d</mi></mrow><mrow><mi>G</mi><mi>H</mi></mrow></msub></math></span>. We also show that the bound is tight. In effect, for <span><math><mi>X</mi><mo>,</mo><mi>Y</mi><mo>⊂</mo><mi>R</mi></math></span> with at most <em>n</em> points, this gives rise to an <span><math><mi>O</mi><mo>(</mo><mi>n</mi><mi>log</mi><mo></mo><mi>n</mi><mo>)</mo></math></span>-time algorithm to approximate <span><math><msub><mrow><mi>d</mi></mrow><mrow><mi>G</mi><mi>H</mi></mrow></msub><mo>(</mo><mi>X</mi><mo>,</mo><mi>Y</mi><mo>)</mo></math></span> with an approximation factor of <span><math><mo>(</mo><mn>1</mn><mo>+</mo><mfrac><mrow><mn>1</mn></mrow><mrow><mn>4</mn></mrow></mfrac><mo>)</mo></math></span>.</p></div>","PeriodicalId":51001,"journal":{"name":"Computational Geometry-Theory and Applications","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2023-06-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"49804595","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
In this paper we consider two aspects of the inverse problem of how to construct merge trees realizing a given barcode. Much of our investigation exploits a recently discovered connection between the symmetric group and barcodes in general position, based on the simple observation that death order is a permutation of birth order. We show how to lift this combinatorial characterization of barcodes to an analogous combinatorialization of merge trees. As result of this study, we provide the first clear combinatorial distinction between the space of phylogenetic trees (as defined by Billera, Holmes and Vogtmann) and the space of merge trees: generic phylogenetic trees on leaf nodes fall into distinct equivalence classes, but the analogous number for merge trees is equal to the number of maximal chains in the lattice of partitions, i.e., . The second aspect of our study is the derivation of precise formulas for the distribution of tree realization numbers (the number of merge trees realizing a given barcode) when we assume that barcodes are sampled using a uniform distribution on the symmetric group. We are able to characterize some of the higher moments of this distribution, thanks in part to a reformulation of our distribution in terms of Dirichlet convolution. This characterization provides a type of null hypothesis, apparently different from the distributions observed in real neuron data, which opens the door to doing more precise statistics and science.
{"title":"From trees to barcodes and back again II: Combinatorial and probabilistic aspects of a topological inverse problem","authors":"Justin Curry, Jordan DeSha, Adélie Garin, Kathryn Hess, Lida Kanari, Brendan Mallery","doi":"10.1016/j.comgeo.2023.102031","DOIUrl":"https://doi.org/10.1016/j.comgeo.2023.102031","url":null,"abstract":"<div><p>In this paper we consider two aspects of the inverse problem of how to construct merge trees realizing a given barcode. Much of our investigation exploits a recently discovered connection between the symmetric group and barcodes in general position, based on the simple observation that death order is a permutation of birth order. We show how to lift this combinatorial characterization of barcodes to an analogous combinatorialization of merge trees. As result of this study, we provide the first clear combinatorial distinction between the space of phylogenetic trees (as defined by Billera, Holmes and Vogtmann) and the space of merge trees: generic phylogenetic trees on <span><math><mi>n</mi><mo>+</mo><mn>1</mn></math></span> leaf nodes fall into <span><math><mo>(</mo><mn>2</mn><mi>n</mi><mo>−</mo><mn>1</mn><mo>)</mo><mo>!</mo><mo>!</mo></math></span> distinct equivalence classes, but the analogous number for merge trees is equal to the number of maximal chains in the lattice of partitions, i.e., <span><math><mo>(</mo><mi>n</mi><mo>+</mo><mn>1</mn><mo>)</mo><mo>!</mo><mi>n</mi><mo>!</mo><msup><mrow><mn>2</mn></mrow><mrow><mo>−</mo><mi>n</mi></mrow></msup></math></span>. The second aspect of our study is the derivation of precise formulas for the distribution of tree realization numbers (the number of merge trees realizing a given barcode) when we assume that barcodes are sampled using a uniform distribution on the symmetric group. We are able to characterize some of the higher moments of this distribution, thanks in part to a reformulation of our distribution in terms of Dirichlet convolution. This characterization provides a type of null hypothesis, apparently different from the distributions observed in real neuron data, which opens the door to doing more precise statistics and science.</p></div>","PeriodicalId":51001,"journal":{"name":"Computational Geometry-Theory and Applications","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2023-06-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"49846968","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-06-20DOI: 10.1016/j.comgeo.2023.102032
Thomas Fernique , Daria Pchelina
We consider ternary disc packings of the plane, i.e. the packings using discs of three different radii. Packings in which each “hole” is bounded by three pairwise tangent discs are called triangulated. There are 164 pairs , , allowing triangulated packings by discs of radii 1, r and s. In this paper, we enhance existing methods of dealing with maximal-density packings in order to find ternary triangulated packings which maximize the density among all the packings with the same disc radii. We showed for 16 pairs that the density is maximized by a triangulated ternary packing; for 16 other pairs, we proved the density to be maximized by a triangulated packing using only two sizes of discs; for 45 pairs, we found non-triangulated packings strictly denser than any triangulated one; finally, we classified the remaining cases where our methods are not applicable.
{"title":"Density of triangulated ternary disc packings","authors":"Thomas Fernique , Daria Pchelina","doi":"10.1016/j.comgeo.2023.102032","DOIUrl":"https://doi.org/10.1016/j.comgeo.2023.102032","url":null,"abstract":"<div><p>We consider <em>ternary</em> disc packings of the plane, i.e. the packings using discs of three different radii. Packings in which each “hole” is bounded by three pairwise tangent discs are called <em>triangulated</em>. There are 164 pairs <span><math><mo>(</mo><mi>r</mi><mo>,</mo><mi>s</mi><mo>)</mo></math></span>, <span><math><mn>1</mn><mo>></mo><mi>r</mi><mo>></mo><mi>s</mi></math></span>, allowing triangulated packings by discs of radii 1, <em>r</em> and <em>s</em>. In this paper, we enhance existing methods of dealing with maximal-density packings in order to find ternary triangulated packings which maximize the density among all the packings with the same disc radii. We showed for 16 pairs that the density is maximized by a triangulated ternary packing; for 16 other pairs, we proved the density to be maximized by a triangulated packing using only two sizes of discs; for 45 pairs, we found non-triangulated packings strictly denser than any triangulated one; finally, we classified the remaining cases where our methods are not applicable.</p></div>","PeriodicalId":51001,"journal":{"name":"Computational Geometry-Theory and Applications","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2023-06-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"49791317","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-06-15DOI: 10.1016/j.comgeo.2023.102030
Shangqi Lu, Yufei Tao
Let P be a set of n points in where each point carries a weight drawn from a commutative monoid . Given a d-rectangle (i.e., an orthogonal rectangle in ) and a value , a range update adds Δ to the weight of every point ; given a d-rectangle , a range sum query returns the total weight of the points in . The goal is to store P in a structure to support updates and queries with attractive performance guarantees. We describe a structure of space that handles an update in time and a query in time for arbitrary functions and satisfying . The result holds for any fixed dimensionality . Our query-update tradeoff is tight up to a polylog factor subject to the OMv-conjecture.
{"title":"Range updates and range sum queries on multidimensional points with monoid weights","authors":"Shangqi Lu, Yufei Tao","doi":"10.1016/j.comgeo.2023.102030","DOIUrl":"https://doi.org/10.1016/j.comgeo.2023.102030","url":null,"abstract":"<div><p>Let <em>P</em> be a set of <em>n</em> points in <span><math><msup><mrow><mi>R</mi></mrow><mrow><mi>d</mi></mrow></msup></math></span> where each point <span><math><mi>p</mi><mo>∈</mo><mi>P</mi></math></span> carries a <em>weight</em><span> drawn from a commutative monoid </span><span><math><mo>(</mo><mi>M</mi><mo>,</mo><mo>+</mo><mo>,</mo><mn>0</mn><mo>)</mo></math></span>. Given a <em>d</em>-rectangle <span><math><msub><mrow><mi>r</mi></mrow><mrow><mi>upd</mi></mrow></msub></math></span> (i.e., an orthogonal rectangle in <span><math><msup><mrow><mi>R</mi></mrow><mrow><mi>d</mi></mrow></msup></math></span>) and a value <span><math><mi>Δ</mi><mo>∈</mo><mi>M</mi></math></span>, a <em>range update</em> adds Δ to the weight of every point <span><math><mi>p</mi><mo>∈</mo><mi>P</mi><mo>∩</mo><msub><mrow><mi>r</mi></mrow><mrow><mi>upd</mi></mrow></msub></math></span>; given a <em>d</em>-rectangle <span><math><msub><mrow><mi>r</mi></mrow><mrow><mi>qry</mi></mrow></msub></math></span>, a <em>range sum query</em> returns the total weight of the points in <span><math><mi>P</mi><mo>∩</mo><msub><mrow><mi>r</mi></mrow><mrow><mi>qry</mi></mrow></msub></math></span>. The goal is to store <em>P</em> in a structure to support updates and queries with attractive performance guarantees. We describe a structure of <span><math><mover><mrow><mi>O</mi></mrow><mrow><mo>˜</mo></mrow></mover><mo>(</mo><mi>n</mi><mo>)</mo></math></span> space that handles an update in <span><math><mover><mrow><mi>O</mi></mrow><mrow><mo>˜</mo></mrow></mover><mo>(</mo><msub><mrow><mi>T</mi></mrow><mrow><mi>upd</mi></mrow></msub><mo>)</mo></math></span> time and a query in <span><math><mover><mrow><mi>O</mi></mrow><mrow><mo>˜</mo></mrow></mover><mo>(</mo><msub><mrow><mi>T</mi></mrow><mrow><mi>qry</mi></mrow></msub><mo>)</mo></math></span> time for arbitrary functions <span><math><msub><mrow><mi>T</mi></mrow><mrow><mi>upd</mi></mrow></msub><mo>(</mo><mi>n</mi><mo>)</mo></math></span> and <span><math><msub><mrow><mi>T</mi></mrow><mrow><mi>qry</mi></mrow></msub><mo>(</mo><mi>n</mi><mo>)</mo></math></span> satisfying <span><math><msub><mrow><mi>T</mi></mrow><mrow><mi>upd</mi></mrow></msub><mo>⋅</mo><msub><mrow><mi>T</mi></mrow><mrow><mi>qry</mi></mrow></msub><mo>=</mo><mi>n</mi></math></span>. The result holds for any fixed dimensionality <span><math><mi>d</mi><mo>≥</mo><mn>2</mn></math></span><span>. Our query-update tradeoff is tight up to a polylog factor subject to the OMv-conjecture.</span></p></div>","PeriodicalId":51001,"journal":{"name":"Computational Geometry-Theory and Applications","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2023-06-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"49791615","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-06-12DOI: 10.1016/j.comgeo.2023.102021
Rivka Gitik, Leo Joskowicz
This paper addresses a family of geometric half-plane retrieval queries of points in the plane in the presence of geometric uncertainty. The problems include exact and uncertain point sets and half-plane queries defined by an exact or uncertain line whose location uncertainties are independent or dependent and are defined by k real-valued parameters. Point coordinate uncertainties are modeled with the Linear Parametric Geometric Uncertainty Model (LPGUM), an expressive and computationally efficient worst-case, first order linear approximation of geometric uncertainty that supports parametric dependencies between point locations. We present an efficient time and space algorithm for computing the envelope of the LPGUM line that defines the half-plane query. For an exact line and an LPGUM n points set, we present an time query and space algorithm, where m is the number of LPGUM points on or above the half-plane line. For a LPGUM line and an exact points set, we present a time and space approximation algorithm, where is the desired approximation error. For a LPGUM line and an LPGUM points set, we present two and time query and
{"title":"Half-plane point retrieval queries with independent and dependent geometric uncertainties","authors":"Rivka Gitik, Leo Joskowicz","doi":"10.1016/j.comgeo.2023.102021","DOIUrl":"https://doi.org/10.1016/j.comgeo.2023.102021","url":null,"abstract":"<div><p>This paper addresses a family of geometric half-plane retrieval queries of points in the plane in the presence of geometric uncertainty. The problems include exact and uncertain point sets and half-plane queries defined by an exact or uncertain line whose location uncertainties are independent or dependent and are defined by <em>k</em><span><span><span> real-valued parameters. Point coordinate uncertainties are modeled with the Linear Parametric Geometric Uncertainty Model (LPGUM), an expressive and computationally efficient worst-case, first order linear </span>approximation of geometric uncertainty that supports parametric dependencies between </span>point locations. We present an efficient </span><span><math><mi>O</mi><mrow><mo>(</mo><msup><mrow><mi>k</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>)</mo></mrow></math></span> time and space algorithm for computing the envelope of the LPGUM line that defines the half-plane query. For an exact line and an LPGUM <em>n</em> points set, we present an <span><math><mi>O</mi><mrow><mo>(</mo><mi>log</mi><mo></mo><mi>n</mi><mi>k</mi><mo>+</mo><mi>m</mi><mi>k</mi><mo>)</mo></mrow></math></span> time query and <span><math><mi>O</mi><mrow><mo>(</mo><mi>n</mi><mi>k</mi><mo>)</mo></mrow></math></span> space algorithm, where <em>m</em> is the number of LPGUM points on or above the half-plane line. For a LPGUM line and an exact points set, we present a <span><math><mi>O</mi><mrow><mo>(</mo><msup><mrow><mi>k</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>+</mo><mfrac><mrow><mo>(</mo><mi>k</mi><mi>log</mi><mo></mo><mi>n</mi><mi>log</mi><mo></mo><mi>log</mi><mo></mo><mi>n</mi><mo>)</mo></mrow><mrow><mi>ε</mi></mrow></mfrac><mo>+</mo><mi>m</mi><mo>)</mo></mrow></math></span> time and <span><math><mi>O</mi><mrow><mo>(</mo><mfrac><mrow><msup><mrow><mi>n</mi></mrow><mrow><mn>2</mn></mrow></msup></mrow><mrow><mi>log</mi><mo></mo><mi>n</mi></mrow></mfrac><mo>+</mo><mfrac><mrow><mi>k</mi></mrow><mrow><mi>ε</mi></mrow></mfrac><mo>)</mo></mrow></math></span><span> space approximation algorithm, where </span><span><math><mn>0</mn><mo><</mo><mi>ε</mi><mo>≤</mo><mn>1</mn></math></span> is the desired approximation error. For a LPGUM line and an LPGUM points set, we present two <span><math><mi>O</mi><mrow><mo>(</mo><msup><mrow><mi>k</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>+</mo><mfrac><mrow><mo>(</mo><mi>k</mi><mi>log</mi><mo></mo><mi>n</mi><mi>k</mi><mi>log</mi><mo></mo><mi>log</mi><mo></mo><mi>n</mi><mi>k</mi><mo>)</mo></mrow><mrow><mi>ε</mi></mrow></mfrac><mo>+</mo><mi>m</mi><mi>k</mi><mo>)</mo></mrow></math></span> and <span><math><mi>O</mi><mrow><mo>(</mo><mi>m</mi><msup><mrow><mi>k</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>+</mo><mfrac><mrow><mo>(</mo><mi>k</mi><mi>log</mi><mo></mo><mi>n</mi><mi>k</mi><mi>log</mi><mo></mo><mi>log</mi><mo></mo><mi>n</mi><mi>k</mi><mo>)</mo></mrow><mrow><mi>ε</mi></mrow></mfrac><mo>)</mo></mrow></math></span> time query and <span><math><mi>O</mi><mrow><mo>(</mo><m","PeriodicalId":51001,"journal":{"name":"Computational Geometry-Theory and Applications","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2023-06-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"49791616","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-06-01DOI: 10.1016/j.comgeo.2023.101982
David Eppstein, Daniel Frishberg, Martha C. Osegueda
We characterize the triples of interior angles that are possible in non-self-crossing triangles with circular-arc sides, and we prove that a given cyclic sequence of angles can be realized by a non-self-crossing polygon with circular-arc sides whenever all angles are ≤π. As a consequence of these results, we prove that every cactus has a planar Lombardi drawing (a drawing with edges depicted as circular arcs, meeting at equal angles at each vertex) for its natural embedding in which every cycle of the cactus is a face of the drawing. However, there exist planar embeddings of cacti that do not have planar Lombardi drawings.
{"title":"Angles of arc-polygons and Lombardi drawings of cacti","authors":"David Eppstein, Daniel Frishberg, Martha C. Osegueda","doi":"10.1016/j.comgeo.2023.101982","DOIUrl":"https://doi.org/10.1016/j.comgeo.2023.101982","url":null,"abstract":"<div><p>We characterize the triples of interior angles that are possible in non-self-crossing triangles with circular-arc sides, and we prove that a given cyclic sequence of angles can be realized by a non-self-crossing polygon with circular-arc sides whenever all angles are ≤<em>π</em>. As a consequence of these results, we prove that every cactus has a planar Lombardi drawing (a drawing with edges depicted as circular arcs, meeting at equal angles at each vertex) for its natural embedding in which every cycle of the cactus is a face of the drawing. However, there exist planar embeddings of cacti that do not have planar Lombardi drawings.</p></div>","PeriodicalId":51001,"journal":{"name":"Computational Geometry-Theory and Applications","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2023-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"49795350","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-06-01DOI: 10.1016/j.comgeo.2023.101986
Matthew J. Katz , Micha Sharir
We present a randomized algorithm that with high probability finds a bottleneck matching in a set of points in the plane. The algorithm's running time is , where is a constant such that any two matrices can be multiplied in time . The state of the art in fast matrix multiplication allows us to set .
{"title":"Bottleneck matching in the plane","authors":"Matthew J. Katz , Micha Sharir","doi":"10.1016/j.comgeo.2023.101986","DOIUrl":"https://doi.org/10.1016/j.comgeo.2023.101986","url":null,"abstract":"<div><p><span>We present a randomized algorithm that with high probability finds a bottleneck matching in a set of </span><span><math><mi>n</mi><mo>=</mo><mn>2</mn><mi>ℓ</mi></math></span> points in the plane. The algorithm's running time is <span><math><mi>O</mi><mo>(</mo><msup><mrow><mi>n</mi></mrow><mrow><mi>ω</mi><mo>/</mo><mn>2</mn></mrow></msup><mi>log</mi><mo></mo><mi>n</mi><mo>)</mo></math></span>, where <span><math><mi>ω</mi><mo>></mo><mn>2</mn></math></span> is a constant such that any two <span><math><mi>n</mi><mo>×</mo><mi>n</mi></math></span> matrices can be multiplied in time <span><math><mi>O</mi><mo>(</mo><msup><mrow><mi>n</mi></mrow><mrow><mi>ω</mi></mrow></msup><mo>)</mo></math></span>. The state of the art in fast matrix multiplication allows us to set <span><math><mi>ω</mi><mo>=</mo><mn>2.3728596</mn></math></span>.</p></div>","PeriodicalId":51001,"journal":{"name":"Computational Geometry-Theory and Applications","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2023-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"49795348","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-06-01DOI: 10.1016/j.comgeo.2023.101984
Aritra Banik , Rajiv Raman , Saurabh Ray
We study the priority set cover problem for simple geometric set systems in the plane. For pseudo-halfspaces in the plane we obtain a PTAS via local search by showing that the corresponding set system admits a planar support. We show that the problem is APX-hard even for unit disks in the plane and argue that in this case the standard local search algorithm can output a solution that is arbitrarily bad compared to the optimal solution. We then present an LP-relative constant factor approximation algorithm (which also works in the weighted setting) for unit disks via quasi-uniform sampling. As a consequence we obtain a constant factor approximation for the capacitated set cover problem with unit disks. For arbitrary size disks, we show that the problem is at least as hard as the vertex cover problem in general graphs even when the disks have nearly equal sizes. We also present a few simple results for unit squares and orthants in the plane.
{"title":"On the geometric priority set cover problem","authors":"Aritra Banik , Rajiv Raman , Saurabh Ray","doi":"10.1016/j.comgeo.2023.101984","DOIUrl":"https://doi.org/10.1016/j.comgeo.2023.101984","url":null,"abstract":"<div><p><span>We study the priority set cover problem for simple geometric set systems in the plane. For pseudo-halfspaces in the plane we obtain a PTAS via local search by showing that the corresponding set system admits a planar support. We show that the problem is APX-hard even for unit disks in the plane and argue that in this case the standard local search algorithm can output a solution that is arbitrarily bad compared to the optimal solution. We then present an LP-relative constant factor </span>approximation algorithm (which also works in the weighted setting) for unit disks via quasi-uniform sampling. As a consequence we obtain a constant factor approximation for the capacitated set cover problem with unit disks. For arbitrary size disks, we show that the problem is at least as hard as the vertex cover problem in general graphs even when the disks have nearly equal sizes. We also present a few simple results for unit squares and orthants in the plane.</p></div>","PeriodicalId":51001,"journal":{"name":"Computational Geometry-Theory and Applications","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2023-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"49795351","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}