English
Related papers

Related papers: The Complexity of Resilience for Digraph Queries

200 papers

In this note, we consider the following problem: given a connected graph $G$, can we reduce the domination number of $G$ by using only one edge contraction? We show that the problem is polynomial-time solvable on $P_3+kP_2$-free graphs for…

Combinatorics · Mathematics 2020-10-28 Esther Galby , Felix Mann , Bernard Ries

Simple drawings of graphs are those in which each pair of edges share at most one point, either a common endpoint or a proper crossing. In this paper we study the problem of extending a simple drawing $D(G)$ of a graph $G$ by inserting a…

Computational Geometry · Computer Science 2019-08-27 Alan Arroyo , Martin Derka , Irene Parada

A graph class is monotone if it is closed under taking subgraphs. It is known that a monotone class defined by finitely many obstructions has bounded treewidth if and only if one of the obstructions is a so-called tripod, that is, a…

In this paper, we study robust transshipment under consistent flow constraints. We consider demand uncertainty represented by a finite set of scenarios and characterize a subset of arcs as so-called fixed arcs. In each scenario, we require…

Optimization and Control · Mathematics 2022-08-30 Christina Büsing , Arie M. C. A Koster , Sabrina Schmitz

We study the problem of guaranteeing the connectivity of a given graph by protecting or strengthening edges. Herein, a protected edge is assumed to be robust and will not fail, which features a non-uniform failure model. We introduce the…

Data Structures and Algorithms · Computer Science 2025-01-09 Felix Hommelsheim , Zhenwei Liu , Nicole Megow , Guochuan Zhang

Given a satisfiable instance of 1-in-3 SAT, it is NP-hard to find a satisfying assignment for it, but it may be possible to efficiently find a solution subject to a weaker (not necessarily Boolean) predicate than `1-in-3'. There is a…

Computational Complexity · Computer Science 2025-08-21 Andrei Krokhin , Danny Vagnozzi

We investigate here the computational complexity of three natural problems in directed acyclic graphs. We prove their NP Completeness and consider their restrictions to linear orders.

Combinatorics · Mathematics 2007-10-12 Serge Burckel

In the Vertex Disjoint Paths with Congestion problem, the input consists of a digraph $D$, an integer $c$ and $k$ pairs of vertices $(s_i, t_i)$, and the task is to find a set of paths connecting each $s_i$ to its corresponding $t_i$,…

Computational Complexity · Computer Science 2025-07-15 Ken-ichi Kawarabayashi , Nicola Lorenz , Marcelo Garlet Milani , Jacob Stegemann

This thesis investigates the central role of homomorphism problems (structure-preserving maps) in two complementary domains: database querying over finite, graph-shaped data, and constraint solving over (potentially infinite) structures.…

Logic in Computer Science · Computer Science 2025-10-10 Rémi Morvan

In a graph, a matching cut is an edge cut that is a matching. Matching Cut is the problem of deciding whether or not a given graph has a matching cut, which is known to be NP-complete even when restricted to bipartite graphs. It has been…

Computational Complexity · Computer Science 2018-10-29 Hoang-Oanh Le , Van Bang Le

We decide the Borel complexity of the conjugacy problem for automorphism groups of countable homogeneous digraphs. Many of the homogeneous digraphs, as well as several other homogeneous structures, have already been addressed in previous…

Logic · Mathematics 2020-01-09 Samuel Coskey , Paul Ellis

The notion of graph covers (also referred to as locally bijective homomorphisms) plays an important role in topological graph theory and has found its computer science applications in models of local computation. For a fixed target graph…

Discrete Mathematics · Computer Science 2025-02-28 Jan Bok , Jiří Fiala , Nikola Jedličková , Jan Kratochvíl , Micheala Seifrtová

We study homomorphism problems of signed graphs from a computational point of view. A signed graph $(G,\Sigma)$ is a graph $G$ where each edge is given a sign, positive or negative; $\Sigma\subseteq E(G)$ denotes the set of negative edges.…

Discrete Mathematics · Computer Science 2016-10-14 Richard C. Brewster , Florent Foucaud , Pavol Hell , Reza Naserasr

We investigate the computational complexity of edge-deletion and edge-contraction problems in fuzzy graphs. For any graph property {\Pi} that is hereditary under contractions (or deletions) and determined by 3-connected components, the…

Combinatorics · Mathematics 2025-09-22 Shanookha Ali

Representing graphs by their homomorphism counts has led to the beautiful theory of homomorphism indistinguishability in recent years. Moreover, homomorphism counts have promising applications in database theory and machine learning, where…

Data Structures and Algorithms · Computer Science 2023-10-16 Jan Böker , Louis Härtel , Nina Runde , Tim Seppelt , Christoph Standke

By generalizing a recent result of Hong, Liu, and Lai on characterizing the degree-sequences of simple strongly connected directed graphs, a characterization is provided for degree-sequences of simple $k$-node-connected digraphs. More…

Combinatorics · Mathematics 2017-09-05 Kristóf Bérczi , András Frank

We consider the problem of decomposing the edges of a directed graph into as few paths as possible. There is a natural lower bound for the number of paths needed in an edge decomposition of a directed graph $D$ in terms of its degree…

Combinatorics · Mathematics 2021-09-29 Alberto Espuny Díaz , Viresh Patel , Fabian Stroh

The Steiner Multicut problem asks, given an undirected graph G, terminals sets T1,...,Tt $\subseteq$ V(G) of size at most p, and an integer k, whether there is a set S of at most k edges or nodes s.t. of each set Ti at least one pair of…

Data Structures and Algorithms · Computer Science 2015-06-24 Karl Bringmann , Danny Hermelin , Matthias Mnich , Erik Jan van Leeuwen

We prove a complete dichotomy theorem for the parameterized sparse $t$-uniform hypergraphic degree sequence problem, $\mathrm{sparse}\text{-}t\text{-}\mathrm{uni}\text{-}\mathrm{HDS}_{\alpha',\alpha}$. For any fixed $t \ge 3$, given…

Combinatorics · Mathematics 2025-12-30 István Miklós , Miklós Ruszinkó , Bogdán Zavalnij

Let $G$ be a strongly connected directed graph and $u,v,w\in V(G)$ be three vertices. Then $w$ strongly resolves $u$ to $v$ if there is a shortest $u$-$w$-path containing $v$ or a shortest $w$-$v$-path containing $u$. A set $R\subseteq…

Computational Complexity · Computer Science 2021-11-29 Yannick Schmitz , Egon Wanke
‹ Prev 1 4 5 6 7 8 10 Next ›