The game of Cops and Robbers played on graphs was introduced independently by Quillot  and Nowakowski and Winkler . The game is played between a set of pursuers (cops) and an evader (robber) who move from vertex to vertex in a graph. The standard rules of play are that the cops initially chose their positions, followed by the robber choosing his. Each cop may then move to an adjacent vertex or stay in place. After the cops take their turns, the robber may move to an adjacent vertex or stay in place. This constitutes one round of play. The cops win if at least one cop is able to occupy the same vertex as the robber after a finite number of rounds; the robber wins if he can avoid capture indefinitely.
There are two standard parameters of interest in the standard cops and robbers model:
, or the cop number of a graph , is the fewest number of cops which guarantee that the cops can win the game;
, or the capture time of , is the fewest number of rounds in which cops can win.
While a significant amount of work has been done in studying cops and robbers on undirected graphs (see  for a thorough treatment of all topics related to cops and robbers), comparatively little is known about cops and robbers on directed graphs. A general directed graph may have loops or parallel arcs. An oriented graph, or ograph, is a directed graph with no loops and no parallel arcs; in other words it is a simple graph whose edges have each been assigned some orientation. Ographs will be the primary focus of this work111Since we allow each agent to stay on their current vertex on their turn, there is nothing lost or gained by imagining a loop present on every vertex..
Let us begin by surveying some of the results known regarding cops and robbers on directed graphs. One of the first papers to address the problem is , where a simple forbidden subgraph condition is given to ensure that . Directed graphs are further considered in , where upper bounds are provided for directed abelian Cayley graphs. In , it is shown that every strongly connected digraph satisfies . Vertex transitive oriented grids and the cop number of their quotients are studied in [13, 14], and orientations of planar graphs are considered in . It is shown in  that there exist ographs with and each at most having unbounded cop number; the minimum order of a -cop-win digraph is shown to be either or . Hahn and MacGillivray  give an algorithmic characterization of cop-win digraphs, as well as a method for reducing the game played with cops and robbers to the cop, robber case. Unfortunately, these results do not give a structural characteristic of such graphs (we address this problem in Section 3). Kinnersley  has shown that determining the cop number of a graph or digraph is EXPTIME-complete. The capture time of directed graphs has also been examined by Kinnersley , who showed that for every there exists an -vertex directed graph for which and . It should finally be noted that work has been done on a version of cops and robbers in undirected and directed graphs where the robber can move infinitely fast (among many other variations). The number of cops needed in this setting is often tied to various width parameters of the graph. The literature is extensive, and since it is not the focus of this work we will not survey those results here.
This paper is structured as follows. In Section 2, we survey some basic results about the cop number of an oriented graph. In particular, we examine its relationship to the cop number of the underlying undirected graph, showing that and are incomparable in general, where is the underlying graph of an ograph , even in the case when is strongly connected. Section 3 is devoted to disproving a conjecture posed in  which attempted to characterize all cop-win ographs. In Section 4, we prove that all strongly connected orientations of outerplanar graphs have bounded cop number; a similar result for general planar graphs remains an open problem. Section 5 explores the relationship between the cop number of an ograph and the cop number of its arc digraph. Finally, in Section 6, we consider some problems related to the optimal play of the agents. We give a construction of an -vertex cop-win ograph for which the capture time is in (in contrast with the known result that all undirected cop win graphs have capture time at most linear in ). We also consider whether or not a cop can be made to revisit a previously visited vertex or a cop can be made to increase her distance from the robber in optimal play. These questions were answered positively in  for undirected graphs, and we show that indeed both are possible in ographs as well.
2 Behaviour of the cop number in ographs
One of the first results in cops and robbers is a structural characterization of those graphs which have cop number equal to ; such graphs are called cop-win. As mentioned in the introduction, no such characterization is currently known for digraphs. It is easy to see that if a digraph contains sources, then must be at least as large as the number of sources, and so a cop-win digraph must have at most one source. It is also not hard to see that a graph with no source must necessarily have cop number at least . To see this, note that if a single cop starts on vertex , then the robber starts on some vertex for which . After each cop turn, the robber moves to the cop’s previous position. This observation that a cop-win graph must have only one source was further refined as follows:
 If contains exactly one source and no directed cycles, then .
