1. Definitions
    Pursuit-evasion  Dismantling 

2. Closure properties

3. Equivalence of cop-win and dismantlability

4. Recognition algorithms and the family of all dismantling orders

5. Related families of graphs

6. References

7. External links

In graph theory, a cop-win graph is an undirected graph on which the pursuer (cop) can always win a pursuit-evasion game in which he chases a robber, the players alternately

moving along an edge of a graph or staying put, until the cop lands on the robber's vertex.^[1] Finite cop-win graphs are also called dismantlable graphs or constructible graphs, because they can be dismantled by repeatedly removing a dominated vertex (one whose closed neighborhood is a subset of another vertex's neighborhood) or constructed by repeatedly adding such a vertex. The cop-win graphs can be recognized in polynomial time by a greedy algorithm that constructs a dismantling order. They include the chordal graphs, and the graphs that contain a universal vertex.

Definitions

Pursuit-evasion

Cop-win graphs (and the complementary class of graphs, robber-win graphs) were introduced by {{harvtxt|Nowakowski|Winkler|1983}} in the context of the following pursuit-evasion game, whose invention they credit to G. Gabor and A. Quilliot. Two players, a cop and a robber, are positioned at different initial vertices of a given graph. They play in turns; on each player's turn, the player may either move to an adjacent vertex or stay put. The game ends, and the cop wins, if the cop can end his turn on the same vertex as the robber. The robber wins by indefinitely evading the cop. A cop-win graph is a graph with the property that, no matter where the two players start, the cop can always force a win.^[2]

Dismantling

The closed neighborhood {{math|N[v]}} of a vertex {{mvar|v}} in a given graph is the set of vertices consisting of {{mvar|v}} itself and all other vertices adjacent to {{mvar|v}}. The vertex {{mvar|v}} is said to be dominated by another vertex {{mvar|w}} when {{math|N[v] ⊂ N[w]}}. That is, {{mvar|v}} and {{mvar|w}} are adjacent, and every other neighbor of {{mvar|v}} is also a neighbor of {{mvar|w}}.^[3] {{harvtxt|Nowakowski|Winkler|1983}} call a vertex that is dominated by another vertex an irreducible vertex.^[2]

A dismantling order or domination elimination ordering of a given graph is an ordering of the vertices such that, if the vertices are removed one-by-one in this order, each vertex (except the last) is dominated. A graph is dismantlable if and only if it has a dismantling order.^[2][3]

Closure properties

The family of cop-win graphs is closed under strong products of graphs. The cop can win in a strong product of cop-win graphs by playing to win one of the factors of the product, and after doing so playing in the remaining factors in the same way while continuing to stay on the same vertex as the robber in the already-won factor.^[2] For instance, the king's graph, a strong product of two path graphs, is cop-win.^[4]

It is not true that every induced subgraph of a cop-win graph is cop-win. However, certain special induced subgraphs do remain cop-win.

Equivalence of cop-win and dismantlability

Every dismantlable graph is cop-win. A winning strategy for the cop is to find a dominated vertex {{mvar|v}}, and to follow (by induction) an optimal strategy on the graph formed by removing {{mvar|v}}, pretending that the robber is on the vertex that dominates {{mvar|v}} whenever he is actually on {{mvar|v}}. This will result either in an actual win of the game, or in a position where the robber is on {{mvar|v}} and the cop is on the dominating vertex, from which the cop can win in one more move.^[2] This strategy can be used as the basis for a proof by induction of the fact that, in an {{mvar|n}}-vertex graph, the cop can force a win in at most {{math|n − 4}} moves.^[5][6]

Conversely, every cop-win graph has a dominated vertex. For, if the robber plays optimally to make the game last as long as possible and the last position of the game before the cop wins has the cop at vertex c and the robber at r, then r must be dominated by c, else the robber could prolong the game for at least one move. The function that maps r onto c and leaves every other vertex in place is a retraction, so the graph formed by removing the dominated vertex must remain cop-win. By induction, it follows that every cop-win graph is dismantlable.^[2] The same argument shows that, in a graph with no dominated vertices, the robber can never lose: there is always a move to a vertex that is not adjacent to the cop. In an arbitrary graph that is not cop-win, the robber can win by removing all dominated vertices and playing within the remaining subgraph, which must be non-empty else the graph would be dismantlable.

Recognition algorithms and the family of all dismantling orders

If a vertex in a cop-win graph is dominated, then (as other dominated vertices are removed) it remains dominated until it is either removed itself or it becomes the final vertex of a dismantling order. Therefore, the collection of valid dismantling orders has the structure of an antimatroid, and a dismantling order can be found by a simple greedy algorithm that repeatedly finds and removes any dominated vertex. The process succeeds if and only if the graph is cop-win, so as well as providing an algorithm for finding dismantling orders this method provides an algorithm for testing whether a given graph is cop-win.

