{"title":"Piercing families of convex sets in the plane that avoid a certain subfamily with lines","authors":"Daniel McGinnis","doi":"10.1016/j.comgeo.2024.102087","DOIUrl":"10.1016/j.comgeo.2024.102087","url":null,"abstract":"<div><p>We define a <span><math><mi>C</mi><mo>(</mo><mi>k</mi><mo>)</mo></math></span> to be a family of <em>k</em> sets <span><math><msub><mrow><mi>F</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><mo>…</mo><mo>,</mo><msub><mrow><mi>F</mi></mrow><mrow><mi>k</mi></mrow></msub></math></span> such that <span><math><mtext>conv</mtext><mo>(</mo><msub><mrow><mi>F</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>∪</mo><msub><mrow><mi>F</mi></mrow><mrow><mi>i</mi><mo>+</mo><mn>1</mn></mrow></msub><mo>)</mo><mo>∩</mo><mtext>conv</mtext><mo>(</mo><msub><mrow><mi>F</mi></mrow><mrow><mi>j</mi></mrow></msub><mo>∪</mo><msub><mrow><mi>F</mi></mrow><mrow><mi>j</mi><mo>+</mo><mn>1</mn></mrow></msub><mo>)</mo><mo>=</mo><mo>∅</mo></math></span> when <span><math><mo>{</mo><mi>i</mi><mo>,</mo><mi>i</mi><mo>+</mo><mn>1</mn><mo>}</mo><mo>∩</mo><mo>{</mo><mi>j</mi><mo>,</mo><mi>j</mi><mo>+</mo><mn>1</mn><mo>}</mo><mo>=</mo><mo>∅</mo></math></span> (indices are taken modulo <em>k</em>). We show that if <span><math><mi>F</mi></math></span> is a family of compact, convex sets that does not contain a <span><math><mi>C</mi><mo>(</mo><mi>k</mi><mo>)</mo></math></span>, then there are <span><math><mi>k</mi><mo>−</mo><mn>2</mn></math></span> lines that pierce <span><math><mi>F</mi></math></span>. Additionally, we give an example of a family of compact, convex sets that contains no <span><math><mi>C</mi><mo>(</mo><mi>k</mi><mo>)</mo></math></span> and cannot be pierced by <span><math><mrow><mo>⌈</mo><mfrac><mrow><mi>k</mi></mrow><mrow><mn>2</mn></mrow></mfrac><mo>⌉</mo></mrow><mo>−</mo><mn>1</mn></math></span> lines.</p></div>","PeriodicalId":51001,"journal":{"name":"Computational Geometry-Theory and Applications","volume":"120 ","pages":"Article 102087"},"PeriodicalIF":0.6,"publicationDate":"2024-02-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140007731","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}
{"title":"Bounds on soft rectangle packing ratios","authors":"Judith Brecklinghaus, Ulrich Brenner, Oliver Kiss","doi":"10.1016/j.comgeo.2023.102078","DOIUrl":"10.1016/j.comgeo.2023.102078","url":null,"abstract":"<div><p><span>We examine rectangle packing problems where only the areas </span><span><math><msub><mrow><mi>a</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><mo>…</mo><mo>,</mo><msub><mrow><mi>a</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span><span> of the rectangles to be packed are given while their aspect ratios may be chosen from a given interval </span><span><math><mo>[</mo><mfrac><mrow><mn>1</mn></mrow><mrow><mi>γ</mi></mrow></mfrac><mo>,</mo><mi>γ</mi><mo>]</mo></math></span>. In particular, we ask for the smallest possible size of a rectangle <em>R</em> such that, under these constraints, any collection <span><math><msub><mrow><mi>a</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><mo>…</mo><mo>,</mo><msub><mrow><mi>a</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span><span> of rectangle areas of total size 1 can be packed into </span><em>R</em>. As for standard square packing problems, which are contained as a special case for <span><math><mi>γ</mi><mo>=</mo><mn>1</mn></math></span>, this question leads us to three different answers, depending on whether the aspect ratio of <em>R</em> is given or whether we may choose it either with or without knowing the areas <span><math><msub><mrow><mi>a</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><mo>…</mo><mo>,</mo><msub><mrow><mi>a</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span><span>. Generalizing known results for square packing problems, we provide upper and lower bounds for the size of </span><em>R</em> with respect to all three variants of the problem, which are tight at least for larger values of <em>γ</em>. Moreover, we show how to improve these bounds on the size of <em>R</em> if we restrict ourselves to instances where the largest element in <span><math><msub><mrow><mi>a</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><mo>…</mo><mo>,</mo><msub><mrow><mi>a</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span> is bounded.</p></div>","PeriodicalId":51001,"journal":{"name":"Computational Geometry-Theory and Applications","volume":"119 ","pages":"Article 102078"},"PeriodicalIF":0.6,"publicationDate":"2023-12-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139025451","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}
{"title":"Global strong convexity and characterization of critical points of time-of-arrival-based source localization","authors":"Yuen-Man Pun , Anthony Man-Cho So","doi":"10.1016/j.comgeo.2023.102077","DOIUrl":"10.1016/j.comgeo.2023.102077","url":null,"abstract":"<div><p>In this work, we study a least-squares formulation of the source localization problem given time-of-arrival measurements. We show that the formulation, albeit non-convex in general, is globally strongly convex under certain condition on the geometric configuration of the anchors and the source and on the measurement noise. Next, we derive a characterization of the critical points of the least-squares formulation, leading to a bound on the maximum number of critical points under a very mild assumption on the measurement noise. In particular, the result provides a sufficient condition for the critical points of the least-squares formulation to be isolated. Prior to our work, the isolation of the critical points is treated as an assumption without any justification in the localization literature. The said characterization also leads to an algorithm that can find a global optimum of the least-squares formulation by searching through all critical points. We then establish an upper bound of the estimation error of the least-squares estimator. Finally, our numerical results corroborate the theoretical findings and show that our proposed algorithm can obtain a global solution regardless of the geometric configuration of the anchors and the source.</p></div>","PeriodicalId":51001,"journal":{"name":"Computational Geometry-Theory and Applications","volume":"119 ","pages":"Article 102077"},"PeriodicalIF":0.6,"publicationDate":"2023-12-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139023994","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}
{"title":"Rational tensegrities through the lens of toric geometry","authors":"Fatemeh Mohammadi , Xian Wu","doi":"10.1016/j.comgeo.2023.102075","DOIUrl":"10.1016/j.comgeo.2023.102075","url":null,"abstract":"<div><p>A classical tensegrity model consists of an embedded graph in a vector space with rigid bars representing edges, and an assignment of a stress to every edge such that at every vertex of the graph the stresses sum up to zero. The tensegrity frameworks have been recently extended from the two dimensional graph case to the multidimensional setting. We study the multidimensional tensegrities using tools from toric geometry. We introduce a link between self-stresses and Chow rings on toric varieties. More precisely, for a given rational tensegrity framework <span><math><mi>F</mi></math></span>, we construct a glued toric surface <span><math><msub><mrow><mi>X</mi></mrow><mrow><mi>F</mi></mrow></msub></math></span><span>. We show that the abelian group of tensegrities on </span><span><math><mi>F</mi></math></span> is isomorphic to a subgroup of the Chow group <span><math><msup><mrow><mi>A</mi></mrow><mrow><mn>1</mn></mrow></msup><mo>(</mo><msub><mrow><mi>X</mi></mrow><mrow><mi>F</mi></mrow></msub><mo>;</mo><mi>Q</mi><mo>)</mo></math></span>. In the case of planar frameworks, we show how to explicitly carry out the computation of tensegrities via classical tools in toric geometry.</p></div>","PeriodicalId":51001,"journal":{"name":"Computational Geometry-Theory and Applications","volume":"119 ","pages":"Article 102075"},"PeriodicalIF":0.6,"publicationDate":"2023-11-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138521877","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}
{"title":"Generalized class cover problem with axis-parallel strips","authors":"Apurva Mudgal , Supantha Pandit","doi":"10.1016/j.comgeo.2023.102065","DOIUrl":"https://doi.org/10.1016/j.comgeo.2023.102065","url":null,"abstract":"<div><p>We initiate the study of a <em>generalization</em> of the class cover problem [Cannon and Cowen <span>[1]</span>, Bereg et al. <span>[2]</span>] the <span><em>generalized class</em><em> cover problem</em></span>, where we are allowed to <em>misclassify</em> some points provided we pay an associated positive <em>penalty</em> for every misclassified point. Two versions: <em>single coverage</em> and <em>multiple coverage</em>, of the generalized class cover problem are investigated. We study five different variants of both versions of the generalized class cover problem with axis-parallel <em>strips</em> and axis-parallel <em>half-strips</em> extending to different directions in the plane, thus extending similar work by Bereg et al. (2012) <span>[2]</span> on the class cover problem. We prove that the multiple coverage version of the generalize class cover problem with axis-parallel strips are in <span><math><mi>P</mi></math></span>, whereas the single coverage version is <span><math><mi>NP</mi></math></span><span>-hard. A factor 2 approximation algorithm is provided for the later problem. The </span><span><math><mi>APX</mi></math></span><span><span>-hardness result is also shown for the single coverage version. For half-strips extending to exactly one direction, both the single and multiple coverage versions can be solved in polynomial time using </span>dynamic programming. In the case of half-strips extending to two orthogonal directions, we prove the class cover problem is </span><span><math><mi>NP</mi></math></span>-hard followed by <span><math><mi>APX</mi></math></span>-hard. This gives improve hardness results compare to Bereg et al. (2012) <span>[2]</span>, where they proved the class cover problem with half-strips oriented in four different directions is <span><math><mi>NP</mi></math></span>-hard. These <span><math><mi>NP</mi></math></span>- and <span><math><mi>APX</mi></math></span>-hardness results can directly apply to both single and multiple versions. Finally, constant factor approximation algorithms are provided for half-strips extending to more than one direction.</p></div>","PeriodicalId":51001,"journal":{"name":"Computational Geometry-Theory and Applications","volume":"119 ","pages":"Article 102065"},"PeriodicalIF":0.6,"publicationDate":"2023-11-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138471747","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}
{"title":"Enumerating combinatorial resultant trees","authors":"Goran Malić , Ileana Streinu","doi":"10.1016/j.comgeo.2023.102064","DOIUrl":"https://doi.org/10.1016/j.comgeo.2023.102064","url":null,"abstract":"<div><p>A 2D rigidity circuit is a minimal graph <span><math><mi>G</mi><mo>=</mo><mo>(</mo><mi>V</mi><mo>,</mo><mi>E</mi><mo>)</mo></math></span> supporting a non-trivial stress in any generic placement of its vertices in the Euclidean plane. All 2D rigidity circuits can be constructed from <span><math><msub><mrow><mi>K</mi></mrow><mrow><mn>4</mn></mrow></msub></math></span> graphs using <em>combinatorial resultant (CR)</em> operations. A <em>combinatorial resultant tree (CR-tree)</em> is a rooted binary tree capturing the structure of such a construction.</p><p>The CR operation has a specific algebraic interpretation, where an essentially unique <em>circuit polynomial</em> is associated to each circuit graph. Performing Sylvester resultant operations on these polynomials is in one-to-one correspondence with CR operations on circuit graphs. This mixed combinatorial/algebraic approach led recently to an effective algorithm for computing circuit polynomials. Its complexity analysis remains an open problem, but it is known to be influenced by the depth and shape of CR-trees in ways that have only partially been investigated.</p><p>In this paper, we present an effective algorithm for enumerating all the CR-trees of a given circuit with <em>n</em> vertices. Our algorithm has been fully implemented in Mathematica and allows for computational experimentation with various optimality criteria in the resulting, potentially exponentially large collections of CR-trees.</p></div>","PeriodicalId":51001,"journal":{"name":"Computational Geometry-Theory and Applications","volume":"118 ","pages":"Article 102064"},"PeriodicalIF":0.6,"publicationDate":"2023-10-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0925772123000846/pdfft?md5=b5e5388817484fb1e7de948f68aa70c6&pid=1-s2.0-S0925772123000846-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134656261","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Geometric triangulations and discrete Laplacians on manifolds: An update","authors":"David Glickenstein","doi":"10.1016/j.comgeo.2023.102063","DOIUrl":"https://doi.org/10.1016/j.comgeo.2023.102063","url":null,"abstract":"<div><p>This paper uses the technology of weighted triangulations to study discrete versions of the Laplacian on piecewise Euclidean manifolds. Given a collection of Euclidean simplices glued together along their boundary, a geometric structure on the Poincaré dual may be constructed by considering weights at the vertices. We show that this is equivalent to specifying sphere radii at vertices and generalized intersection angles at edges, or by specifying a certain way of dividing the edges. This geometric structure gives rise to a discrete Laplacian operator acting on functions on the vertices. We study these geometric structures in some detail, considering when dual volumes are nondegenerate, which corresponds to weighted Delaunay triangulations in dimension 2, and how one might find such nondegenerate weighted triangulations. Finally, we talk briefly about the possibilities of discrete Riemannian manifolds.</p></div>","PeriodicalId":51001,"journal":{"name":"Computational Geometry-Theory and Applications","volume":"118 ","pages":"Article 102063"},"PeriodicalIF":0.6,"publicationDate":"2023-10-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"91959617","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}
{"title":"Distance measures for geometric graphs","authors":"Sushovan Majhi , Carola Wenk","doi":"10.1016/j.comgeo.2023.102056","DOIUrl":"https://doi.org/10.1016/j.comgeo.2023.102056","url":null,"abstract":"<div><p><span><span>A geometric graph is a combinatorial graph, endowed with a geometry that is inherited from its embedding in a </span>Euclidean space. Formulation of a meaningful measure of (dis-)similarity in both the combinatorial and geometric structures of two such geometric graphs is a challenging problem in pattern recognition. We study two notions of distance measures for geometric graphs, called the geometric edit distance (GED) and geometric graph distance (GGD). While the former is based on the idea of editing one graph to transform it into the other graph, the latter is inspired by inexact matching of the graphs. For decades, both notions have been lending themselves well as measures of similarity between attributed graphs. If used without any modification, however, they fail to provide a meaningful distance measure for geometric graphs—even cease to be a metric. We have curated their associated cost functions for the context of geometric graphs. Alongside studying the metric properties of GED and GGD, we investigate how the two notions compare. We further our understanding of the computational aspects of GGD by showing that the distance is </span><span><math><mi>NP</mi></math></span><span>-hard to compute, even if the graphs are planar and arbitrary cost coefficients are allowed.</span></p><p>As a computationally tractable alternative, we propose in this paper the Graph Mover's Distance (GMD), which has been formulated as an instance of the earth mover's distance. The computation of the GMD between two geometric graphs with at most <em>n</em> vertices takes only <span><math><mi>O</mi><mo>(</mo><msup><mrow><mi>n</mi></mrow><mrow><mn>3</mn></mrow></msup><mo>)</mo></math></span>-time. The GMD demonstrates extremely promising empirical evidence at recognizing letter drawings.</p></div>","PeriodicalId":51001,"journal":{"name":"Computational Geometry-Theory and Applications","volume":"118 ","pages":"Article 102056"},"PeriodicalIF":0.6,"publicationDate":"2023-10-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"49829793","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}
{"title":"Flexibility and rigidity of frameworks consisting of triangles and parallelograms","authors":"Georg Grasegger , Jan Legerský","doi":"10.1016/j.comgeo.2023.102055","DOIUrl":"10.1016/j.comgeo.2023.102055","url":null,"abstract":"<div><p>A framework, which is a (possibly infinite) graph with a realization of its vertices in the plane, is called flexible if it can be continuously deformed while preserving the edge lengths. We focus on flexibility of frameworks in which 4-cycles form parallelograms. For the class of frameworks considered in this paper (allowing triangles), we prove that the following are equivalent: flexibility, infinitesimal flexibility, the existence of at least two classes of an equivalence relation based on 3- and 4-cycles and being a non-trivial subgraph of the Cartesian product of graphs. We study the algorithmic aspects and the rotationally symmetric version of the problem. The results are illustrated on frameworks obtained from tessellations by regular polygons.</p></div>","PeriodicalId":51001,"journal":{"name":"Computational Geometry-Theory and Applications","volume":"120 ","pages":"Article 102055"},"PeriodicalIF":0.6,"publicationDate":"2023-10-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134979110","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}