English
Related papers

Related papers: Efficiently Enumerating Hitting Sets of Hypergraph…

200 papers

In 1996, Karger [Kar96] gave a startling randomized algorithm that finds a minimum-cut in a (weighted) graph in time $O(m\log^3n)$ which he termed near-linear time meaning linear (in the size of the input) times a polylogarthmic factor. In…

Data Structures and Algorithms · Computer Science 2024-01-12 Monika Henzinger , Jason Li , Satish Rao , Di Wang

We study the complexity of the Hitting Set problem in set systems (hypergraphs) that avoid certain sub-structures. In particular, we characterize the classical and parameterized complexity of the problem when the Vapnik-Chervonenkis…

Data Structures and Algorithms · Computer Science 2016-06-22 Karl Bringmann , László Kozma , Shay Moran , N. S. Narayanaswamy

Subexponential parameterized algorithms are known for a wide range of natural problems on planar graphs, but the techniques are usually highly problem specific. The goal of this paper is to introduce a framework for obtaining…

Data Structures and Algorithms · Computer Science 2021-10-29 Dániel Marx , Pranabendu Misra , Daniel Neuen , Prafullkumar Tale

Roman domination is one of few examples where the related extension problem is polynomial-time solvable even if the original decision problem is NP-complete. This is interesting, as it allows to establish polynomial-delay enumeration…

Computational Complexity · Computer Science 2023-02-23 Henning Fernau , Kevin Mann

Randomized parallel algorithms for many fundamental problems achieve optimal linear work in expectation, but upgrading this guarantee to hold with high probability (whp) remains a recurring theoretical challenge. In this paper, we address…

Data Structures and Algorithms · Computer Science 2026-03-03 Chase Hutton , Adam Melrod

We present a series of almost settled inapproximability results for three fundamental problems. The first in our series is the subexponential-time inapproximability of the maximum independent set problem, a question studied in the area of…

Computational Complexity · Computer Science 2013-08-20 Parinya Chalermsook , Bundit Laekhanukit , Danupon Nanongkai

We consider the family of $\Phi$-Subset problems, where the input consists of an instance $I$ of size $N$ over a universe $U_I$ of size $n$ and the task is to check whether the universe contains a subset with property $\Phi$ (e.g., $\Phi$…

Data Structures and Algorithms · Computer Science 2017-04-27 Serge Gaspers , Edward Lee

We revisit Min-Mean-Cycle, the classical problem of finding a cycle in a weighted directed graph with minimum mean weight. Despite an extensive algorithmic literature, previous work falls short of a near-linear runtime in the number of…

Data Structures and Algorithms · Computer Science 2023-10-03 Jason M. Altschuler , Pablo A. Parrilo

Given a simple connected undirected graph G = (V, E), a set X \subseteq V(G), and integers k and p, STEINER SUBGRAPH EXTENSION problem asks if there exists a set S \supseteq X with at most k vertices such that G[S] is p-edge-connected. This…

Data Structures and Algorithms · Computer Science 2025-10-07 Eduard Eiben , Diptapriyo Majumdar , M. S. Ramanujan

In this paper, we present exact exponential algorithms for computing branchwidth that are fast both in theory and in practice. The running times of these algorithms are single-exponential in the number of vertices. Our basic algorithm is…

Data Structures and Algorithms · Computer Science 2026-05-19 Taiki Kaneda , Yasuaki Kobayashi , Hisao Tamaki

An output-polynomial algorithm for the listing of minimal dominating sets in graphs is a challenging open problem and is known to be equivalent to the well-known Transversal problem which asks for an output-polynomial algorithm for listing…

Data Structures and Algorithms · Computer Science 2014-07-09 Mamadou Moustapha Kanté , Vincent Limouzy , Arnaud Mary , Lhouari Nourine , Takeaki Uno

Given a hypergraph $\mathcal{H}$, the dual hypergraph of $\mathcal{H}$ is the hypergraph of all minimal transversals of $\mathcal{H}$. The dual hypergraph is always Sperner, that is, no hyperedge contains another. A special case of Sperner…

Combinatorics · Mathematics 2024-05-13 Endre Boros , Vladimir Gurvich , Martin Milanič , Yushi Uno

Many hard graph problems, such as Hamiltonian Cycle, become FPT when parameterized by treewidth, a parameter that is bounded only on sparse graphs. When parameterized by the more general parameter clique-width, Hamiltonian Cycle becomes…

Data Structures and Algorithms · Computer Science 2014-11-24 Sigve Hortemo Sæther

In this paper, we are interested in algorithms that take in input an arbitrary graph $G$, and that enumerate in output all the (inclusion-wise) maximal "subgraphs" of $G$ which fulfil a given property $\Pi$. All over this paper, we study…

Discrete Mathematics · Computer Science 2023-03-09 Caroline Brosse , Aurélie Lagoutte , Vincent Limouzy , Arnaud Mary , Lucas Pastor

We give almost tight conditional lower bounds on the running time of the kHyperPath problem. Given an $r$-uniform hypergraph for some integer $r$, kHyperPath seeks a tight path of length $k$. That is, a sequence of $k$ nodes such that every…

Data Structures and Algorithms · Computer Science 2019-02-20 Lior Kamma , Ohad Trabelsi

For a class $\mathcal{H}$ of graphs, #Sub$(\mathcal{H})$ is the counting problem that, given a graph $H\in \mathcal{H}$ and an arbitrary graph $G$, asks for the number of subgraphs of $G$ isomorphic to $H$. It is known that if $\mathcal{H}$…

Computational Complexity · Computer Science 2014-07-11 Radu Curticapean , Dániel Marx

Hypergraph clustering is a basic algorithmic primitive for analyzing complex datasets and systems characterized by multiway interactions, such as group email conversations, groups of co-purchased retail products, and co-authorship data.…

Data Structures and Algorithms · Computer Science 2023-01-31 Nate Veldt

The minimum degree algorithm is one of the most widely-used heuristics for reducing the cost of solving large sparse systems of linear equations. It has been studied for nearly half a century and has a rich history of bridging techniques…

Data Structures and Algorithms · Computer Science 2023-04-11 Robert Cummings , Matthew Fahrbach , Animesh Fatehpuria

We give a deterministic algorithm for finding the minimum (weight) cut of an undirected graph on $n$ vertices and $m$ edges using $\text{polylog}(n)$ calls to any maximum flow subroutine. Using the current best deterministic maximum flow…

Data Structures and Algorithms · Computer Science 2022-05-31 Jason Li , Debmalya Panigrahi

We consider the Hypergraph-$k$-cut problem. The input consists of a hypergraph $G=(V,E)$ with non-negative hyperedge-costs $c: E\rightarrow R_+$ and a positive integer $k$. The objective is to find a least-cost subset $F\subseteq E$ such…

Data Structures and Algorithms · Computer Science 2020-09-29 Karthekeyan Chandrasekaran , Chandra Chekuri