English
Related papers

Related papers: Plane Strong Connectivity Augmentation

200 papers

We investigate parameterized algorithms for the NP-hard problem Min-Power Asymmetric Connectivity (MinPAC) that has applications in wireless sensor networks. Given a directed arc-weighted graph, MinPAC asks for a strongly connected spanning…

Data Structures and Algorithms · Computer Science 2020-06-01 Matthias Bentert , Roman Haag , Christian Hofer , Tomohiro Koana , André Nichterlein

The problem of deciding whether a biconnected planar digraph $G=(V,E)$ can be augmented to become an $st$-planar graph by adding a set of oriented edges $E' \subseteq V \times V$ is known to be NP-complete. We show that the problem is…

Data Structures and Algorithms · Computer Science 2023-09-28 Liana Khazaliya , Philipp Kindermann , Giuseppe Liotta , Fabrizio Montecchiani , Kirill Simonov

We study the classical Node-Disjoint Paths (NDP) problem: given an $n$-vertex graph $G$ and a collection $M=\{(s_1,t_1),\ldots,(s_k,t_k)\}$ of pairs of vertices of $G$ called demand pairs, find a maximum-cardinality set of node-disjoint…

Data Structures and Algorithms · Computer Science 2016-03-18 Julia Chuzhoy , David H. K. Kim , Shi Li

The basic goal of survivable network design is to build a cheap network that maintains the connectivity between given sets of nodes despite the failure of a few edges/nodes. The Connectivity Augmentation Problem (CAP) is arguably one of the…

Data Structures and Algorithms · Computer Science 2019-11-11 Jarosław Byrka , Fabrizio Grandoni , Afrouz Jabal Ameli

In this paper, we consider a transformation of $k$ disjoint paths in a graph. For a graph and a pair of $k$ disjoint paths $\mathcal{P}$ and $\mathcal{Q}$ connecting the same set of terminal pairs, we aim to determine whether $\mathcal{P}$…

Data Structures and Algorithms · Computer Science 2022-10-24 Takehiro Ito , Yuni Iwamasa , Naonori Kakimura , Yusuke Kobayashi , Shun-ichi Maezawa , Yuta Nozaki , Yoshio Okamoto , Kenta Ozeki

The vertex connectivity of a graph $G$ is the size of the smallest set of vertices $S$ such that $G \setminus S$ is disconnected. For the class of planar graphs, the problem of vertex connectivity is well-studied, both from structural and…

Computational Geometry · Computer Science 2025-06-03 Therese Biedl , Karthik Murali

The {\sc weak 2-linkage} problem for digraphs asks for a given digraph and vertices $s_1,s_2,t_1,t_2$ whether $D$ contains a pair of arc-disjoint paths $P_1,P_2$ such that $P_i$ is an $(s_i,t_i)$-path. This problem is NP-complete for…

Computational Complexity · Computer Science 2019-07-02 Jørgen Bang-Jensen , Thomas Bellitto , William Lochet , Anders Yeo

For a connected graph, a vertex separator is a set of vertices whose removal creates at least two components and a minimum vertex separator is a vertex separator of least cardinality. The vertex connectivity refers to the size of a minimum…

Data Structures and Algorithms · Computer Science 2013-07-09 Surabhi Jain , N. Sadagopan

We study the capacity of the self-attention key-query channel: for a fixed budget, how many distinct token-token relations can a single layer reliably encode? We introduce Relational Graph Recognition, where the key-query channel encodes a…

Machine Learning · Computer Science 2026-02-04 Micah Adler

We show fixed-parameter tractability of the Directed Multicut problem with three terminal pairs (with a randomized algorithm). This problem, given a directed graph $G$, pairs of vertices (called terminals) $(s_1,t_1)$, $(s_2,t_2)$, and…

Data Structures and Algorithms · Computer Science 2024-01-11 Meike Hatzel , Lars Jaffke , Paloma T. Lima , Tomáš Masařík , Marcin Pilipczuk , Roohani Sharma , Manuel Sorge

In the Maximum Connectivity Improvement (MCI) problem, we are given a directed graph $G=(V,E)$ and an integer $B$ and we are asked to find $B$ new edges to be added to $G$ in order to maximize the number of connected pairs of vertices in…

Discrete Mathematics · Computer Science 2019-04-30 Federico Corò , Gianlorenzo D'Angelo , Vahan Mkrtchyan

Disjunctive Answer Set Programming (ASP) is a powerful declarative programming paradigm whose main decision problems are located on the second level of the polynomial hierarchy. Identifying tractable fragments and developing efficient…

Artificial Intelligence · Computer Science 2017-01-02 Bernhard Bliem , Sebastian Ordyniak , Stefan Woltran

We study cross-graph charging schemes for graphs drawn in the plane. These are charging schemes where charge is moved across vertices of different graphs. Such methods have been recently applied to obtain various properties of…

Computational Geometry · Computer Science 2012-09-04 Micha Sharir , Adam Sheffer

We study the following question: Given are two $k$-colorings $\alpha$ and $\beta$ of a graph $G$ on $n$ vertices, and integer $\ell$. The question is whether $\alpha$ can be modified into $\beta$, by recoloring vertices one at a time, while…

Computational Complexity · Computer Science 2014-04-17 Paul Bonsma , Amer E. Mouawad

The Matching Augmentation Problem (MAP) has recently received significant attention as an important step towards better approximation algorithms for finding cheap $2$-edge connected subgraphs. This has culminated in a…

Data Structures and Algorithms · Computer Science 2022-08-25 Etienne Bamas , Marina Drygala , Ola Svensson

In a reconfiguration version of an optimization problem $\mathcal{Q}$ the input is an instance of $\mathcal{Q}$ and two feasible solutions $S$ and $T$. The objective is to determine whether there exists a step-by-step transformation between…

Data Structures and Algorithms · Computer Science 2019-10-03 Daniel Lokshtanov , Amer E. Mouawad , Fahad Panolan , Sebastian Siebertz

Flip graphs of non-crossing configurations in the plane are widely studied objects, e.g., flip graph of triangulations, spanning trees, Hamiltonian cycles, and perfect matchings. Typically, it is an easy exercise to prove connectivity of a…

Computational Geometry · Computer Science 2024-07-08 Linda Kleist , Peter Kramer , Christian Rieck

A popular model to measure the stability of a network is k-core - the maximal induced subgraph in which every vertex has at least k neighbors. Many studies maximize the number of vertices in k-core to improve the stability of a network. In…

Social and Information Networks · Computer Science 2019-07-01 Zhongxin Zhou , Fan Zhang , Xuemin Lin , Wenjie Zhang , Chen Chen

Finding a d-regular spanning subgraph (or d-factor) of a graph is easy by Tutte's reduction to the matching problem. By the same reduction, it is easy to find a minimal or maximal d-factor of a graph. However, if we require that the…

Data Structures and Algorithms · Computer Science 2013-10-10 Kamiel Cornelissen , Ruben Hoeksma , Bodo Manthey , N. S. Narayanaswamy , C. S. Rahul

We present a $\frac53$-approximation algorithm for the matching augmentation problem (MAP): given a multi-graph with edges of cost either zero or one such that the edges of cost zero form a matching, find a 2-edge connected spanning…

Data Structures and Algorithms · Computer Science 2020-12-14 J. Cheriyan , R. Cummings , J. Dippel , J. Zhu