We will return to the topic of cop-win digraphs in Section 3, but now turn our attention to the relationship between the cop number of a digraph and its underlying graph .
We begin with a simple observation.
Every graph has an orientation such that
Let , and let be those vertices of at distance from (so )222In other words, construct a BFS tree with as its root.. For every , either or for some . For each , orient the edges in according to some linear order, and direct any edge from to . This graph has no oriented cycles and exactly one source, and so has cop number by Proposition 1. ∎
Knowing that any graph can be oriented so that the cop number is as small as possible, we now show that any graph can be oriented so that the cop number is, in some sense, large.
Every graph has an orientation for which .
Let be the vertices on a diametric path of the graph . Construct a BFS tree rooted at ; call level and call those vertices at distance from level . For every edge with ends in different levels, orient
so that its head lies in an odd level; orient all other edges arbitrarily (call this analternating BFS orientation). Clearly at least one cop is required in each even level, and so . ∎
Note that there exist graphs for which is the largest possible value for taken over all orientations of (paths, for example). We may refine the bound in Theorem 3 by constructing a BFS tree as in the proof of Theorem 3, and giving is an alternating BFS orientation where each sub-digraph induced by a layer has compenents which are also alternating BFS orientations.
For any , there exists an alternating BFS orientation for which , where denotes the subgraph induced by the vertices at level in the alternating BFS orientation of .
The natural question to ask is whether or not there is any relationship between and where is the underlying graph of . We clearly see that this is not the case if is not required to be strongly connected. Proposition 2 guarantees that a graph with arbitrarily high cop number may be oriented so that it then has cop number , and so in this case. On the other hand, a cop-win graph with large diameter (for instance, a path) can be oriented so that the cop number becomes arbitrarily large, or . It is not difficult to see that this inequality can hold for general graphs.
For every graph , there exists an orientation of such that .
It is well-known and easy to see that , where denotes the domination number of and denotes the independence number of . If is a maximum independent set of , then orient the edges so that no head of an arc lies in ; call this orientation . Clearly one requires at least cops to win on , since otherwise at least one source will be uncovered at the initial step. ∎
Clearly, this construction relies on using a large number of sinks to ensure that a large number of cops cannot fail from the get-go. What if we look at orientations with no sinks?
A natural place to turn are orientations of complete graphs, or tournaments. The PhD thesis of Hill  presents a small handful of results on the cop number of tournaments. For example, it is shown that a tournament is cop-win if and only if it has a dominating vertex; this result is re-presented in  along with an analysis of tournaments with very large maximum degree ( for a fixed constant ). Hill also offered a tempting conjecture that there is some absolute constant such that for any tournament . A particular case of this conjecture was communicated by Nowakowski to the authors of , positing that tournaments obtained from a Steiner triple system on vertices by cyclically orienting each triple arbitrarily (called a Steiner triple graph), have cop number at most . Both conjectures were disproven by Slívlová in , who showed that there exists a Steiner triple graph which for every . In our preparation of this paper, we noted a few small corrections to be made in the proof given in ; a full proof is given here for completeness.
 For every , there exists an oriented Steiner triple graph for which .
