English
Related papers

Related papers: Treewidth Inapproximability and Tight ETH Lower Bo…

200 papers

Enumerating the minimal hitting sets of a hypergraph is a problem which arises in many data management applications that include constraint mining, discovering unique column combinations, and enumerating database repairs. Previously, Eiter…

Databases · Computer Science 2025-01-28 Batya Kenig , Dan Shlomo Mizrahi

Among the most fundamental graph parameters is the Diameter, the largest distance between any pair of vertices. Computing the Diameter of a graph with $m$ edges requires $m^{2-o(1)}$ time under the Strong Exponential Time Hypothesis (SETH),…

Data Structures and Algorithms · Computer Science 2020-11-12 Mina Dalirrooyfard , Nicole Wein

In this article we study the treewidth of the \emph{display graph}, an auxiliary graph structure obtained from the fusion of phylogenetic (i.e., evolutionary) trees at their leaves. Earlier work has shown that the treewidth of the display…

Discrete Mathematics · Computer Science 2017-04-03 Steven Kelk , Georgios Stamoulis , Taoyang Wu

We consider the polyhedral properties of two spanning tree problems with additional constraints. In the first problem, it is required to find a tree with a minimum sum of edge weights among all spanning trees with the number of leaves less…

Combinatorics · Mathematics 2018-02-16 Vladimir Bondarenko , Andrei Nikolaev , Dzhambolet Shovgenov

An added edge to a graph is called an inset edge. Predicting k inset edges which minimize the average distance of a graph is known to be NP-Hard. However, when k = 1 the complexity of the problem is polynomial. In this paper, some tools for…

Computational Complexity · Computer Science 2020-08-14 M. H. Khalifeh , A. -H. Esfahanian

We introduce techniques for proving superlinear conditional lower bounds for polynomial time problems. In particular, we show that CircuitSAT for circuits with m gates and log(m) inputs (denoted by log-CircuitSAT) is not decidable in…

Computational Complexity · Computer Science 2022-05-18 András Z. Salamon , Michael Wehar

Given a simple, unweighted, undirected graph $G=(V,E)$ with $|V|=n$ and $|E|=m$, and parameters $0 < \varepsilon, \delta <1$, along with \texttt{Degree}, \texttt{Neighbour}, \texttt{Edge} and \texttt{RandomEdge} query access to $G$, we…

Data Structures and Algorithms · Computer Science 2025-02-24 Arijit Bishnu , Debarshi Chanda , Gopinath Mishra

An $\alpha$-thin tree $T$ of a graph $G$ is a spanning tree such that every cut of $G$ has at most an $\alpha$ proportion of its edges in $T$. The Thin Tree Conjecture proposes that there exists a function $f$ such that for any $\alpha >…

Computational Complexity · Computer Science 2026-01-01 Alice Moayyedi

We consider the NP-hard problem of finding a spanning tree with a maximum number of internal vertices. This problem is a generalization of the famous Hamiltonian Path problem. Our dynamic-programming algorithms for general and…

Data Structures and Algorithms · Computer Science 2009-06-12 Henning Fernau , Serge Gaspers , Daniel Raible

This work presents novel algorithms for learning Bayesian network structures with bounded treewidth. Both exact and approximate methods are developed. The exact method combines mixed-integer linear programming formulations for structure…

Artificial Intelligence · Computer Science 2014-06-09 Siqi Nie , Denis Deratani Maua , Cassio Polpo de Campos , Qiang Ji

We study the notion of local treewidth in sparse random graphs: the maximum treewidth over all $k$-vertex subgraphs of an $n$-vertex graph. When $k$ is not too large, we give nearly tight bounds for this local treewidth parameter; we also…

Data Structures and Algorithms · Computer Science 2022-07-18 Hermish Mehta , Daniel Reichman

De Berg et al. in [SICOMP 2020] gave an algorithmic framework for subexponential algorithms on geometric graphs with tight (up to ETH) running times. This framework is based on dynamic programming on graphs of weighted treewidth resulting…

Data Structures and Algorithms · Computer Science 2021-07-15 Fedor V. Fomin , Petr A. Golovach , Tanmay Inamdar , Saket Saurabh

The Tree Augmentation Problem (TAP) is a fundamental network design problem in which we are given a tree and a set of additional edges, also called \emph{links}. The task is to find a set of links, of minimum size, whose addition to the…

Data Structures and Algorithms · Computer Science 2018-04-09 Fabrizio Grandoni , Christos Kalaitzis , Rico Zenklusen

The treewidth of a graph is an important invariant in structural and algorithmic graph theory. This paper studies the treewidth of line graphs. We show that determining the treewidth of the line graph of a graph $G$ is equivalent to…

Combinatorics · Mathematics 2014-09-25 Daniel J. Harvey , David R. Wood

Given an $n$-vertex non-negatively real-weighted graph $G$, whose vertices are partitioned into a set of $k$ clusters, a \emph{clustered network design problem} on $G$ consists of solving a given network design optimization problem on $G$,…

Data Structures and Algorithms · Computer Science 2018-02-01 Mattia D'Emidio , Luca Forlizzi , Daniele Frigioni , Stefano Leucci , Guido Proietti

The Minimum Size Tree Decomposition (MSTD) and Minimum Size Path Decomposition (MSPD) problems ask for a given n-vertex graph G and integer k, what is the minimum number of bags of a tree decomposition (respectively, path decomposition) of…

Data Structures and Algorithms · Computer Science 2016-05-05 Hans L. Bodlaender , Jesper Nederlof

We investigate whether an n-vertex instance (G,k) of Treewidth, asking whether the graph G has treewidth at most k, can efficiently be made sparse without changing its answer. By giving a special form of OR-cross-composition, we prove that…

Computational Complexity · Computer Science 2013-08-19 Bart M. P. Jansen

Given two sets of points in the plane, $P$ of $n$ terminals and $S$ of $m$ Steiner points, a Steiner tree of $P$ is a tree spanning all points of $P$ and some (or none or all) points of $S$. A Steiner tree with length of longest edge…

Computational Geometry · Computer Science 2010-12-08 A. Karim Abu-Affash

In the Densest $k$-Subgraph problem, given an undirected graph $G$ and an integer $k$, the goal is to find a subgraph of $G$ on $k$ vertices that contains maximum number of edges. Even though the state-of-the-art algorithm for the problem…

Computational Complexity · Computer Science 2017-04-11 Pasin Manurangsi

We study search trees with 2-way comparisons (2WCST's), which involve separate less-than and equal-to tests in their nodes, each test having two possible outcomes, yes and no. These trees have a much subtler structure than standard search…

Data Structures and Algorithms · Computer Science 2023-12-08 Sunny Atalig , Marek Chrobak