English
Related papers

Related papers: Optimality program in segment and string graphs

200 papers

We prove that with high probability over the choice of a random graph $G$ from the Erd\H{o}s-R\'enyi distribution $G(n,1/2)$, a natural $n^{O(\varepsilon^2 \log n)}$-time, degree $O(\varepsilon^2 \log n)$ sum-of-squares semidefinite program…

Computational Complexity · Computer Science 2021-05-18 Pravesh K. Kothari , Peter Manohar

Given in the plane a set of points and a set of halfplanes, we consider the problem of computing a smallest subset of halfplanes whose union covers all points. In this paper, we present an $O(n^{4/3}\log^{5/3}n\log^{O(1)}\log n)$-time…

Computational Geometry · Computer Science 2024-02-27 Haitao Wang , Jie Xue

Subdividing an edge $uv$ in a graph replaces it by a path $u w v$ with one new vertex. For a graph $H$, the \textsc{$H$-free Subdivision} problem asks whether, given a graph $G$ and an integer $k$, one can destroy all induced copies of $H$…

Data Structures and Algorithms · Computer Science 2026-04-28 Marta Piecyk , R. B. Sandeep

Brooks' theorem states that all connected graphs but odd cycles and cliques can be colored with $\Delta$ colors, where $\Delta$ is the maximum degree of the graph. Such colorings have been shown to admit non-trivial distributed algorithms…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-03-07 Yann Bourreau , Sebastian Brandt , Alexandre Nolin

Lokshtanov, Marx, and Saurabh SODA 2011 proved that there is no $(k-\epsilon)^{\operatorname{pw}(G)}\operatorname{poly}(n)$ time algorithm for deciding if an $n$-vertex graph $G$ with pathwidth $\operatorname{pw}(G)$ admits a proper vertex…

Data Structures and Algorithms · Computer Science 2015-07-10 Andreas Björklund

In this paper, we consider algorithms for edge-coloring multigraphs $G$ of bounded maximum degree, i.e., $\Delta(G) = O(1)$. Shannon's theorem states that any multigraph of maximum degree $\Delta$ can be properly edge-colored with…

Data Structures and Algorithms · Computer Science 2023-10-31 Abhishek Dhawan

In the Hedge Cut problem, the edges of a graph are partitioned into groups called hedges, and the question is what is the minimum number of hedges to delete to disconnect the graph. Ghaffari, Karger, and Panigrahi [SODA 2017] showed that…

Data Structures and Algorithms · Computer Science 2024-10-24 Fedor V. Fomin , Petr A. Golovach , Tuukka Korhonen , Daniel Lokshtanov , Saket Saurabh

Let $\mathcal{C}$ and $\mathcal{D}$ be hereditary graph classes. Consider the following problem: given a graph $G\in\mathcal{D}$, find a largest, in terms of the number of vertices, induced subgraph of $G$ that belongs to $\mathcal{C}$. We…

Computational Complexity · Computer Science 2019-10-03 Jana Novotná , Karolina Okrasa , Michał Pilipczuk , Paweł Rzążewski , Erik Jan van Leeuwen , Bartosz Walczak

Subgraph Isomorphism is a very basic graph problem, where given two graphs $G$ and $H$ one is to check whether $G$ is a subgraph of $H$. Despite its simple definition, the Subgraph Isomorphism problem turns out to be very broad, as it…

Data Structures and Algorithms · Computer Science 2015-04-14 Marek Cygan , Jakub Pachocki , Arkadiusz Socała

The landscape of the distributed time complexity is nowadays well-understood for subpolynomial complexities. When we look at deterministic algorithms in the LOCAL model and locally checkable problems (LCLs) in bounded-degree graphs, the…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-03-26 Alkida Balliu , Sebastian Brandt , Dennis Olivetti , Jukka Suomela

We provide an algorithm that, given an $n$-vertex $m$-edge Eulerian graph with polynomially bounded weights, computes an $\breve{O}(n\log^{2} n \cdot \varepsilon^{-2})$-edge $\varepsilon$-approximate Eulerian sparsifier with high…

Data Structures and Algorithms · Computer Science 2024-08-20 Arun Jambulapati , Sushant Sachdeva , Aaron Sidford , Kevin Tian , Yibin Zhao

Research of cycles through specific vertices is a central topic in graph theory. In this context, we focus on a well-studied computational problem, \textsc{$T$-Cycle}: given an undirected $n$-vertex graph $G$ and a set of $k$ vertices…

Data Structures and Algorithms · Computer Science 2025-04-29 Harmender Gahlawat , Abhishek Rathod , Meirav Zehavi

We prove that unless the Exponential Time Hypothesis (ETH) fails, deciding if there is a homomorphism from graph $G$ to graph $H$ cannot be done in time $|V(H)|^{o(|V(G)|)}$. We also show an exponential-time reduction from Graph…

Data Structures and Algorithms · Computer Science 2016-02-17 Marek Cygan , Fedor V. Fomin , Alexander Golovnev , Alexander S. Kulikov , Ivan Mihajlin , Jakub Pachocki , Arkadiusz Socała

We provide a general framework to exclude parameterized running times of the form $O(\ell^\beta+ n^\gamma)$ for problems that have polynomial running time lower bounds under hypotheses from fine-grained complexity. Our framework is based on…

Data Structures and Algorithms · Computer Science 2023-01-09 Klaus Heeger , André Nichterlein , Rolf Niedermeier

We show that given an $n$-vertex graph $G$ of diameter 3 we can decide if $G$ is $3$-colourable in time $2^{O(n^{2/3-\varepsilon})}$ for any $\varepsilon < 1/33$. This improves on the previous best algorithm of $2^{O((n\log n)^{2/3})}$ from…

Combinatorics · Mathematics 2026-05-26 Carla Groenland , Hidde Koerts , Sophie Spirkl

The fastest known classical algorithm deciding the $k$-colorability of $n$-vertex graph requires running time $\Omega(2^n)$ for $k\ge 5$. In this work, we present an exponential-space quantum algorithm computing the chromatic number with…

Data Structures and Algorithms · Computer Science 2019-07-02 Kazuya Shimizu , Ryuhei Mori

Locally Checkable Labeling (LCL) problems include essentially all the classic problems of $\mathsf{LOCAL}$ distributed algorithms. In a recent enlightening revelation, Chang and Pettie [arXiv 1704.06297] showed that any LCL (on bounded…

Data Structures and Algorithms · Computer Science 2017-05-17 Manuela Fischer , Mohsen Ghaffari

We consider the problem of coloring a 3-colorable graph in polynomial time using as few colors as possible. We present a combinatorial algorithm getting down to $\tO(n^{4/11})$ colors. This is the first combinatorial improvement of Blum's…

Discrete Mathematics · Computer Science 2012-05-08 Ken-ichi Kawarabayashi , Mikkel Thorup

We present semi-streaming algorithms for basic graph problems that have optimal per-edge processing times and therefore surpass all previous semi-streaming algorithms for these tasks. The semi-streaming model, which is appropriate when…

Discrete Mathematics · Computer Science 2007-09-03 Mariano Zelke

In this paper we investigate the existence of subexponential parameterized algorithms of three fundamental cycle-hitting problems in geometric graph classes. The considered problems, \textsc{Triangle Hitting} (TH), \textsc{Feedback Vertex…

Data Structures and Algorithms · Computer Science 2024-04-17 Gaétan Berthe , Marin Bougeret , Daniel Gonçalves , Jean-Florent Raymond