One way to find each successive vertex to remove is to perform the following steps:

• Find all triangles in the graph, and count the number of triangles that each edge participates in.
• Repeatedly find a vertex {{mvar|v}} that is an endpoint of an edge participating in a number of triangles equal to the degree of {{mvar|v}} minus one, delete {{mvar|v}}, and decrement the triangles per edge of each remaining edge that formed a triangle with {{mvar|v}}.

In a graph with {{mvar|n}} vertices, {{mvar|m}} edges, and degeneracy {{mvar|d}}, this process can be carried out in time

An alternative and more complicated algorithm by {{harvtxt|Spinrad|2004}} involves maintaining a number called the deficit for each adjacent pair of vertices {{math|(x, y)}}, which counts the number of neighbors of {{mvar|x}} that are not neighbors of {{mvar|y}}. It constructs and maintains the actual deficit set (neighbors of {{mvar|x}} that are not neighbors of {{mvar|y}}) only when the deficit is small. To speed up its computations, it uses decision trees that classify vertices according to their adjacencies with small blocks of {{math|log₂ n}} vertices. It performs the following steps:

• Group the vertices into blocks, build a decision tree for each block, and classify all vertices by their sets of neighbors within each block.
• Use this classification to compute the deficits for all adjacent pairs of vertices, in time {{math|O(n/log n)}} per pair.
• Repeat the following steps {{math|n/log n}} times, until all vertices have been removed:
  • Construct the deficit set for all adjacent pairs that have deficit at most {{math|log n}} and that have not already had this set constructed, using the initial set of decision trees, in time {{math|O(n/log n)}} per pair.
  • Repeat the following steps {{math|log n}} times:
  • Find a pair {{math|(x, y)}} with constructed but empty deficit set.
  • Delete vertex {{mvar|x}}
  • Remove {{mvar|x}} from all constructed deficit sets that it belongs to.
  • Build a decision tree for the {{math|log n}} removed vertices and classify all vertices by their neighbors in this set.
  • Use the decision tree to update the deficits for all edges in constant time per edge.

The time for this procedure is {{math|O(n² + mn/log n)}}.^[8]

Related families of graphs

Every finite chordal graph is a dismantlable graph, and every elimination ordering of a chordal graph (an ordering of the vertices in which the later neighbors of each vertex form a clique) is a valid dismantling order. However, there exist infinite chordal graphs that are not cop-win.^[9]

Every graph that has a universal vertex is dismantlable, for every other vertex is dominated by the universal vertex, and any vertex ordering that places the universal vertex last is a valid dismantling order. Conversely, almost all dismantlable graphs have a universal vertex, in the sense that, among all {{mvar|n}}-vertex dismantlable graphs, the fraction of these graphs that have a universal vertex goes to one in the limit as {{mvar|n}} goes to infinity.^[10]

The hereditarily cop-win graphs are the graphs in which every isometric subgraph is cop-win. This is not true for all cop-win graphs; for instance, the five-vertex wheel graph is cop-win but contains an isometric 4-cycle, which is not cop-win, so this wheel graph is not hereditarily cop-win. The hereditarily cop-win graphs are the same as the bridged graphs, graphs in which every cycle of length four or more has a shortcut, a pair of vertices closer in the graph than they are in the cycle.^[11] A cop-win graph is hereditarily cop-win if and only if it has neither the 4-cycle nor 5-cycle as induced cycles. For a hereditarily cop-win graph, the reversal of any breadth-first traversal is a valid dismantling order, from which it follows that any vertex can be chosen as the last vertex of a dismantling order.^[12]

A similar game with larger numbers of cops can be used to define the cop number of a graph, the smallest number of cops needed to win the game. The cop-win graphs are exactly the graphs of cop number equal to one.^[13]

References

External links

• Dismantlable graphs, Information System on Graph Classes and their Inclusions

• Mirdadzai
• Mir Damad
• Mir Dast
• Mir (disambiguation)
• Mirdita Republic
• Mirditë District
• Mi Reflejo
• Mireille
• Mireille Hartuch
• Mireille Mathieu
• Mireille Roccatti
• Mirela Ivanova
• Mirele Efros
• Mirella Freni
• Mir Emad
• Mir emad
• Mir Emad Hassani
• Mirena
• Mirena coil
• Mirenge District
• Mir EO-1
• Mirepoix
• Mire poix
• Mirepoix, Ariège
• Mirepoix (cuisine)