English
Related papers

Related papers: Solving Hamiltonian Cycle by an EPT Algorithm for …

200 papers

For graphs $G$ and $H$, a \emph{homomorphism} from $G$ to $H$ is an edge-preserving mapping from the vertex set of $G$ to the vertex set of $H$. For a fixed graph $H$, by \textsc{Hom($H$)} we denote the computational problem which asks…

Computational Complexity · Computer Science 2020-02-20 Karolina Okrasa , Paweł Rzążewski

We consider the well-studied problem of finding a spanning tree with minimum average distance between vertex pairs (called a MAD tree). This is a classic network design problem which is known to be NP-hard. While approximation algorithms…

Data Structures and Algorithms · Computer Science 2026-04-01 Tom-Lukas Breitkopf , Vincent Froese , Anton Herrmann , André Nichterlein , Camille Richer

We study two variants of \textsc{Maximum Cut}, which we call \textsc{Connected Maximum Cut} and \textsc{Maximum Minimal Cut}, in this paper. In these problems, given an unweighted graph, the goal is to compute a maximum cut satisfying some…

Data Structures and Algorithms · Computer Science 2019-08-12 Hiroshi Eto , Tesshu Hanaka , Yasuaki Kobayashi , Yusuke Kobayashi

We present a matching and LP based heuristic algorithm that decides graph non-Hamiltonicity. Each of the $n!$ Hamilton cycles in a complete directed graph on $n+1$ vertices corresponds with each of the $n!$ $n$-permutation matrices $P$,…

Data Structures and Algorithms · Computer Science 2016-11-09 E. R. Swart , S. J. Gismondi , N. R. Swart , C. E. Bell , A. Lee

For any particular class of graphs, algorithms for computational problems restricted to the class often rely on structural properties that depend on the specific problem at hand. This begs the question if a large set of such results can be…

In this paper, we design a framework to obtain efficient algorithms for several problems with a global constraint (acyclicity or connectivity) such as Connected Dominating Set, Node Weighted Steiner Tree, Maximum Induced Tree, Longest…

Data Structures and Algorithms · Computer Science 2023-10-10 Benjamin Bergougnoux , Mamadou Moustapha Kanté

Given an $n$-vertex $m$-edge graph $G$ with non negative edge-weights, the girth of $G$ is the weight of a shortest cycle in $G$. For any graph $G$ with polynomially bounded integer weights, we present a deterministic algorithm that…

Data Structures and Algorithms · Computer Science 2018-10-25 Guillaume Ducoffe

In this paper, we provide polynomial-time algorithms for different extensions of the matching counting problem, namely maximal matchings, path matchings (linear forest) and paths, on graph classes of bounded clique-width. For maximal…

Discrete Mathematics · Computer Science 2018-06-05 Benjamin Hellouin de Menibus , Takeaki Uno

Many computational problems admit fast algorithms on special inputs, however, the required properties might be quite restrictive. E.g., many graph problems can be solved much faster on interval or cographs, or on graphs of small…

Data Structures and Algorithms · Computer Science 2022-09-30 Stefan Kratsch , Florian Nelles

We revisit several maximization problems for geometric networks design under the non-crossing constraint, first studied by Alon, Rajagopalan and Suri (ACM Symposium on Computational Geometry, 1993). Given a set of $n$ points in the plane in…

Computational Geometry · Computer Science 2010-02-03 Adrian Dumitrescu , Csaba D. Tóth

Covering and partitioning the edges of a graph into cliques are classical problems at the intersection of combinatorial optimization and graph theory, having been studied through a range of algorithmic and complexity-theoretic lenses.…

Data Structures and Algorithms · Computer Science 2025-06-27 Fedor V. Fomin , Petr A. Golovach , Danil Sagunov , Kirill Simonov

The transversal hypergraph problem is the task of enumerating the minimal hitting sets of a hypergraph. It is a long-standing open question whether this can be done in output-polynomial time. For hypergraphs whose solutions have bounded…

Data Structures and Algorithms · Computer Science 2021-10-25 Thomas Bläsius , Tobias Friedrich , Julius Lischeid , Kitty Meeks , Martin Schirneck

We introduce a logic called distance neighborhood logic with acyclicity and connectivity constraints ($\mathsf{A\&C~DN}$ for short) which extends existential $\mathsf{MSO_1}$ with predicates for querying neighborhoods of vertex sets and for…

Data Structures and Algorithms · Computer Science 2022-12-09 Benjamin Bergougnoux , Jan Dreier , Lars Jaffke

Dynamic programming over tree decompositions is a common technique in parameterized algorithms. In this paper, we study whether this technique can also be applied to compute Pareto sets of multiobjective optimization problems. We first…

Data Structures and Algorithms · Computer Science 2025-09-09 Joshua Könen , Heiko Röglin , Tarek Stuck

Cycle packing is a fundamental problem in optimization, graph theory, and algorithms. Motivated by recent advancements in finding vertex-disjoint paths between a specified set of vertices that either minimize the total length of the paths…

Data Structures and Algorithms · Computer Science 2024-10-28 Matthias Bentert , Fedor V. Fomin , Petr A. Golovach , Tuukka Korhonen , William Lochet , Fahad Panolan , M. S. Ramanujan , Saket Saurabh , Kirill Simonov

A $(\beta,\delta,\Delta)$-padded decomposition of an edge-weighted graph $G = (V,E,w)$ is a stochastic decomposition into clusters of diameter at most $\Delta$ such that for every vertex $v\in V$, the probability that…

Data Structures and Algorithms · Computer Science 2025-10-15 Arnold Filtser , Tobias Friedrich , Davis Issac , Nikhil Kumar , Hung Le , Nadym Mallek , Ziena Zeif

Temporal graphs are introduced to model systems where the relationships among the entities of the system evolve over time. In this paper, we consider the temporal graphs where the edge set changes with time and all the changes are known a…

Data Structures and Algorithms · Computer Science 2025-08-15 Rinku Kumar , Bodhisatwa Mazumdar , Subhrangsu Mandal

Finding a cycle of lowest weight that represents a homology class in a simplicial complex is known as homology localization (HL). Here we address this NP-complete problem using parameterized complexity theory. We show that it is W[1]-hard…

Computational Geometry · Computer Science 2020-12-01 Nello Blaser , Erlend Raa Vågset

We prove that Hamiltonian Path and Hamiltonian Cycle are NP-hard on graphs of linear mim-width 26, even when a linear order of the input graph with mim-width 26 is provided together with input. This fills a gap left by a broken proof of the…

Computational Complexity · Computer Science 2025-10-13 Benjamin Bergougnoux , Lars Jaffke

We propose an improved algorithm for counting the number of Hamiltonian cycles in a directed graph. The basic idea of the method is sequential acceptance/rejection, which is successfully used in approximating the number of perfect matchings…

Data Structures and Algorithms · Computer Science 2009-11-23 Jinshan Zhang