English
Related papers

Related papers: Hardness of approximation for crossing number

200 papers

$\newcommand{\eps}{\varepsilon} $We prove that for any $\eps > 0$ it is $\textsf{NP}$-hard to approximate the non-commutative Grothendieck problem to within a factor $1/2 + \eps$, which matches the approximation ratio of the algorithm of…

Computational Complexity · Computer Science 2022-02-22 Jop Briët , Oded Regev , Rishi Saket

A graph $H$ is single-crossing if it can be drawn in the plane with at most one crossing. For any single-crossing graph $H$, we give an $O(n^4)$ time algorithm for counting perfect matchings in graphs excluding $H$ as a minor. The runtime…

Data Structures and Algorithms · Computer Science 2014-06-17 Radu Curticapean

We prove the #P-hardness of the counting problems associated with various satisfiability, graph and combinatorial problems, when restricted to planar instances. These problems include \begin{romannum} \item[{}] {\sc 3Sat, 1-3Sat, 1-Ex3Sat,…

Computational Complexity · Computer Science 2007-05-23 Harry B. Hunt , Madhav V. Marathe , Venkatesh Radhakrishnan , Richard E. Stearns

A matching is a set of edges without common endpoint. It was recently shown that every 1-planar graph (i.e., a graph that can be drawn in the plane with at most one crossing per edge) that has minimum degree 3 has a matching of size at…

Computational Geometry · Computer Science 2020-03-19 Therese Biedl , Fabian Klute

We study a combinatorial problem called Minimum Maximal Matching, where we are asked to find in a general graph the smallest that can not be extended. We show that this problem is hard to approximate with a constant smaller than 2, assuming…

Computational Complexity · Computer Science 2018-11-22 Szymon Dudycz , Mateusz Lewandowski , Jan Marcinkowski

We present a deterministic $n^{2+o(1)}$-time algorithm that approximates the crossing number of any graph $G$ of order $n$ up to an additive error of $o(n^4)$. We also provide a randomized polynomial-time algorithm that constructs a drawing…

Combinatorics · Mathematics 2025-01-13 Oriol Solé-Pi

A crossing-free morph is a continuous deformation between two graph drawings that preserves straight-line pairwise noncrossing edges. Motivated by applications in 3D morphing problems, we initiate the study of morphing graph drawings in the…

Computational Geometry · Computer Science 2026-01-21 Oksana Firman , Tim Hegemann , Boris Klemz , Felix Klesen , Marie Diana Sieper , Alexander Wolff , Johannes Zink

We prove that the exact crossing number of a graph can be efficiently computed for simple graphs having bounded vertex cover. In more precise words, Crossing Number is in FPT when parameterized by the vertex cover size. This is a notable…

Discrete Mathematics · Computer Science 2019-09-06 Petr Hliněný , Abhisekh Sankaran

We prove that if $A\subset \{1,\dots,N\}$ has no nontrivial three-term arithmetic progressions, then $|A|\leq \exp(-c\log(N)^{1/6}\log\log(N)^{-1})N$ for some absolute constant $c>0$. To obtain this bound, we use an iterated variant of the…

Number Theory · Mathematics 2026-05-18 Rushil Raghavan

We show that for any non-real algebraic number $q$ such that $|q-1|>1$ or $\Re(q)>\frac{3}{2}$ it is \textsc{\#P}-hard to compute a multiplicative (resp. additive) approximation to the absolute value (resp. argument) of the chromatic…

Computational Complexity · Computer Science 2023-11-14 Ferenc Bencs , Jeroen Huijben , Guus Regts

The biplanar crossing number of a graph $G$ is the minimum number of crossings over all possible drawings of the edges of $G$ in two disjoint planes. We present new bounds on the biplanar crossing number of complete graphs and complete…

Computational Geometry · Computer Science 2021-07-08 Alireza Shavali , Hamid Zarrabi-Zadeh

Let $d\geq 3$ be a constant and let $F$ be a $d$-regular graph on $[n]$ with not too many symmetries. By the union bound, the probability threshold for the existence of a spanning subgraph in $G(n,p)$ isomorphic to $F$ is at least…

Combinatorics · Mathematics 2023-03-10 Maksim Zhukovskii

In the 1960s, statistical physicists discovered a fascinating algorithm for counting perfect matchings in planar graphs. Valiant later showed that the same problem is #P-hard for general graphs. Since then, the algorithm for planar graphs…

Computational Complexity · Computer Science 2021-08-31 Radu Curticapean , Mingji Xia

We study the complexity of approximating the permanent of a positive semidefinite matrix $A\in \mathbb{C}^{n\times n}$. 1. We design a new approximation algorithm for $\mathrm{per}(A)$ with approximation ratio $e^{(0.9999 + \gamma)n}$,…

Data Structures and Algorithms · Computer Science 2024-04-18 Farzam Ebrahimnejad , Ansh Nagda , Shayan Oveis Gharan

Computing the Euler genus of a graph is a fundamental problem in graph theory and topology. It has been shown to be NP-hard by [Thomassen '89] and a linear-time fixed-parameter algorithm has been obtained by [Mohar '99]. Despite extensive…

Data Structures and Algorithms · Computer Science 2014-12-05 Ken-ichi Kawarabayashi , Anastasios Sidiropoulos

Consider the triangle-free graph process, which starts from the empty graph on $n$ vertices and a random ordering of the possible ${n \choose 2}$ edges; the edges are added in this ordering provided the graph remains triangle free. We will…

Combinatorics · Mathematics 2010-02-12 Stefanie Gerke , Tamás Makai

Let $P$ be a finite point set in the plane. A \emph{$c$-ordinary triangle} in $P$ is a subset of $P$ consisting of three non-collinear points such that each of the three lines determined by the three points contains at most $c$ points of…

Given an undirected graph with edge costs and edge demands, the Capacitated Arc Routing problem (CARP) asks for minimum-cost routes for equal-capacity vehicles so as to satisfy all demands. Constant-factor polynomial-time approximation…

Data Structures and Algorithms · Computer Science 2014-07-15 René van Bevern , Sepp Hartung , André Nichterlein , Manuel Sorge

The crossing resolution of a non-planar drawing of a graph is the value of the minimum angle formed by any pair of crossing edges. Recent experiments have shown that the larger the crossing resolution is, the easier it is to read and…

Data Structures and Algorithms · Computer Science 2018-09-03 Michael A. Bekos , Henry Förster , Christian Geckeler , Lukas Holländer , Michael Kaufmann , Amadäus M. Spallek , Jan Splett

It is well known that any graph admits a crossing-free straight-line drawing in $\mathbb{R}^3$ and that any planar graph admits the same even in $\mathbb{R}^2$. For a graph $G$ and $d \in \{2,3\}$, let $\rho^1_d(G)$ denote the smallest…

Computational Complexity · Computer Science 2024-03-04 Steven Chaplick , Krzysztof Fleszar , Fabian Lipp , Alexander Ravsky , Oleg Verbitsky , Alexander Wolff