Let be the set of oriented Steiner triple systems on vertices. Let have adjacency matrix . Finally, let . We will say that if satisfies the following property:
Intuitively: if the robber is on vertex and there are cops on vertices , then is a “safe” vertex if the robber can move there while none of the cops can do so on their next turn. The set consists of those oriented Steiner triple systems in which the robber always has a safe move to make, and therefore cannot be captured by cops. Our goal is to show that .
Fix . For any , let
be the probability that an oriented Steiner triple system, chosen uniformly at random from , is not in — that is, it fails to satisfy the conditions of property (1). We shall show , proving that there is an oriented Steiner triple system with .
Suppose that the robber is at a vertex and the cops are at vertices , and let be the probability that no matter where the robber moves from , he will be captured by one of the cops. That is, is the probability that the following condition is satisfied:
We will only consider those vertices such that and are independent whenever or . Slívlová  uses Turán’s theorem to show that there are at least such vertices. In the rest of this proof, we will consider only those vertices of satisfying this condition.
For a given vertex , the probability that condition (2) is met is , and therefore
Let be an index set for the subsets of , and for all let
be an indicator random variable which is 1 if subsetfails to satisfy condition (1) and 0 otherwise. There are ways to choose a robber location and ways to choose the cop positions ; for each choice, . Let be the number of subsets failing to satisfy condition (1). Therefore we have
which tells us that , as desired. ∎
For any , there exists a strongly oriented digraph such that where is the underlying graph of .
It is natural to ask, then, is always greater than when is strongly connected? Perhaps, surprisingly, the answer is no. Hosseini shows in  that for any there exists a graph and a strong orientation of for which and . This construction involves using very long directed paths so that if the robber enters the path he has no hope of escaping capture. We complement this result by showing that there exists a graph for which for any orientation of .
If is a strongly connected orientation of the Petersen graph, then .
The proof of this theorem is by computer search. A polynomial time algorithm to check if the cop number of a graph was first presented in ; a more general version which applies to graphs and directed graphs was then given in . Our result follows from an implementation of a version of the algorithm presented in  which can also be found in , applied to the 1920 different strong orientations of the Petersen graph. Since the cop number of the (undirected) Petersen graph is , we obtain the following corollary:
There exists a graph for which for every strong orientation of .
A treatment of the cop number parameter would not be complete without a mention of Meyniel’s Conjecture:
For every undirected graph , .
The upper bound of is typically referred to as the Meyniel bound for the cop number. It is trivial to see that the Meyniel bound cannot hold for general digraphs, since a digraph may have as many as sources. However, it is unknown whether or not it holds for strongly connected digraphs in general, though it is known that it holds for digraphs of diameter 2 and bipartite digraphs of diameter 3 . In light of Corollary 9, we briefly confirm that one cannot hope for better than the Meyniel bound in this case. The following lemma, which is an adaptation of a similar result on undirected graphs from , is needed:
 If is an oriented graph with undirected girth at least , then .
For any , there exists an -vertex strongly connected ographs with cop number in and .
Let be the point-line incidence graph of the projective plane of order with partite sets and . It is known that is Hamiltonian; orient the edges of some Hamiltonian cycle cyclically. What remains is a -regular bipartite graph, and so it can be decomposed into perfect matchings. Orient of the matchings from to and the remaining matchings from to . The resulting oriented graph is strongly connected, has vertices, has undirected girth , and has .∎
Finally, we note that there can be no general relationship between the cop numbers of a directed graph in the usual setting and in the fully active setting (where no agent may stay put on his/her turn, see ), even when we insist on considering strongly connected digraphs. To see this, we simply note that a directed -cycle has cop number in the regular game and in the fully active setting.
3 Cop-win ographs
In , an attempt to characterize cop-win ographs is undertaken. Recall that Proposition 1 states that an ograph with exactly one source and no directed cycles is cop-win. The converse of this is false; orient so that one triangle is cyclically oriented and the remaining vertex is a source. The authors in  define a directed cycle to be cop-dominated if “the robber cannot avoid capture by entering the directed cycle by some path and then simply traveling repeatedly on the directed cycle.” They propose the following:
 An oriented graph is cop-win if and only if contains exactly one vertex of in-degree , every vertex is reachable from that vertex, and every directed cycle of is cop-dominated.
