Discrete & Computational Geometry最新文献

{"title":"(Re)packing Equal Disks into Rectangle","authors":"Fedor V. Fomin, Petr A. Golovach, Tanmay Inamdar, Saket Saurabh, Meirav Zehavi","doi":"10.1007/s00454-024-00633-1","DOIUrl":"https://doi.org/10.1007/s00454-024-00633-1","url":null,"abstract":"<p>The problem of packing of equal disks (or circles) into a rectangle is a fundamental geometric problem. (By a packing here we mean an arrangement of disks in a rectangle without overlapping.) We consider the following algorithmic generalization of the equal disk packing problem. In this problem, for a given packing of equal disks into a rectangle, the question is whether by changing positions of a small number of disks, we can allocate space for packing more disks. More formally, in the repacking problem, for a given set of <i>n</i> equal disks packed into a rectangle and integers <i>k</i> and <i>h</i>, we ask whether it is possible by changing positions of at most <i>h</i> disks to pack <span>(n+k)</span> disks. Thus the problem of packing equal disks is the special case of our problem with <span>(n=h=0)</span>. While the computational complexity of packing equal disks into a rectangle remains open, we prove that the repacking problem is NP-hard already for <span>(h=0)</span>. Our main algorithmic contribution is an algorithm that solves the repacking problem in time <span>((h+k)^{mathcal {O}(h+k)}cdot |I|^{mathcal {O}(1)})</span>, where |<i>I</i>| is the input size. That is, the problem is fixed-parameter tractable parameterized by <i>k</i> and <i>h</i>.</p>","PeriodicalId":50574,"journal":{"name":"Discrete & Computational Geometry","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2024-03-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140115634","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Decomposing the Complement of the Union of Cubes and Boxes in Three Dimensions","authors":"","doi":"10.1007/s00454-024-00632-2","DOIUrl":"https://doi.org/10.1007/s00454-024-00632-2","url":null,"abstract":"<h3>Abstract</h3> <p>Let <span> <span>(mathcal {C})</span> </span> be a set of <em>n</em> axis-aligned cubes of arbitrary sizes in <span> <span>({mathbb R}^3)</span> </span> in general position. Let <span> <span>(mathcal {U}:=mathcal {U}(mathcal {C}))</span> </span> be their union, and let <span> <span>(kappa )</span> </span> be the number of vertices on <span> <span>(partial mathcal {U})</span> </span>; <span> <span>(kappa )</span> </span> can vary between <em>O</em>(1) and <span> <span>(Theta (n^2))</span> </span>. We present a partition of <span> <span>(mathop {textrm{cl}}({mathbb R}^3setminus mathcal {U}))</span> </span> into <span> <span>(O(kappa log ^4 n))</span> </span> axis-aligned boxes with pairwise-disjoint interiors that can be computed in <span> <span>(O(n log ^2 n + kappa log ^6 n))</span> </span> time if the faces of <span> <span>(partial mathcal {U})</span> </span> are pre-computed. We also show that a partition of size <span> <span>(O(sigma log ^4 n + kappa log ^2 n))</span> </span>, where <span> <span>(sigma )</span> </span> is the number of input cubes that appear on <span> <span>(partial mathcal {U})</span> </span>, can be computed in <span> <span>(O(n log ^2 n + sigma log ^8 n + kappa log ^6 n))</span> </span> time if the faces of <span> <span>(partial mathcal {U})</span> </span> are pre-computed. The complexity and runtime bounds improve to <span> <span>(O(nlog n))</span> </span> if all cubes in <span> <span>(mathcal {C})</span> </span> are congruent and the faces of <span> <span>(partial mathcal {U})</span> </span> are pre-computed. Finally, we show that if <span> <span>(mathcal {C})</span> </span> is a set of arbitrary axis-aligned boxes in <span> <span>({mathbb R}^3)</span> </span>, then a partition of <span> <span>(mathop {textrm{cl}}({mathbb R}^3setminus mathcal {U}))</span> </span> into <span> <span>(O(n^{3/2}+kappa ))</span> </span> boxes can be computed in time <span> <span>(O((n^{3/2}+kappa )log n))</span> </span>, where <span> <span>(kappa )</span> </span> is, as above, the number of vertices in <span> <span>(mathcal {U}(mathcal {C}))</span> </span>, which now can vary between <em>O</em>(1) and <span> <span>(Theta (n^3))</span> </span>.</p>","PeriodicalId":50574,"journal":{"name":"Discrete & Computational Geometry","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2024-03-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140019645","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Total Cut Complexes of Graphs","authors":"Margaret Bayer, Mark Denker, Marija Jelić Milutinović, Rowan Rowlands, Sheila Sundaram, Lei Xue","doi":"10.1007/s00454-024-00630-4","DOIUrl":"https://doi.org/10.1007/s00454-024-00630-4","url":null,"abstract":"<p>Inspired by work of Fröberg (1990), and Eagon and Reiner (1998), we define the <i>total k-cut complex</i> of a graph <i>G</i> to be the simplicial complex whose facets are the complements of independent sets of size <i>k</i> in <i>G</i>. We study the homotopy types and combinatorial properties of total cut complexes for various families of graphs, including chordal graphs, cycles, bipartite graphs, the prism <span>(K_n times K_2)</span>, and grid graphs, using techniques from algebraic topology and discrete Morse theory.</p>","PeriodicalId":50574,"journal":{"name":"Discrete & Computational Geometry","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2024-02-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139945462","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"On Compact Packings of Euclidean Space with Spheres of Finitely Many Sizes","authors":"Miek Messerschmidt, Eder Kikianty","doi":"10.1007/s00454-024-00628-y","DOIUrl":"https://doi.org/10.1007/s00454-024-00628-y","url":null,"abstract":"<p>For <span>(din {mathbb {N}})</span>, a compact sphere packing of Euclidean space <span>({mathbb {R}}^{d})</span> is a set of spheres in <span>({mathbb {R}}^{d})</span> with disjoint interiors so that the contact hypergraph of the packing is the vertex scheme of a homogeneous simplicial <i>d</i>-complex that covers all of <span>({mathbb {R}}^{d})</span>. We are motivated by the question: For <span>(d,nin {mathbb {N}})</span> with <span>(d,nge 2)</span>, how many configurations of numbers <span>(0&lt;r_{0}&lt;r_{1}&lt;cdots &lt;r_{n-1}=1)</span> can occur as the radii of spheres in a compact sphere packing of <span>({mathbb {R}}^{d})</span> wherein there occur exactly <i>n</i> sizes of sphere? We introduce what we call ‘heteroperturbative sets’ of labeled triangulations of unit spheres and we discuss the existence of non-trivial examples of heteroperturbative sets. For a fixed heteroperturbative set, we discuss how a compact sphere packing may be associated to the heteroperturbative set or not. We proceed to show, for <span>(d,nin {mathbb {N}})</span> with <span>(d,nge 2)</span> and for a fixed heteroperturbative set, that the collection of all configurations of <i>n</i> distinct positive numbers that can occur as the radii of spheres in a compact packing is finite, when taken over all compact sphere packings of <span>({mathbb {R}}^{d})</span> which have exactly <i>n</i> sizes of sphere and which are associated to the fixed heteroperturbative set.</p>","PeriodicalId":50574,"journal":{"name":"Discrete & Computational Geometry","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2024-02-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139956839","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Efficient Computation of a Semi-Algebraic Basis of the First Homology Group of a Semi-Algebraic Set","authors":"Saugata Basu, Sarah Percival","doi":"10.1007/s00454-024-00626-0","DOIUrl":"https://doi.org/10.1007/s00454-024-00626-0","url":null,"abstract":"<p>Let <span>(textrm{R})</span> be a real closed field and <span>(textrm{C})</span> the algebraic closure of <span>(textrm{R})</span>. We give an algorithm for computing a semi-algebraic basis for the first homology group, <span>(textrm{H}_1(S,{mathbb {F}}))</span>, with coefficients in a field <span>({mathbb {F}})</span>, of any given semi-algebraic set <span>(S subset textrm{R}^k)</span> defined by a closed formula. The complexity of the algorithm is bounded singly exponentially. More precisely, if the given quantifier-free formula involves <i>s</i> polynomials whose degrees are bounded by <i>d</i>, the complexity of the algorithm is bounded by <span>((s d)^{k^{O(1)}})</span>. This algorithm generalizes well known algorithms having singly exponential complexity for computing a semi-algebraic basis of the zeroth homology group of semi-algebraic sets, which is equivalent to the problem of computing a set of points meeting every semi-algebraically connected component of the given semi-algebraic set at a unique point. It is not known how to compute such a basis for the higher homology groups with singly exponential complexity. As an intermediate step in our algorithm we construct a semi-algebraic subset <span>(Gamma )</span> of the given semi-algebraic set <i>S</i>, such that <span>(textrm{H}_q(S,Gamma ) = 0)</span> for <span>(q=0,1)</span>. We relate this construction to a basic theorem in complex algebraic geometry stating that for any affine variety <i>X</i> of dimension <i>n</i>, there exists Zariski closed subsets </p><span>$$begin{aligned} Z^{(n-1)} supset cdots supset Z^{(1)} supset Z^{(0)} end{aligned}$$</span><p>with <span>(dim _textrm{C}Z^{(i)} le i)</span>, and <span>(textrm{H}_q(X,Z^{(i)}) = 0)</span> for <span>(0 le q le i)</span>. We conjecture a quantitative version of this result in the semi-algebraic category, with <i>X</i> and <span>(Z^{(i)})</span> replaced by closed semi-algebraic sets. We make initial progress on this conjecture by proving the existence of <span>(Z^{(0)})</span> and <span>(Z^{(1)})</span> with complexity bounded singly exponentially (previously, such an algorithm was known only for constructing <span>(Z^{(0)})</span>).</p>","PeriodicalId":50574,"journal":{"name":"Discrete & Computational Geometry","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2024-02-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139945471","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Computing the Homology Functor on Semi-algebraic Maps and Diagrams","authors":"Saugata Basu, Negin Karisani","doi":"10.1007/s00454-024-00627-z","DOIUrl":"https://doi.org/10.1007/s00454-024-00627-z","url":null,"abstract":"<p>Developing an algorithm for computing the Betti numbers of semi-algebraic sets with singly exponential complexity has been a holy grail in algorithmic semi-algebraic geometry and only partial results are known. In this paper we consider the more general problem of computing the image under the homology functor of a continuous semi-algebraic map <span>(f:X rightarrow Y)</span> between closed and bounded semi-algebraic sets. For every fixed <span>(ell ge 0)</span> we give an algorithm with singly exponential complexity that computes bases of the homology groups <span>(text{ H}_i(X), text{ H}_i(Y))</span> (with rational coefficients) and a matrix with respect to these bases of the induced linear maps <span>(text{ H}_i(f):text{ H}_i(X) rightarrow text{ H}_i(Y), 0 le i le ell )</span>. We generalize this algorithm to more general (zigzag) diagrams of continuous semi-algebraic maps between closed and bounded semi-algebraic sets and give a singly exponential algorithm for computing the homology functors on such diagrams. This allows us to give an algorithm with singly exponential complexity for computing barcodes of semi-algebraic zigzag persistent homology in small dimensions.</p>","PeriodicalId":50574,"journal":{"name":"Discrete & Computational Geometry","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2024-02-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139766220","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Convexity, Elementary Methods, and Distances","authors":"Oliver Roche-Newton, Dmitrii Zhelezov","doi":"10.1007/s00454-023-00625-7","DOIUrl":"https://doi.org/10.1007/s00454-023-00625-7","url":null,"abstract":"<p>This paper considers an extremal version of the Erdős distinct distances problem. For a point set <span>(P subset {mathbb {R}}^d)</span>, let <span>(Delta (P))</span> denote the set of all Euclidean distances determined by <i>P</i>. Our main result is the following: if <span>(Delta (A^d) ll |A|^2)</span> and <span>(d ge 5)</span>, then there exists <span>(A' subset A)</span> with <span>(|A'| ge |A|/2)</span> such that <span>(|A'-A'| ll |A| log |A|)</span>. This is one part of a more general result, which says that, if the growth of <span>(|Delta (A^d)|)</span> is restricted, it must be the case that <i>A</i> has some additive structure. More specifically, for any two integers <i>k</i>, <i>n</i>, we have the following information: if </p><span>$$begin{aligned} | Delta (A^{2k+3})| le |A|^n end{aligned}$$</span><p>then there exists <span>(A' subset A)</span> with <span>(|A'| ge |A|/2)</span> and </p><span>$$begin{aligned} | kA'- kA'| le k^2|A|^{2n-3}log |A|. end{aligned}$$</span><p>These results are higher dimensional analogues of a result of Hanson [4], who considered the two-dimensional case.</p>","PeriodicalId":50574,"journal":{"name":"Discrete & Computational Geometry","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2024-02-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139680311","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Locally Finite Completions of Polyhedral Complexes","authors":"Desmond Coles, Netanel Friedenberg","doi":"10.1007/s00454-024-00629-x","DOIUrl":"https://doi.org/10.1007/s00454-024-00629-x","url":null,"abstract":"<p>We develop a method for subdividing polyhedral complexes in a way that restricts the possible recession cones and allows one to work with a fixed class of polyhedron. We use these results to construct locally finite completions of rational polyhedral complexes whose recession cones lie in a fixed fan, locally finite polytopal completions of polytopal complexes, and locally finite zonotopal completions of zonotopal complexes.</p>","PeriodicalId":50574,"journal":{"name":"Discrete & Computational Geometry","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2024-02-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139677471","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Peeling Sequences","authors":"Adrian Dumitrescu, Géza Tóth","doi":"10.1007/s00454-023-00616-8","DOIUrl":"https://doi.org/10.1007/s00454-023-00616-8","url":null,"abstract":"<p>Given a set of <i>n</i> labeled points in general position in the plane, we remove all of its points one by one. At each step, one point from the convex hull of the remaining set is erased. In how many ways can the process be carried out? The answer obviously depends on the point set. If the points are in convex position, there are exactly <i>n</i>! ways, which is the maximum number of ways for <i>n</i> points. But what is the minimum number? It is shown that this number is (roughly) at least <span>(3^n)</span> and at most <span>(12.29^n)</span>.</p>","PeriodicalId":50574,"journal":{"name":"Discrete & Computational Geometry","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2024-02-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139664084","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Computable Bounds for the Reach and r-Convexity of Subsets of $${{mathbb {R}}}^d$$","authors":"Ryan Cotsakis","doi":"10.1007/s00454-023-00624-8","DOIUrl":"https://doi.org/10.1007/s00454-023-00624-8","url":null,"abstract":"<p>The convexity of a set can be generalized to the two weaker notions of positive reach and <i>r</i>-convexity; both describe the regularity of a set’s boundary. For any compact subset of <span>({{mathbb {R}}}^d)</span>, we provide methods for computing upper bounds on these quantities from point cloud data. The bounds converge to the respective quantities as the sampling scale of the point cloud decreases, and the rate of convergence for the bound on the reach is given under a weak regularity condition. We also introduce the <span>(beta )</span>-reach, a generalization of the reach that excludes small-scale features of size less than a parameter <span>(beta in [0,infty ))</span>. Numerical studies suggest how the <span>(beta )</span>-reach can be used in high-dimension to infer the reach and other geometric properties of smooth submanifolds.</p>","PeriodicalId":50574,"journal":{"name":"Discrete & Computational Geometry","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2024-01-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139589839","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}