English
Related papers

Related papers: Improved lower bound towards Chen-Chv\'atal conjec…

200 papers

Given a non-negative $n \times n$ matrix viewed as a set of distances between $n$ points, we consider the property testing problem of deciding if it is a metric. We also consider the same problem for two special classes of metrics, tree…

Discrete Mathematics · Computer Science 2024-11-15 Yiqiao Bao , Sampath Kannan , Erik Waingarten

In parametric sequence alignment, optimal alignments of two sequences are computed as a function of the penalties for mismatches and spaces, producing many different optimal alignments. Here we give a 3/(2^{7/3}\pi^{2/3})n^{2/3} +O(n^{1/3}…

Genomics · Quantitative Biology 2011-01-19 Cynthia Vinzant

An obstacle representation of a graph $G$ is a set of points in the plane representing the vertices of $G$, together with a set of polygonal obstacles such that two vertices of $G$ are connected by an edge in $G$ if and only if the line…

Combinatorics · Mathematics 2017-07-18 Martin Balko , Josef Cibulka , Pavel Valtr

The purpose of this paper is twofold. First, we provide an optimal $\Omega(\sqrt{n})$ bits lower bound for any two-way protocol for the Vector in Subspace Communication Problem which is of bounded total rank. This result complements Raz's…

Probability · Mathematics 2017-02-01 Uri Grupel

We show that for any finite set $P$ of points in the plane and $\epsilon>0$ there exist $\displaystyle O\left(\frac{1}{\epsilon^{3/2+\gamma}}\right)$ points in ${\mathbb{R}}^2$, for arbitrary small $\gamma>0$, that pierce every convex set…

Combinatorics · Mathematics 2022-07-22 Natan Rubin

An "edge guard set" of a plane graph $G$ is a subset $\Gamma$ of edges of $G$ such that each face of $G$ is incident to an endpoint of an edge in $\Gamma$. Such a set is said to guard $G$. We improve the known upper bounds on the number of…

Computational Geometry · Computer Science 2018-04-20 Ahmad Biniaz , Prosenjit Bose , Aurélien Ooms , Sander Verdonschot

We provide a sharp lower bound for the perimeter of the inner parallel sets of a convex body $\Omega$. The bound depends only on the perimeter and inradius $r$ of the original body and states that \[|\partial\Omega_t| \geq…

Metric Geometry · Mathematics 2020-05-05 Simon Larson

We strengthen the connections between electrical transformations and homotopy from the planar setting---observed and studied since Steinitz---to arbitrary surfaces with punctures. As a result, we improve our earlier lower bound on the…

Computational Geometry · Computer Science 2019-03-27 Hsien-Chih Chang , Marcos Cossarini , Jeff Erickson

We use the concept of production matrices to show that there exist sets of $n$ points in the plane that admit $\Omega(42.11^n)$ crossing-free geometric graphs. This improves the previously best known bound of $\Omega(41.18^n)$ by Aichholzer…

Computational Geometry · Computer Science 2019-02-27 Clemens Huemer , Alexander Pilz , Rodrigo I. Silveira

For an input graph $G$, an additive spanner is a sparse subgraph $H$ whose shortest paths match those of $G$ up to small additive error. We prove two new lower bounds in the area of additive spanners: 1) We construct $n$-node graphs $G$ for…

Data Structures and Algorithms · Computer Science 2022-10-07 Greg Bodwin , Gary Hoppenworth

Chung and Graham [J. London Math. Soc., 1983] claimed that there exists an $n$-vertex graph $G$ containing all $n$-vertex trees as subgraphs that has at most $\frac{5}{2}n \log_2 n + O(n)$ edges. We identify an error in their proof. This…

Combinatorics · Mathematics 2025-12-02 Jaehoon Kim , Minseo Kim

Consider the problem of finding a point in an n-point metric space with the minimum average distance to all points. We show that this problem has no deterministic $o(n^2)$-query $(4-\Omega(1))$-approximation algorithms.

Data Structures and Algorithms · Computer Science 2014-01-13 Ching-Lueh Chang

Reed's $\omega$, $\Delta$, $\chi$ conjecture proposes that every graph satisfies $\chi\leq \lceil\frac 12(\Delta+1+\omega)\rceil$; it is known to hold for all claw-free graphs. In this paper we consider a local strengthening of this…

Discrete Mathematics · Computer Science 2011-11-30 Maria Chudnovsky , Andrew D. King , Matthieu Plumettaz , Paul Seymour

Erd\H{o}s conjectured that every triangle-free graph $G$ on $n$ vertices contains a set of $\lfloor n/2 \rfloor$ vertices that spans at most $n^2 /50$ edges. Krivelevich proved the conjecture for graphs with minimum degree at least…

Combinatorics · Mathematics 2015-02-12 Sergey Norin , Liana Yepremyan

We study the space complexity of sketching cuts and Laplacian quadratic forms of graphs. We show that any data structure which approximately stores the sizes of all cuts in an undirected graph on $n$ vertices up to a $1+\epsilon$ error must…

Data Structures and Algorithms · Computer Science 2018-01-01 Charles Carlson , Alexandra Kolla , Nikhil Srivastava , Luca Trevisan

We prove the first nontrivial worst-case lower bounds for two closely related problems. First, $\Omega(n^{3/2})$ degree-1 reductions, series-parallel reductions, and $\Delta$Y transformations are required in the worst case to reduce an…

Computational Geometry · Computer Science 2015-10-05 Hsien-Chih Chang , Jeff Erickson

Chung and Graham [J. London Math. Soc. 1983] claimed to prove that there exists an $n$-vertex graph $G$ with $ \frac{5}{2}n \log_2 n + O(n)$ edges that contains every $n$-vertex tree as a subgraph. Frati, Hoffmann and T\'oth [Combin.…

Combinatorics · Mathematics 2026-02-04 Neel Kaul , Jaehoon Kim , Minseo Kim , David R. Wood

A simple probabilistic argument shows that every $r$-uniform hypergraph with $m$ edges contains an $r$-partite subhypergraph with at least $\frac{r!}{r^r}m$ edges. The celebrated result of Edwards states that in the case of graphs, that is…

Combinatorics · Mathematics 2025-06-18 Eero Räty , István Tomon

We extend (and somewhat simplify) the algebraic proof technique of Guth and Katz \cite{GK}, to obtain several sharp bounds on the number of incidences between lines and points in three dimensions. Specifically, we show: (i) The maximum…

Computational Geometry · Computer Science 2009-05-12 György Elekes , Haim Kaplan , Micha Sharir

In this paper, we give a lengthy proof of a small result! A graph is bisplit if its vertex set can be partitioned into three stable sets with two of them inducing a complete bipartite graph. We prove that these graphs satisfy the…

Discrete Mathematics · Computer Science 2023-06-22 Laurent Beaudou , Giacomo Kahn , Matthieu Rosenfeld