We disprove this by counterexample:
There exists an ograph with , exactly one source, and every directed cycle being cop-dominated.
Consider the graph in Figure 1, and suppose that it is cop-win. Since is its sole source, it is the unique feasible starting position for the cop.
The only oriented cycles in the graph are as follows:
We will first show that each of these cycle is cop dominated. Recall that a cycle is cop-dominated if the robber cannot avoid capture by entering that cycle and moving around it for the rest of the game. We prove this for each cycle as follows:
If the robber start from any vertex in , it will be captured after one move since the cop begins at .
For the cycle , we consider three cases:
If the robber starts at , the cop will move to , in the next move robber has to move to , and so the cop moves to . Now the robber has to leave the cycle , for if the robber moves to , it will get captured in the next step. Hence, the robber has been forced out of the cycle .
This case can be reduced to case 2(a) as follows: if the robber starts at , the cop will move to , in the next move robber has to move to , and so the cop moves to .
This case can also be reduced to case 2(a) as follows: if the robber starts at , the cop will move to , in which case the robber has to move to , and the cop moves to . Now the robber and cop are in the same situation as mentioned in above case.
For the cycle , we use an argument symmetric to that in Case 2.
We now show that the cop can force the robber to move to either the cycle or the cycle . If the cop wants the robber to move to the cycle , she moves in the cycle . If she wants to force the robber to the cycle from the cycle , she will move along the path (it is easy to check that, if the robber wishes to stay in the cycle , then when the cop arrive at the robber will be on ).
Finally, we consider the cop number. It is not hard to find a strategy so that cops can win, so must only show that the ograph is not cop-win. First note that a single cop positioned on a vertex in cannot capture the robber, and thus capture must happen from . However, if the cop were to stay on the cycle , then the robber is able move out of the cops’ position’s neighbourhood while staying in . ∎
4 Planar oriented graphs
One of the first fundamental results in the study of the cop number parameter is Aigner and Fromme’s proof that for any planar graph . It has been recently shown that this bound does not hold for strong orientations of planar graphs.
 There exists a strongly connected planar ograph for which .
On the other hand, it is known that planar ographs satisfy the Meyniel bound:
 If is a strongly connected orientation of a planar graph , then .
