English
Related papers

Related papers: Undirected Cat-and-Mouse is P-complete

200 papers

In this paper we show a correspondence between directed graphs and bipartite undirected graphs with a perfect matching, that allows to study properties of directed graphs through the properties of the corresponding undirected graphs. In…

Commutative Algebra · Mathematics 2007-05-23 Giuseppa Carrá Ferro , Daniela Ferrarello

The NP-complete problem Matching Cut is to decide if a graph has a matching that is also an edge cut of the graph. We prove new complexity results for Matching Cut restricted to $H$-free graphs, that is, graphs that do not contain some…

Combinatorics · Mathematics 2022-07-15 Felicia Lucke , Daniël Paulusma , Bernard Ries

We introduce Shortest Connection Game, a two-player game played on a directed graph with edge costs. Given two designated vertices in which they start, the players take turns in choosing edges emanating from the vertex they are currently…

Computer Science and Game Theory · Computer Science 2015-11-26 Andreas Darmann , Ulrich Pferschy , Joachim Schauer

The game of Paintbucket was recently introduced by Amundsen and Erickson. It is played on a rectangular grid of black and white pixels. The players alternately fill in one of their opponent's connected components with their own color, until…

Combinatorics · Mathematics 2024-12-02 Ethan J. Saunders , Peter Selinger

For a set F of finite tournaments, the F-free orientation problem is the problem of deciding if a given finite undirected graph can be oriented in such a way that the resulting oriented graph does not contain any member of F. Using the…

Combinatorics · Mathematics 2025-09-03 Roman Feller , Michael Pinsker

We investigate Riemann-Roch theory for directed graphs. The Riemann-Roch criteria of Amini and Manjunath is generalized to all integer lattices orthogonal to some positive vector. Using generalized notions of a $v_0$-reduced divisor and…

Combinatorics · Mathematics 2011-09-26 Arash Asadi , Spencer Backman

We prove new theoretical results about several variations of the cop and robber game on graphs. First, we consider a variation of the cop and robber game which is more symmetric called the cop and killer game. We prove for all $c < 1$ that…

Discrete Mathematics · Computer Science 2017-11-01 Espen Slettnes , Carl Joshua Quines , Shen-Fu Tsai , Jesse Geneson

The undirected power graph (or simply power graph) of a group $G$, denoted by $P(G)$, is a graph whose vertices are the elements of the group $G$, in which two vertices $u$ and $v$ are connected by an edge between if and only if either…

Combinatorics · Mathematics 2023-05-09 Pallabi Manna , Peter J. Cameron , Ranjit Mehatari

We prove NP-completeness of Yin-Yang / Shiromaru-Kuromaru pencil-and-paper puzzles. Viewed as a graph partitioning problem, we prove NP-completeness of partitioning a rectangular grid graph into two induced trees (normal Yin-Yang), or into…

Computational Complexity · Computer Science 2021-06-30 Erik D. Demaine , Jayson Lynch , Mikhail Rudoy , Yushi Uno

Domination game [SIAM J.\ Discrete Math.\ 24 (2010) 979--991] and total domination game [Graphs Combin.\ 31 (2015) 1453--1462] are by now well established games played on graphs by two players, named Dominator and Staller. In this paper,…

In the Directed Disjoint Paths problem ($k$-DDP), we are given a digraph $k$ pairs of terminals, and the goal is to find $k$ pairwise vertex-disjoint paths connecting each pair of terminals. Bang-Jensen and Thomassen [SIAM J. Discrete Math.…

Data Structures and Algorithms · Computer Science 2025-04-29 Guilherme C. M. Gomes , Raul Lopes , Ignasi Sau

It is conjectured that every edge-colored complete graph $G$ on $n$ vertices satisfying $\Delta^{mon}(G)\leq n-3k+1$ contains $k$ vertex-disjoint properly edge-colored cycles. We confirm this conjecture for $k=2$, prove several additional…

Combinatorics · Mathematics 2017-08-30 Ruonan Li , Hajo Broersma , Shenggui Zhang

Entanglement is a complexity measure of directed graphs that origins in fixed point theory. This measure has shown its use in designing efficient algorithms to verify logical properties of transition systems. We are interested in the…

Logic in Computer Science · Computer Science 2009-04-09 Walid Belkhir , Luigi Santocanale

To push a vertex $v$ of a directed graph $\overrightarrow{G}$ is to change the orientations of all the arcs incident with $v$. An oriented graph is a directed graph without any cycle of length at most 2. An oriented clique is an oriented…

Combinatorics · Mathematics 2015-11-30 Julien Bensmail , Soumen Nandi , Sagnik Sen

This paper investigates a special variant of a pursuit-evasion game called lions and contamination. In a graph where all vertices are initially contaminated, a set of lions traverses the graph, clearing the contamination from every vertex…

Combinatorics · Mathematics 2026-04-22 Dohoon Kim , Eungyu Woo , Donghoon Shin

We start with the well-known game below: Two players hold a sheet of paper to their forehead on which a positive integer is written. The numbers are consecutive and each player can only see the number of the other one. In each time step,…

Combinatorics · Mathematics 2013-02-26 Felix Günther , Irina Mustata

The graphical notion of effective resistance has found wide-ranging applications in many areas of pure mathematics, applied mathematics and control theory. By the nature of its construction, effective resistance can only be computed in…

Optimization and Control · Mathematics 2013-10-23 George Forrest Young , Luca Scardovi , Naomi Ehrich Leonard

The classic result by Fortune, Hopcroft, and Wyllie [TCS~'80] states that the directed disjoint paths problem is NP-complete even for two pairs of terminals. Extending this well-known result, we show that the directed disjoint paths problem…

Discrete Mathematics · Computer Science 2025-07-17 Matthias Bentert , Dario Cavallaro , Amelie Heindl , Ken-ichi Kawarabayashi , Stephan Kreutzer , Johannes Schröder

\textsc{Cops and Robber} is one of the most studied two-player pursuit-evasion games played on graphs, where multiple \textit{cops}, controlled by one player, pursue a single \textit{robber}. The main parameter of interest is the…

Combinatorics · Mathematics 2023-07-04 Harmender Gahlawat , Zin Mar Myint , Sagnik Sen

The game of Cat Herding is one in which cat and herder players alternate turns, with the evasive cat moving along non-trivial paths between vertices, and the herder deleting single edges from the graph. Eventually the cat cannot move, and…

Combinatorics · Mathematics 2025-05-13 Rylo Ashmore , Danny Dyer , Rebecca Milley