English
Related papers

Related papers: Enumerating Minimal Separators in Ranked Order

200 papers

We show that every $\alpha$-approximate minimum cut in a connected graph is the unique minimum $(S,T)$-terminal cut for some subsets $S$ and $T$ of vertices each of size at most $\lfloor2\alpha\rfloor+1$. This leads to an alternative proof…

Data Structures and Algorithms · Computer Science 2022-12-01 Calvin Beideman , Karthekeyan Chandrasekaran , Weihang Wang

We present the first in-place algorithm for sorting an array of size n that performs, in the worst case, at most O(n log n) element comparisons and O(n) element transports. This solves a long-standing open problem, stated explicitly, e.g.,…

Data Structures and Algorithms · Computer Science 2007-05-23 Gianni Franceschini , Viliam Geffert

A separating path system for a graph $G$ is a collection $\mathcal{P}$ of paths in $G$ such that for every two edges $e$ and $f$ in $G$, there is a path in $\mathcal{P}$ that contains $e$ but not $f$. We show that every $n$-vertex graph has…

Combinatorics · Mathematics 2024-05-30 Shoham Letzter

The sorting number of a graph with $n$ vertices is the minimum depth of a sorting network with $n$ inputs and outputs that uses only the edges of the graph to perform comparisons. Many known results on sorting networks can be stated in…

Data Structures and Algorithms · Computer Science 2022-03-22 Indranil Banerjee , Dana Richards , Igor Shinkar

We present a method for reducing the treewidth of a graph while preserving all of its minimal $s-t$ separators up to a certain fixed size $k$. This technique allows us to solve $s-t$ Cut and Multicut problems with various additional…

Data Structures and Algorithms · Computer Science 2015-03-19 Dániel Marx , Barry O'Sullivan , Igor Razgon

In the classic Minimum Bisection problem we are given as input a graph $G$ and an integer $k$. The task is to determine whether there is a partition of $V(G)$ into two parts $A$ and $B$ such that $||A|-|B|| \leq 1$ and there are at most $k$…

Data Structures and Algorithms · Computer Science 2014-03-19 Marek Cygan , Daniel Lokshtanov , Marcin Pilipczuk , Michał Pilipczuk , Saket Saurabh

Given a graph $G=(V,E)$ and a set of terminal vertices $T$ we say that a superset $S$ of $T$ is $T$-connecting if $S$ induces a connected graph, and $S$ is minimal if no strict subset of $S$ is $T$-connecting. In this paper we prove that…

Data Structures and Algorithms · Computer Science 2013-01-14 Jan Arne Telle , Yngve Villanger

A {\em dominating set} of a graph $G=(V,E)$ is a subset of vertices $S\subseteq V$ such that every vertex $v\in V\setminus S$ has at least one neighbor in $S$. Finding a dominating set with the minimum cardinality in a connected graph…

Discrete Mathematics · Computer Science 2022-11-23 Frank Hernandez , Ernesto Parra , Jose Maria Sigarreta , Nodari Vakhania

The quality of enumeration algorithms is often measured by their delay, that is, the maximal time spent between the output of two distinct solutions. If the goal is to enumerate $t$ distinct solutions for any given $t$, then another…

Computational Complexity · Computer Science 2024-09-04 Florent Capelli , Yann Strozecki

We give an $\tilde{O}(n^{7/5} \log (nC))$-time algorithm to compute a minimum-cost maximum cardinality matching (optimal matching) in $K_h$-minor free graphs with $h=O(1)$ and integer edge weights having magnitude at most $C$. This improves…

Data Structures and Algorithms · Computer Science 2018-07-16 Nathaniel Lahn , Sharath Raghvendra

Although Extension Perfect Roman Domination is NP-complete, all minimal (with respect to the pointwise order) perfect Roman dominating functions can be enumerated with polynomial delay. This algorithm uses a bijection between minimal…

Discrete Mathematics · Computer Science 2025-11-26 Kevin Mann

A primary challenge in metagenomics is reconstructing individual microbial genomes from the mixture of short fragments created by sequencing. Recent work leverages the sparsity of the assembly graph to find $r$-dominating sets which enable…

Data Structures and Algorithms · Computer Science 2023-01-24 Yosuke Mizutani , Annie Staker , Blair D. Sullivan

In the recent research of data mining, frequent structures in a sequence of graphs have been studied intensively, and one of the main concern is changing structures along a sequence of graphs that can capture dynamic properties of data. On…

Data Structures and Algorithms · Computer Science 2012-06-28 Takeaki Uno , Yushi Uno

We investigate the complexity of several fundamental polynomial-time solvable problems on graphs and on matrices, when the given instance has low treewidth; in the case of matrices, we consider the treewidth of the graph formed by non-zero…

Data Structures and Algorithms · Computer Science 2015-11-05 Fedor V. Fomin , Daniel Lokshtanov , Michał Pilipczuk , Saket Saurabh , Marcin Wrochna

We address the following problem: Given a complete $k$-partite geometric graph $K$ whose vertex set is a set of $n$ points in $\mathbb{R}^d$, compute a spanner of $K$ that has a ``small'' stretch factor and ``few'' edges. We present two…

Computational Geometry · Computer Science 2007-12-05 Prosenjit Bose , Paz Carmi , Mathieu Couture , Anil Maheshwari , Pat Morin , Michiel Smid

In a graph $G$, a vertex subset $S\subseteq V(G)$ is said to be a dominating set of $G$ if every vertex not in $S$ is adjacent to a vertex in $S$. A dominating set $S$ of a graph $G$ is called a paired-dominating set if the induced subgraph…

Data Structures and Algorithms · Computer Science 2014-01-30 Ching-Chi Lin , Hai-Lun Tu

In this paper, as a new notion, we define a transitive system to be a set system $(V, {\mathcal C}\subseteq 2^V)$ on a finite set $V$ of elements such that every three sets $X,Y,Z\in{\mathcal C}$ with $Z\subseteq X\cap Y$ implies $X\cup…

Discrete Mathematics · Computer Science 2020-04-07 Kazuya Haraguchi , Hiroshi Nagamochi

We consider the minimal k-grouping problem: given a graph G=(V,E) and a constant k, partition G into subgraphs of diameter no greater than k, such that the union of any two subgraphs has diameter greater than k. We give a silent…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-07-26 Ajoy K. Datta , Lawrence L. Larmore , Toshimitsu Masuzawa , Yuichi Sudo

It is a long-standing open problem whether the minimal dominating sets of a graph can be enumerated in output-polynomial time. In this paper we investigate this problem in graph classes defined by forbidding an induced subgraph. In…

Discrete Mathematics · Computer Science 2020-03-06 Marthe Bonamy , Oscar Defrain , Marc Heinrich , Jean-Florent Raymond , Michał Pilipczuk

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