The following question remains open:
Does there exist a constant such that for every strongly connected planar ograph ?
We are able to affirm Question 1 in the case of outerplanar ographs, showing that for every strongly connected outerplanar ograph (recall that any digraph with no source must necessarily have ).
An outerplanar ograph is Hamiltonian if and only if the exterior face is bounded by a Hamiltonian cycle.
This follows immediately from a result due to  which states that any -connected outerplanar graph has a unique Hamiltonian cycle. ∎
An orientation of an outerplanar graph is strongly connected if and only if there exists a collection of Hamiltonian induced subdigraphs such that
for all , is either an arc of , a node of , or empty;
every arc on the outer face of is in a Hamiltonian cycle of some .
the graph having and is a tree.
The backward implication follows from the fact that that is a tree and each is Hamiltonian.
Assume that is -connected, noting that one may apply the argument below to any -connected block of . We proceed by induction on , noting that the statement is trivially true when is an oriented cycle. Consider an embedding of in the plane such that the outer face is a cycle . Let be a chord such that every vertex in has degree in . In , consecutive arcs in the path along must be oriented head to tail since is strongly connected. Without loss of generality, assume that these arcs are . By induction, contains a decomposition as described in the statement of the theorem. If , then we add the Hamiltonian cycle induced by to the collection, which will be a leaf in . Otherwise, suppose . This arc lies on the outer face of , and thus lies in a Hamiltonian cycle of some . We then replace with in to obtain . Since is isomorphic to , the proof is complete. ∎
If is a Hamiltonian outerplanar ograph, then .
Let , with labels chosen so that is a directed Hamiltonian cycle of . Let denote the underlying undirected graph of . We prove that the cops have a strategy so that, after each move, a cop occupies the end of a chord of . Call this cop the ”stationary cop”. A chord naturally partitions according to the two directed paths left when deleting and from . The part of in which the robber is located will be called the “robber territory”. We show that, after a finite number of steps, either the robber is captured or the non-stationary cop will occupy a new chord which shrinks the robber territory. This cop then becomes the stationary cop, and the argument repeats. Since the robber territory cannot shrink indefinitely, this method provides a capture strategy for two cops. Note that, throughout, the subscript of will be taken modulo .
Suppose that the stationary cop occupies an end of the chord and suppose, without loss of generality, that is the robber territory. Let be the smallest index (modulo ) such that has total degree at least (note that, if none exists, the non-stationary cop has a clear winning strategy by walking along the induced directed path ). Let be the chord of such that is the closest vertex in to . The stationary cop begins by moving along each vertex of the directed path while the stationary cop remains in place. If the robber has not been captured, then he now is on some vertex of .
If is the head of the directed arc and the robber’s position is on the path , then the non-stationary cop becomes the stationary cop, and the robber’s territory has decreased, as desired. If is the tail of the directed arc , then the non-active cop continues walking along until reaching . Again, if the robber’s position is on the path , then the non-stationary cop becomes the stationary cop, and the robber’s territory has decreased.
In each case above, there is the possibility that the robber’s position is on the directed path . If is the head of the directed arc , then the non-stationary cop moves from to (and if was the tail, then the non-stationary cop may already be considered to be on ). Note that it is now impossible for the robber to return to , as no vertex in is incident to a chord of , no vertex in is incident to by choice of , and no chord may cross . Now the non-stationary cop continues moving along to the next vertex of total degree at least and repeats the same strategy as above. At some point, the non-stationary cop will be able to become the stationary cop and reduce the robber territory, or will exhaust the vertices of total degree at least along . In the latter case, all that remains is an induced path along which terminates at , and the robber is easily captured. ∎
If is a strongly connected outerplanar ograph, then .
Let be the collection of Hamiltonian induced subdigraphs guaranteed by Lemma 17, and its associated tree. At each step, the cops will reside in the same , and play a simple modification of the strategy given in the proof of Lemma 18. If the robber is in , then the cops play the strategy as stated. Suppose the robber is in , . Since is a tree, there is a unique path in from to ; let be the neighbour of on this path. By Lemma 17, intersects either at a single node or along an arc . In either case, the cops then play the strategy from the proof of Lemma 18 imagining as the robber’s position. Clearly the cops will either catch the robber in or will occupy . In the latter case, the cops have reduced the robber’s territory, and can then iterate the strategy again on . Eventually the robber will be captured or the cops will have “chased” the robber to where is a leaf of . In this case, the strategy from the proof of Lemma 18 will capture the robber. ∎
5 Line Digraphs
In , cops and robbers played on the edge set of a graph is considered. In that variation, an agent may move from one edge to any incident edge. The fewest number of cops needed to capture the robber when playing on the edges of is denoted , and it is proven that . Note that where denotes the line graph of .
The line digraph of a digraph , denoted is defined similarly. The nodes of are the arcs of , and there is an arc in between and if and only if . We consider cops robbers played on the arcs of digraphs, where an agent may move from to only when . In other words, one plays the vertex version of cops and robbers on . Somewhat surprisingly, we can show that the cop number of a digraph is equal to that of its line digraph if is strongly connected.
If is strongly connected, then so is .
If is a strongly connected digraph , then .
First, suppose that cops have a winning strategy on . Since is strongly connected, we know that . If the cops begin at vertices in the regular game (repetition is allowed), then assign cop to an arc whose head is (such an arc exists because is strongly connected). The robber then chooses a starting arc. The cops will play a strategy which mimics the regular game. More precisely, if a cop occupies an arc , then it imagines itself being on in the regular game. If the next move in the regular game is to proceed to the node , then the cop moves to the arc in the arc-version. If the next move is to pass, then the cop passes. When the robber moves from arc to arc , then cops imagine that it has moved from to in the regular game. It follows that at least one cop can eventually occupy an arc whose head is the same as the robber’s arc. If this is the same arc, then the game is finished. If it is not, then any move by the robber will move it to an edge whose tail is incident to the head of the capturing cop’s position. If the robber stays put, then one of the remaining cops (recall that ) may move to occupy the robber’s edge since is strongly connected. Thus cops can catch the robber in the arc-version of the game.
Now, assume that cops have a winning strategy in the arc-version of the game. If cop were to occupy the arc to start the arc-version, then occupies to start the node version. If the robber chooses to start at , then the cops imagine the robber occupies any arc whose head is . The cops then play a strategy where, instead of moving from to in the arc version, they move from to in the node version, and the robber is imagined to occupy the arc consisting of its current position as its head and its previous position as its tail. When a cop catches the robber’s arc in the imagined arc version of the game, she will by definition occupy the same node as the robber (the head of the arc). ∎
Note that the condition of being strongly connected cannot be dropped. If is a star with all arcs oriented toward the leaves, then while (one cop is needed on each arc).
We note that one could also prove Theorem 21 using structural characterizations of line digraphs. In , a coreflexive set (henceforth coreset) of vertices in a digraph is defined to be a minimal set such that . It is shown that the collection of all coresets of partitions . The authors then prove a number of equivalent characterization of line digraphs (see , Theorem 6), which imply such classic characterizations as Heuchenne’s condition and the Geller-Harary condition. One of these is as follows:
 Let be a digraph, and let be the partition of into coresets. If, for each , the subdigraph induced by contains every possible arc from to and no others, then is a line digraph.
