arXiv++ Combinatorics

In the Hunters and Rabbit game, $k$ hunters attempt to shoot an invisible rabbit on a given graph $G$. In each round, the hunters select $k$ vertices to shoot at, while the rabbit moves along an edge of $G$. The hunters win if, at any point, the rabbit is shot. The hunting number of $G$, denoted $h(G)$, is the minimum integer $k$ such that $k$ hunters have a winning strategy regardless of the rabbit's moves. The computational complexity of determining $h(G)$ has been one of the longest-standing open questions about the game. Our first main contribution resolves this by proving that computing $h(G)$ is NP-hard, even for bipartite simple graphs. We further show that the problem remains NP-hard even when $h(G) = O(n^ε)$ or when $n - h(G) = O(n^ε)$, where $n$ is the order of $G$. In addition, we prove that it is NP-hard to approximate $h(G)$ additively within $O(n^{1-ε})$. When a time limit $l$ is imposed on the hunting process, we show that computing $h(G)$ remains NP-hard for any $l \ge 2$ bounded by a polynomial in $n$. On the positive side, we present a polynomial-time $l$-factor approximation algorithm for computing the hunting number with time limit $l$, and we show that $h(G)$ can be computed in polynomial time for bipartite graphs when only two time slots are allowed ($l = 2$). Finally, we provide a forbidden-subgraph characterization of graphs with loops that satisfy $h(G) = 1$, extending a known characterization for simple graphs.

We investigate a cops and robber game on directed graphs, where the robber moves along the arcs of the graph, while the cops can select any position at each time step. Our main focus is on the cop number: the minimum number of cops required to guarantee the capture of the robber. We prove that deciding whether the cop number of a digraph is equal to 1 is NP-hard, whereas this is decidable in polynomial time for tournaments. Furthermore, we show that computing the cop number for general digraphs is fixed parameter tractable when parameterized by a generalization of vertex cover. However, for tournaments, tractability is achieved with respect to the minimum size of a feedback vertex set. Among our findings, we prove that the cop number of a digraph is equal to that of its reverse digraph, and we draw connections to the matrix mortality problem.

The dicycle transversal number t(D) of a digraph D is the minimum size of a dicycle transversal of D, i. e. a set T of vertices of D such that D-T is acyclic. We study the following problem: Given a digraph D, decide if there is a dicycle B in D and a cycle C in the underlying undirected graph of D such such that B,C are disjoint. It is known that there is a polynomial time algorithm for this problem when restricted to strongly connected graphs, which actually finds B,C if they exist. We generalize this to any class of digraphs D with either t(D) not equal to 1 or t(D)=1 and a bounded number of dicycle transversals, and show that the problem is NP-complete for a special class of digraphs D with t(D)=1 and, hence, in general.