It is easy to see that, if is a strongly connected digraph, then has coresets, each of which is a stable set and each of which corresponds to the set of incoming arcs for some vertex. Further, if one contracts each coreset in , the result is a digraph isomorphic to (each contracted coreset becomes the vertex to which its arc point in ). Thus, any strategy one plays on can be translated to the coresets of and (since coresets are stable sets in ) the converse holds as well.
A natural problem arises from this ability to move between line digraphs and digraphs obtained by contracting coresets – is there any relation between the cop number of an arbitrary digraph and that of the digraph obtained by contracting its coresets and deleting parallel arcs? Unfortunately, the answer appears to be “no”, in general.
For arbitrarily large , there exists an -vertex strongly connected ograph for which whose coreset contraction has has .
Let be the digraph with vertex set such that is the point-line incidence graph of the projective plan of order , where is the set of points and is the set of lines. For each edge , we orient the arc as . For each edge (indices taken modulo ), we orient the edge . It is easy to see that this graph is strongly connected and has for every . Since the undirected girth is , by Lemma 10. Since , we have our desired . It is then not hard to see that of is a coreset partition, is a directed cycle of length , and so . ∎
While this proposition is illustrative of how different the two cop numbers may be, it is also the special case of a much more general result, which states that if one iterates this procedure, one always obtains a digraph with low cop number. Let be an arbitrary digraph and define the sequence where () is obtained by contracting all coresets of ; call the coreset contraction sequence for .
 For any digraph , the coreset contraction sequence converges either to a directed path or to a directed cycle with a directed path (possibly of length ) leaving some vertex of the cycle.
Given a digraph with coreset contraction sequence , the sequence converges to or .
6 Optimal Strategies
In this section, we consider two aspects of game play when cops and robber all play optimally. First, we consider the number of rounds required for cops to capture a robber in a -cop win ograph. Second, we consider some questions regarding the relative positions of the cops and robber which have been examined for undirected graphs but not for ographs (or directed graphs in general).
6.1 Capture time
We first note that the polynomial-time algorithm given in  which determines whether or not a digraph has cop number at most also gives the minimum number of rounds in which they can win. Thus, if is known, then determining is in .
As mentioned in the introduction, Kinnersley  showed that for every there exists an -vertex directed graph for which and . There are two things notable about this result. The first is that it matches the natural upper bound, as there are on the order of distinct combinations of where cops and a single robber may be located. The second is that, unlike in the case of undirected graphs where cop-win graphs have capture time at most linear in , there exist -vertex directed graphs for which the capture time is in . We present an alternate construction, first given in the thesis of one this paper’s co-authors , of an infinite family of cop-win digraphs with quadratic capture time which does not require the impressive machinery of .
There exists an infinite family of directed graphs on vertices with capture time .
We define a ring digraph to be a reflexive directed graph on vertices consisting of:
an “outer ring” comprised of a (counterclockwise)-directed -cycle
an “inner ring” comprised of a (counterclockwise)-directed -cycle
arcs from a vertex in the inner ring to a vertex in the outer ring configured such that vertices in the inner ring are incident with one such arc, and 1 vertex in the inner ring is incident with two such arcs
an “internal vertex” (marked C in Figure 2) that is out-directed to every vertex in the inner ring
We claim that for all , is cop-win and the capture time on is . In particular, the capture time on is , where .
We describe a strategy where the cop starts on the vertex labeled in Figure 2 and show that with both players moving optimally, the game takes moves from this starting position. Then we show that this is the best starting position for the cop.
Let be the cop’s position after the move (so is her starting position), and define analogously. Then if = and , then the cop must play (the robber can remain on until the cop is on this vertex). The robber’s only choice is to play . Now the cop must move along the inner ring, as the robber can pass whenever the cop passes (and if she moves onto the outer ring, the robber wins). Now the only way that the cop can win is to be on vertex in Figure 2 (that is, the vertex on the inner ring with outdegree 3) while the robber is on vertex 7. That is, the cop wants to be one step behind the robber. Then the robber can either pass or move onto vertex 1, and will be captured in one move in either case. But after move 1, the cop is one step ahead of (i.e. steps behind) the robber. Therefore it will take full trips (i.e. moves) to come to this position, as every time the cop makes a full trip around the inner ring, she is one more step ahead of the robber.
If the cop’s initial position was anywhere but on vertex , then the robber could play and remain there for the rest of the game, so is the cop’s only option. ∎
Interestingly, the problem of settling the capture time in tournaments remains open:
Question 2 (Slívlová ).
Does there exist a constant such that, for every tournament , ?
6.2 Relative positions of cops and robber
For clarity, we remind the reader that “optimal” play means that the cop attempts to win in as few rounds as possible while the robber attempts to prolong his capture as much as possible. Two interesting conjectures related to the positions of the game’s agents in the undirected game were posed by Hahn, first via private communication to the research community and then published in :
 If is a cop-win (undirected) graph, then the distance between the cop and robber does not increase in consecutive rounds in optimal play.
 If is a cop-win (undirected) graph, then the cop visits each vertex at most once in optimal play.
These conjectures were each refuted in . We show that analogous versions of these conjectures would not hold in the context of ographs.
There exist cop-win oriented graphs in which, if both cop and robber play optimally, the distance between the cop and robber must strictly increase in two consecutive rounds.
Consider the graph in Figure 3, where is taken to be a sufficiently large positive integer. The vertex , whose outneighbourhood is a (not all arcs are drawn), is a source and hence the starting point for a single cop. The vertices are oriented from to and the vertices are oriented from to .
In optimal play, the robber must clearly begin on some or . If the robber starts from any vertex on , , or any , , then it will clearly be captured in 2 steps. Hence we have that the robber needs to start from either or to play optimally. As these two cases are symmetric, assume the robber begins at . In the first round, the cop moves from to and the robber moves to to avoid capture. Note that the distance from the cop to the robber is at this point in the game, attained by the path . However, the cop will not move along this path, since entering the cycle induced by cannot lead to capture in optimal play (if the robber resides on a cycle, then the cop must capture him from outside the cycle). Thus, the cop’s optimal strategy is to move along the path . After these seven rounds have completed, the robber will occupy some , which is in the outneighbourhood of , and thus the cop wins on her next turn. In this strategy, it is easy to see from the second to third rounds of the game, the distance from the cop to the robber changed from to .
Finally, we note that this particular example can easily be generalize so that the increase in distance can be made arbitrarily large. To do this, we change the cycle of length in the outneighbourhood of to be one of arbitrary even length with antipodal vertices taking the roles of and and then making sufficiently large. ∎
Finally, we show that a cop may have to revisit a vertex after having left it during optimal play.
There exists a cop win oriented graph in which cop must revisit a vertex in optimal play.
The cop begins on . If the robber starts from any vertex in , the capture time will be one. If the robber begins on or the capture time will be two unless he begins on . We proceed by cases.
If the robber begins at , then the cop will move to , forcing the robber to move to . In the second through seventh rounds, the will move from to and the robber will finish on some (as in the proof of the previous theorem, will be chosen to be sufficiently large). The cop then wins in the eighth round.
If the robber starts from position , then the cop moves to , forcing the robber to move to . This is similar to the above case, and the cop will again win after rounds.
Let us assume the robber starts from . In the first step, the cop moves from to , forcing the robber to move to . In the next five rounds, the cop will move from to , and robber moves from to . In the seventh step, the cop moves to . The robber is forced to move to . From above cases we know the cop requires seven more steps to capture the robber. Hence, the cop moves from again to in six more rounds (i.e. from to round), and then captures it in the round.
The third case then represents optimal play, and the cop revisits vertex in this case. ∎
This work was supported in part by the Fonds de recherche du Québec – Nature et technologies (FRQNT) and the Natural Sciences and Engineering Research Council of Canada (NSERC). Devvrit Khatri and Nithish Kumar also acknowledge the generous support received from MITACS and the Globalink Program.
-  M. Aigner and M. Fromme, A game of cops and robbers, Discrete Applied Mathematics, 8 (1984), pp. 1 – 12.
-  A. Berarducci and B. Intrigila, On the cop number of a graph, Advances in Applied Mathematics, 14 (1993), pp. 389 – 403.
-  A. Bonato and E. Chiniforooshan, Pursuit and evasion from a distance: Algorithms and bounds, in Proceedings of the Meeting on Analytic Algorithmics and Combinatorics, ANALCO ’09, Philadelphia, PA, USA, 2009, Society for Industrial and Applied Mathematics, pp. 1–10.
-  A. Bonato and R. J. Nowakowski, The game of cops and robbers on graphs, vol. 61, American Mathematical Society Providence, 2011.
-  M. Boyer, S. El Harti, A. El Ouarari, R. Ganian, G. Hahn, C. Moldenauer, I. Rutter, B. Thériault, and M. Vatshell, Cops and robbers: remarks and problems, Journal of Combinatorial Mathematics and Combinatorial Computing, 85 (2013).
-  E. Darlington, C. Gibbons, K. Guy, and J. Hauswald, Cops and robbers on oriented graphs, RHIT Undergrad. Math. J., 17 (2016), pp. 202–209.
-  A. Dudek, P. Gordinowicz, and P. Prałat, Cops and robbers playing on edges, Journal of Combinatorics, 5 (2014), pp. 131–153.
-  A. Frieze, M. Krivelevich, and P.-S. Loh, Variations on cops and robbers, Journal of Graph Theory, 69 (2012), pp. 383–402.
-  I. Gromovikov, W. B. Kinnersley, and B. Seamone, Fully active cops and robbers, arXiv preprint arXiv:1808.06734, (2018).
-  G. Hahn and G. MacGillivray, A note on k-cop, l-robber games on graphs, Discrete Mathematics, 306 (2006), pp. 2492 – 2497. Creation and Recreation: A Tribute to the Memory of Claude Berge.
-  Y. O. Hamidoune, On a pursuit game on cayley digraphs, European Journal of Combinatorics, 8 (1987), pp. 289 – 295.
-  A. Hill, Cops and robbers: Theme and variations, ProQuest LLC, Ann Arbor, MI, 2008. Thesis (Ph.D.)–Dalhousie University (Canada).
-  S. A. Hosseini, Game of Cops and Robbers on Eulerian Digraphs, PhD thesis, Simon Fraser University, 2018.
-  S. A. Hosseini and B. Mohar, Game of cops and robbers in oriented quotients of the integer grid, Discrete Math., 341 (2018), pp. 439–450.
-  W. B. Kinnersley, Cops and robbers is EXPTIME-complete, J. Combin. Theory Ser. B, 111 (2015), pp. 201–220.
-  , Bounds on the length of a game of Cops and Robbers, Discrete Math., 341 (2018), pp. 2508–2518.
-  N. Komarov, Capture time in variants of cops & robbers games, PhD thesis, Dartmouth College, 7 2013.
-  X. Liu and D. B. West, Line digraphs and coreflexive vertex sets, Discrete Mathematics, 188 (1998), pp. 269 – 277.
-  P.-S. Loh and S. Oh, Cops and robbers on planar-directed graphs, Journal of Graph Theory, (2017), pp. n/a–n/a.
-  R. Nowakowski and P. Winkler, Vertex-to-vertex pursuit in a graph, Discrete Mathematics, 43 (1983), pp. 235 – 239.
-  A. Quilliot, Thése d’Etat, PhD thesis, Université de Paris VI, 1983.
-  V. Slívová, Cops and robber game on directed complete graphs. 2015.
-  M. M. Sysło, Characterizations of outerplanar graphs, Discrete Mathematics, 26 (1979), pp. 47 – 53.