pursuit-evasion games and visibility · 1;‘ = fk 1g; 2 t k;‘, k 2, is the set of trees, t, that...
TRANSCRIPT
![Page 1: Pursuit-evasion games and visibility · 1;‘ = fK 1g; 2 T k;‘, k 2, is the set of trees, T, that can be formed as follows: let T 1, T 2, T 3 2T k 1;‘. Let r 1;r 2;r 3 be vertices](https://reader033.vdocument.in/reader033/viewer/2022060718/607e74cfe019fa5e9f7c9b66/html5/thumbnails/1.jpg)
Pursuit-evasion games and visibility
Danny Dyer
Department of Mathematics and StatisticsMemorial University of Newfoundland
Graphs, groups, and more:celebrating Brian Alspach’s 80th and Dragan Marusic’s 65th birthdays
Koper, Slovenia
Danny Dyer [email protected] (MUN) Pursuit-evasion games and visibility GGM 1 / 27
![Page 2: Pursuit-evasion games and visibility · 1;‘ = fK 1g; 2 T k;‘, k 2, is the set of trees, T, that can be formed as follows: let T 1, T 2, T 3 2T k 1;‘. Let r 1;r 2;r 3 be vertices](https://reader033.vdocument.in/reader033/viewer/2022060718/607e74cfe019fa5e9f7c9b66/html5/thumbnails/2.jpg)
Speleotopology
(Breisch, SW Cavers, 1967)
Danny Dyer [email protected] (MUN) Pursuit-evasion games and visibility GGM 2 / 27
![Page 3: Pursuit-evasion games and visibility · 1;‘ = fK 1g; 2 T k;‘, k 2, is the set of trees, T, that can be formed as follows: let T 1, T 2, T 3 2T k 1;‘. Let r 1;r 2;r 3 be vertices](https://reader033.vdocument.in/reader033/viewer/2022060718/607e74cfe019fa5e9f7c9b66/html5/thumbnails/3.jpg)
Two main models:
Edge-searching (or sweeping) is a pursuit-evasion model where a fast,invisible robber that can stop on vertices or edges tries to elude slow,visible cops that move on vertices. Can be thought of as analogous totrying to find a child lost in a cave.
(Parsons, 1978)
Cops and robber is a pursuit-evasion where a slow, visible robber that canonly move on vertices tries to elude slow, visible cops, also moving onvertices. Analogous to Pac-Man, or “tag.”
(Quilliot, 1978/Nowakowski & Winkler, 1983)
Danny Dyer [email protected] (MUN) Pursuit-evasion games and visibility GGM 3 / 27
![Page 4: Pursuit-evasion games and visibility · 1;‘ = fK 1g; 2 T k;‘, k 2, is the set of trees, T, that can be formed as follows: let T 1, T 2, T 3 2T k 1;‘. Let r 1;r 2;r 3 be vertices](https://reader033.vdocument.in/reader033/viewer/2022060718/607e74cfe019fa5e9f7c9b66/html5/thumbnails/4.jpg)
Simultaneous Edge-searching basics:
The cops. . .
. . . have complete knowledge of the graph.
. . . move slowly, from vertex to vertex.
. . . cannot see the robber.
. . . can all simultaneously move.
. . . can remain in their position.
The robber. . .
. . . has complete knowledge of the graph.
. . . can move arbitrarily fast, stopping on edges, at any time.
. . . can see the cops.
. . . can remain in its position.
On a graph X , the minimum number of cops needed to guarantee captureof the robber is the edge-search number, s(X ).
Danny Dyer [email protected] (MUN) Pursuit-evasion games and visibility GGM 4 / 27
![Page 5: Pursuit-evasion games and visibility · 1;‘ = fK 1g; 2 T k;‘, k 2, is the set of trees, T, that can be formed as follows: let T 1, T 2, T 3 2T k 1;‘. Let r 1;r 2;r 3 be vertices](https://reader033.vdocument.in/reader033/viewer/2022060718/607e74cfe019fa5e9f7c9b66/html5/thumbnails/5.jpg)
An edge searching example
Danny Dyer [email protected] (MUN) Pursuit-evasion games and visibility GGM 5 / 27
![Page 6: Pursuit-evasion games and visibility · 1;‘ = fK 1g; 2 T k;‘, k 2, is the set of trees, T, that can be formed as follows: let T 1, T 2, T 3 2T k 1;‘. Let r 1;r 2;r 3 be vertices](https://reader033.vdocument.in/reader033/viewer/2022060718/607e74cfe019fa5e9f7c9b66/html5/thumbnails/6.jpg)
An edge searching example
Danny Dyer [email protected] (MUN) Pursuit-evasion games and visibility GGM 5 / 27
![Page 7: Pursuit-evasion games and visibility · 1;‘ = fK 1g; 2 T k;‘, k 2, is the set of trees, T, that can be formed as follows: let T 1, T 2, T 3 2T k 1;‘. Let r 1;r 2;r 3 be vertices](https://reader033.vdocument.in/reader033/viewer/2022060718/607e74cfe019fa5e9f7c9b66/html5/thumbnails/7.jpg)
An edge searching example
Danny Dyer [email protected] (MUN) Pursuit-evasion games and visibility GGM 5 / 27
![Page 8: Pursuit-evasion games and visibility · 1;‘ = fK 1g; 2 T k;‘, k 2, is the set of trees, T, that can be formed as follows: let T 1, T 2, T 3 2T k 1;‘. Let r 1;r 2;r 3 be vertices](https://reader033.vdocument.in/reader033/viewer/2022060718/607e74cfe019fa5e9f7c9b66/html5/thumbnails/8.jpg)
An edge searching example
Danny Dyer [email protected] (MUN) Pursuit-evasion games and visibility GGM 5 / 27
![Page 9: Pursuit-evasion games and visibility · 1;‘ = fK 1g; 2 T k;‘, k 2, is the set of trees, T, that can be formed as follows: let T 1, T 2, T 3 2T k 1;‘. Let r 1;r 2;r 3 be vertices](https://reader033.vdocument.in/reader033/viewer/2022060718/607e74cfe019fa5e9f7c9b66/html5/thumbnails/9.jpg)
An edge searching example
Danny Dyer [email protected] (MUN) Pursuit-evasion games and visibility GGM 5 / 27
![Page 10: Pursuit-evasion games and visibility · 1;‘ = fK 1g; 2 T k;‘, k 2, is the set of trees, T, that can be formed as follows: let T 1, T 2, T 3 2T k 1;‘. Let r 1;r 2;r 3 be vertices](https://reader033.vdocument.in/reader033/viewer/2022060718/607e74cfe019fa5e9f7c9b66/html5/thumbnails/10.jpg)
An edge searching example
Danny Dyer [email protected] (MUN) Pursuit-evasion games and visibility GGM 5 / 27
![Page 11: Pursuit-evasion games and visibility · 1;‘ = fK 1g; 2 T k;‘, k 2, is the set of trees, T, that can be formed as follows: let T 1, T 2, T 3 2T k 1;‘. Let r 1;r 2;r 3 be vertices](https://reader033.vdocument.in/reader033/viewer/2022060718/607e74cfe019fa5e9f7c9b66/html5/thumbnails/11.jpg)
An edge searching example
Danny Dyer [email protected] (MUN) Pursuit-evasion games and visibility GGM 5 / 27
![Page 12: Pursuit-evasion games and visibility · 1;‘ = fK 1g; 2 T k;‘, k 2, is the set of trees, T, that can be formed as follows: let T 1, T 2, T 3 2T k 1;‘. Let r 1;r 2;r 3 be vertices](https://reader033.vdocument.in/reader033/viewer/2022060718/607e74cfe019fa5e9f7c9b66/html5/thumbnails/12.jpg)
An edge searching example
Danny Dyer [email protected] (MUN) Pursuit-evasion games and visibility GGM 5 / 27
![Page 13: Pursuit-evasion games and visibility · 1;‘ = fK 1g; 2 T k;‘, k 2, is the set of trees, T, that can be formed as follows: let T 1, T 2, T 3 2T k 1;‘. Let r 1;r 2;r 3 be vertices](https://reader033.vdocument.in/reader033/viewer/2022060718/607e74cfe019fa5e9f7c9b66/html5/thumbnails/13.jpg)
An edge searching example
Danny Dyer [email protected] (MUN) Pursuit-evasion games and visibility GGM 5 / 27
![Page 14: Pursuit-evasion games and visibility · 1;‘ = fK 1g; 2 T k;‘, k 2, is the set of trees, T, that can be formed as follows: let T 1, T 2, T 3 2T k 1;‘. Let r 1;r 2;r 3 be vertices](https://reader033.vdocument.in/reader033/viewer/2022060718/607e74cfe019fa5e9f7c9b66/html5/thumbnails/14.jpg)
An edge searching example
Danny Dyer [email protected] (MUN) Pursuit-evasion games and visibility GGM 5 / 27
![Page 15: Pursuit-evasion games and visibility · 1;‘ = fK 1g; 2 T k;‘, k 2, is the set of trees, T, that can be formed as follows: let T 1, T 2, T 3 2T k 1;‘. Let r 1;r 2;r 3 be vertices](https://reader033.vdocument.in/reader033/viewer/2022060718/607e74cfe019fa5e9f7c9b66/html5/thumbnails/15.jpg)
An edge searching example
Danny Dyer [email protected] (MUN) Pursuit-evasion games and visibility GGM 5 / 27
![Page 16: Pursuit-evasion games and visibility · 1;‘ = fK 1g; 2 T k;‘, k 2, is the set of trees, T, that can be formed as follows: let T 1, T 2, T 3 2T k 1;‘. Let r 1;r 2;r 3 be vertices](https://reader033.vdocument.in/reader033/viewer/2022060718/607e74cfe019fa5e9f7c9b66/html5/thumbnails/16.jpg)
An edge searching example
Danny Dyer [email protected] (MUN) Pursuit-evasion games and visibility GGM 5 / 27
![Page 17: Pursuit-evasion games and visibility · 1;‘ = fK 1g; 2 T k;‘, k 2, is the set of trees, T, that can be formed as follows: let T 1, T 2, T 3 2T k 1;‘. Let r 1;r 2;r 3 be vertices](https://reader033.vdocument.in/reader033/viewer/2022060718/607e74cfe019fa5e9f7c9b66/html5/thumbnails/17.jpg)
An edge searching example
Danny Dyer [email protected] (MUN) Pursuit-evasion games and visibility GGM 5 / 27
![Page 18: Pursuit-evasion games and visibility · 1;‘ = fK 1g; 2 T k;‘, k 2, is the set of trees, T, that can be formed as follows: let T 1, T 2, T 3 2T k 1;‘. Let r 1;r 2;r 3 be vertices](https://reader033.vdocument.in/reader033/viewer/2022060718/607e74cfe019fa5e9f7c9b66/html5/thumbnails/18.jpg)
An edge searching example
Danny Dyer [email protected] (MUN) Pursuit-evasion games and visibility GGM 5 / 27
![Page 19: Pursuit-evasion games and visibility · 1;‘ = fK 1g; 2 T k;‘, k 2, is the set of trees, T, that can be formed as follows: let T 1, T 2, T 3 2T k 1;‘. Let r 1;r 2;r 3 be vertices](https://reader033.vdocument.in/reader033/viewer/2022060718/607e74cfe019fa5e9f7c9b66/html5/thumbnails/19.jpg)
An edge searching example
So, s(X ) ≤ 3. In fact, s(X ) = 3.
Danny Dyer [email protected] (MUN) Pursuit-evasion games and visibility GGM 5 / 27
![Page 20: Pursuit-evasion games and visibility · 1;‘ = fK 1g; 2 T k;‘, k 2, is the set of trees, T, that can be formed as follows: let T 1, T 2, T 3 2T k 1;‘. Let r 1;r 2;r 3 be vertices](https://reader033.vdocument.in/reader033/viewer/2022060718/607e74cfe019fa5e9f7c9b66/html5/thumbnails/20.jpg)
The cop and robber model
The cops. . .
. . . have complete knowledge of the graph.
. . . move slowly, from vertex to vertex.
. . . can see the robber.
. . . can all simultaneously move.
. . . can remain in their position.
The robber. . .
. . . has complete knowledge of the graph.
. . . moves slowly, from vertex to vertex.
. . . can see the cops.
. . . can remain in its position.
On a graph X , the minimum number of cops needed to guarantee captureof the robber in a finite number of turns is the cop number c(X ).
Danny Dyer [email protected] (MUN) Pursuit-evasion games and visibility GGM 6 / 27
![Page 21: Pursuit-evasion games and visibility · 1;‘ = fK 1g; 2 T k;‘, k 2, is the set of trees, T, that can be formed as follows: let T 1, T 2, T 3 2T k 1;‘. Let r 1;r 2;r 3 be vertices](https://reader033.vdocument.in/reader033/viewer/2022060718/607e74cfe019fa5e9f7c9b66/html5/thumbnails/21.jpg)
A cops and robber example
Danny Dyer [email protected] (MUN) Pursuit-evasion games and visibility GGM 7 / 27
![Page 22: Pursuit-evasion games and visibility · 1;‘ = fK 1g; 2 T k;‘, k 2, is the set of trees, T, that can be formed as follows: let T 1, T 2, T 3 2T k 1;‘. Let r 1;r 2;r 3 be vertices](https://reader033.vdocument.in/reader033/viewer/2022060718/607e74cfe019fa5e9f7c9b66/html5/thumbnails/22.jpg)
A cops and robber example
Danny Dyer [email protected] (MUN) Pursuit-evasion games and visibility GGM 7 / 27
![Page 23: Pursuit-evasion games and visibility · 1;‘ = fK 1g; 2 T k;‘, k 2, is the set of trees, T, that can be formed as follows: let T 1, T 2, T 3 2T k 1;‘. Let r 1;r 2;r 3 be vertices](https://reader033.vdocument.in/reader033/viewer/2022060718/607e74cfe019fa5e9f7c9b66/html5/thumbnails/23.jpg)
A cops and robber example
Danny Dyer [email protected] (MUN) Pursuit-evasion games and visibility GGM 7 / 27
![Page 24: Pursuit-evasion games and visibility · 1;‘ = fK 1g; 2 T k;‘, k 2, is the set of trees, T, that can be formed as follows: let T 1, T 2, T 3 2T k 1;‘. Let r 1;r 2;r 3 be vertices](https://reader033.vdocument.in/reader033/viewer/2022060718/607e74cfe019fa5e9f7c9b66/html5/thumbnails/24.jpg)
A cops and robber example
Danny Dyer [email protected] (MUN) Pursuit-evasion games and visibility GGM 7 / 27
![Page 25: Pursuit-evasion games and visibility · 1;‘ = fK 1g; 2 T k;‘, k 2, is the set of trees, T, that can be formed as follows: let T 1, T 2, T 3 2T k 1;‘. Let r 1;r 2;r 3 be vertices](https://reader033.vdocument.in/reader033/viewer/2022060718/607e74cfe019fa5e9f7c9b66/html5/thumbnails/25.jpg)
A cops and robber example
Danny Dyer [email protected] (MUN) Pursuit-evasion games and visibility GGM 7 / 27
![Page 26: Pursuit-evasion games and visibility · 1;‘ = fK 1g; 2 T k;‘, k 2, is the set of trees, T, that can be formed as follows: let T 1, T 2, T 3 2T k 1;‘. Let r 1;r 2;r 3 be vertices](https://reader033.vdocument.in/reader033/viewer/2022060718/607e74cfe019fa5e9f7c9b66/html5/thumbnails/26.jpg)
A cops and robber example
Danny Dyer [email protected] (MUN) Pursuit-evasion games and visibility GGM 7 / 27
![Page 27: Pursuit-evasion games and visibility · 1;‘ = fK 1g; 2 T k;‘, k 2, is the set of trees, T, that can be formed as follows: let T 1, T 2, T 3 2T k 1;‘. Let r 1;r 2;r 3 be vertices](https://reader033.vdocument.in/reader033/viewer/2022060718/607e74cfe019fa5e9f7c9b66/html5/thumbnails/27.jpg)
A cops and robber example
So, c(X ) ≤ 2. In fact, c(X ) = 2.
Danny Dyer [email protected] (MUN) Pursuit-evasion games and visibility GGM 7 / 27
![Page 28: Pursuit-evasion games and visibility · 1;‘ = fK 1g; 2 T k;‘, k 2, is the set of trees, T, that can be formed as follows: let T 1, T 2, T 3 2T k 1;‘. Let r 1;r 2;r 3 be vertices](https://reader033.vdocument.in/reader033/viewer/2022060718/607e74cfe019fa5e9f7c9b66/html5/thumbnails/28.jpg)
Time constraints
Theorem (Alspach, Dyer, Hanson, Yang 2008)
In the cops and robber model, if X is reflexive multigraph on n vertices,then the minimum number of cops needed to guarantee capture of therobber in a single move is γ(X ).
Theorem (ADHY 2008)
In the simultaneous edge-searching model, if X is a reflexive multigraph,then the minimum number of searchers needed to guarantee capture ofthe robber in a single move is |E (X )|+ m, where n −m is the largestorder induced bipartite submultigraph of X .
Danny Dyer [email protected] (MUN) Pursuit-evasion games and visibility GGM 8 / 27
![Page 29: Pursuit-evasion games and visibility · 1;‘ = fK 1g; 2 T k;‘, k 2, is the set of trees, T, that can be formed as follows: let T 1, T 2, T 3 2T k 1;‘. Let r 1;r 2;r 3 be vertices](https://reader033.vdocument.in/reader033/viewer/2022060718/607e74cfe019fa5e9f7c9b66/html5/thumbnails/29.jpg)
The zero-visibility cop and robber model
The cops. . .
. . . have complete knowledge of the graph.
. . . move slowly, from vertex to vertex.
. . . CANNOT see the robber.
. . . can all simultaneously move.
. . . can remain in their position.
The robber. . .
. . . has complete knowledge of the graph.
. . . moves slowly, from vertex to vertex.
. . . can see the cops.
. . . can remain in its position.
On a graph X , the minimum number of cops needed to guarantee captureof the robber in a finite number of turns is the zero visibility cop numberc0(X ).Danny Dyer [email protected] (MUN) Pursuit-evasion games and visibility GGM 9 / 27
![Page 30: Pursuit-evasion games and visibility · 1;‘ = fK 1g; 2 T k;‘, k 2, is the set of trees, T, that can be formed as follows: let T 1, T 2, T 3 2T k 1;‘. Let r 1;r 2;r 3 be vertices](https://reader033.vdocument.in/reader033/viewer/2022060718/607e74cfe019fa5e9f7c9b66/html5/thumbnails/30.jpg)
Basic differences
c(K2) = 1 c(K3) = 1 c(C4) = 2
c0(K2) = 1 c0(K3) = 2 c0(C4) = 2
Danny Dyer [email protected] (MUN) Pursuit-evasion games and visibility GGM 10 / 27
![Page 31: Pursuit-evasion games and visibility · 1;‘ = fK 1g; 2 T k;‘, k 2, is the set of trees, T, that can be formed as follows: let T 1, T 2, T 3 2T k 1;‘. Let r 1;r 2;r 3 be vertices](https://reader033.vdocument.in/reader033/viewer/2022060718/607e74cfe019fa5e9f7c9b66/html5/thumbnails/31.jpg)
Basic differences
So, c(Kn) = 1.
Danny Dyer [email protected] (MUN) Pursuit-evasion games and visibility GGM 11 / 27
![Page 32: Pursuit-evasion games and visibility · 1;‘ = fK 1g; 2 T k;‘, k 2, is the set of trees, T, that can be formed as follows: let T 1, T 2, T 3 2T k 1;‘. Let r 1;r 2;r 3 be vertices](https://reader033.vdocument.in/reader033/viewer/2022060718/607e74cfe019fa5e9f7c9b66/html5/thumbnails/32.jpg)
Basic differences
So, c(Kn) = 1. But c0(Kn) = dn2e – that is,c0(X )
c(X )can be arbitrarily large.
(Tosic 1985, Tang 2004)
Danny Dyer [email protected] (MUN) Pursuit-evasion games and visibility GGM 11 / 27
![Page 33: Pursuit-evasion games and visibility · 1;‘ = fK 1g; 2 T k;‘, k 2, is the set of trees, T, that can be formed as follows: let T 1, T 2, T 3 2T k 1;‘. Let r 1;r 2;r 3 be vertices](https://reader033.vdocument.in/reader033/viewer/2022060718/607e74cfe019fa5e9f7c9b66/html5/thumbnails/33.jpg)
Differences with edge-searching
Danny Dyer [email protected] (MUN) Pursuit-evasion games and visibility GGM 12 / 27
![Page 34: Pursuit-evasion games and visibility · 1;‘ = fK 1g; 2 T k;‘, k 2, is the set of trees, T, that can be formed as follows: let T 1, T 2, T 3 2T k 1;‘. Let r 1;r 2;r 3 be vertices](https://reader033.vdocument.in/reader033/viewer/2022060718/607e74cfe019fa5e9f7c9b66/html5/thumbnails/34.jpg)
Differences with edge-searching
Danny Dyer [email protected] (MUN) Pursuit-evasion games and visibility GGM 12 / 27
![Page 35: Pursuit-evasion games and visibility · 1;‘ = fK 1g; 2 T k;‘, k 2, is the set of trees, T, that can be formed as follows: let T 1, T 2, T 3 2T k 1;‘. Let r 1;r 2;r 3 be vertices](https://reader033.vdocument.in/reader033/viewer/2022060718/607e74cfe019fa5e9f7c9b66/html5/thumbnails/35.jpg)
Differences with edge-searching
Danny Dyer [email protected] (MUN) Pursuit-evasion games and visibility GGM 12 / 27
![Page 36: Pursuit-evasion games and visibility · 1;‘ = fK 1g; 2 T k;‘, k 2, is the set of trees, T, that can be formed as follows: let T 1, T 2, T 3 2T k 1;‘. Let r 1;r 2;r 3 be vertices](https://reader033.vdocument.in/reader033/viewer/2022060718/607e74cfe019fa5e9f7c9b66/html5/thumbnails/36.jpg)
Differences with edge-searching
We see c0(Kn) =⌈n
2
⌉and s(Kn) = n.
Danny Dyer [email protected] (MUN) Pursuit-evasion games and visibility GGM 12 / 27
![Page 37: Pursuit-evasion games and visibility · 1;‘ = fK 1g; 2 T k;‘, k 2, is the set of trees, T, that can be formed as follows: let T 1, T 2, T 3 2T k 1;‘. Let r 1;r 2;r 3 be vertices](https://reader033.vdocument.in/reader033/viewer/2022060718/607e74cfe019fa5e9f7c9b66/html5/thumbnails/37.jpg)
Time constraints and zero visibility
Recall that a minimum edge cover of a graph X is a set E ′ ⊆ E (X ) withthe fewest edges for which every vertex of X is an end of at least oneedge. We denote size of such a set as β′(X ).
Theorem (ADHY 2008)
In the zero-visibility cops and robber model, if X is a reflexive multigraphwith no isolated vertices, then the minimum number of cops needed toguarantee capture of the robber in a single move is β′(X ).
Danny Dyer [email protected] (MUN) Pursuit-evasion games and visibility GGM 13 / 27
![Page 38: Pursuit-evasion games and visibility · 1;‘ = fK 1g; 2 T k;‘, k 2, is the set of trees, T, that can be formed as follows: let T 1, T 2, T 3 2T k 1;‘. Let r 1;r 2;r 3 be vertices](https://reader033.vdocument.in/reader033/viewer/2022060718/607e74cfe019fa5e9f7c9b66/html5/thumbnails/38.jpg)
The `-visibility cop and robber model, ` ≥ 0
The cops. . .
. . . have complete knowledge of the graph.
. . . move slowly, from vertex to vertex.
. . . can see the robber when the distance between the robber and anycop is at most `.
. . . can all simultaneously move.
. . . can remain in their position.
The robber. . .
. . . has complete knowledge of the graph.
. . . moves slowly, from vertex to vertex.
. . . can see the cops.
. . . can remain in its position.
On a graph X , the minimum number of cops needed to guarantee captureof the robber in a finite number of turns is the `-visibility cop numberc`(X ).Danny Dyer [email protected] (MUN) Pursuit-evasion games and visibility GGM 14 / 27
![Page 39: Pursuit-evasion games and visibility · 1;‘ = fK 1g; 2 T k;‘, k 2, is the set of trees, T, that can be formed as follows: let T 1, T 2, T 3 2T k 1;‘. Let r 1;r 2;r 3 be vertices](https://reader033.vdocument.in/reader033/viewer/2022060718/607e74cfe019fa5e9f7c9b66/html5/thumbnails/39.jpg)
Trees
A fundamental question:
Is it hard to catch a robber on trees?
Not for classic cops and robber. For edge-searching:
Theorem (Parsons 1978)
Let k ≥ 1, and T be a tree. Then s(t) ≥ k + 1 if and only if T has avertex v at which there are three branches T1, T2, T3, satisfyings(Tj) ≥ k for j = 1, 2, 3.
After creating families of trees Tk , for k ≥ 1 for which all T ∈ Tk haves(T ) = k, Parsons goes on to prove the following.
Theorem (Parsons 1978)
If k ≥ 2 and T is a tree, then s(T ) = k if and only if T contains a minorfrom Tk and none from Tk+1.
Danny Dyer [email protected] (MUN) Pursuit-evasion games and visibility GGM 15 / 27
![Page 40: Pursuit-evasion games and visibility · 1;‘ = fK 1g; 2 T k;‘, k 2, is the set of trees, T, that can be formed as follows: let T 1, T 2, T 3 2T k 1;‘. Let r 1;r 2;r 3 be vertices](https://reader033.vdocument.in/reader033/viewer/2022060718/607e74cfe019fa5e9f7c9b66/html5/thumbnails/40.jpg)
Trees and low visibility
Define Tk,`, ` ≥ 0, k ≥ 1, as follows:1 T1,` = {K1};2 Tk,`, k ≥ 2, is the set of trees, T , that can be formed as follows: let
T1, T2, T3 ∈ Tk−1,`. Let r1, r2, r3 be vertices of T1,T2,T3
respectively. Then T is formed from the disjoint union of T1,T2,T3,together with paths of length 2`+ 2 from each of r1, r2, r3, to acommon endpoint, q.
Lemma (Dereniowski, Dyer, Tifenbach, Yang 2015; Cox, Clarke, Duffy,Dyer, Fitzpatrick, Messinger 2018+)
If T ∈ Tk,`, then c`(T ) = k.
Theorem (DDTY 2015; CCDDFM 2018+)
If T is a tree, then c`(T ) = k if and only if T contains a minor from Tk,`and none from Tk+1,`.
Danny Dyer [email protected] (MUN) Pursuit-evasion games and visibility GGM 16 / 27
![Page 41: Pursuit-evasion games and visibility · 1;‘ = fK 1g; 2 T k;‘, k 2, is the set of trees, T, that can be formed as follows: let T 1, T 2, T 3 2T k 1;‘. Let r 1;r 2;r 3 be vertices](https://reader033.vdocument.in/reader033/viewer/2022060718/607e74cfe019fa5e9f7c9b66/html5/thumbnails/41.jpg)
Monotonicity
Another fundamental question:
Does allowing the robber to return to “cleared” territory ever help?
Not very interesting for the classic cops and robber problem.Solution is well known for edge-searching.
Theorem (LaPaugh 1993/Bienstock&Seymour 1991)
Every graph X that can be searched with k cops can be monotonicallysearched with k cops.
Is the `-visibility cop and robber model monotonic?
Danny Dyer [email protected] (MUN) Pursuit-evasion games and visibility GGM 17 / 27
![Page 48: Pursuit-evasion games and visibility · 1;‘ = fK 1g; 2 T k;‘, k 2, is the set of trees, T, that can be formed as follows: let T 1, T 2, T 3 2T k 1;‘. Let r 1;r 2;r 3 be vertices](https://reader033.vdocument.in/reader033/viewer/2022060718/607e74cfe019fa5e9f7c9b66/html5/thumbnails/48.jpg)
Let’s get specific
1 Initially, every vertex is marked as dirty.
2 A dirty vertex is cleaned if a cop piece occupies it.
3 In between each of the cop’s turns, every cleaned vertex that isunoccupied and adjacent to a dirty vertex becomes dirty.
Let X be a graph and let L be a strategy of length T . For eachnonnegative integer t ≤ T ,
1 let Lt be the set of vertices occupied by cops at the end of the t-thturn by the cops;
2 let Rt be the set of vertices that are dirty immediately before thecop’s t-th turn; and
3 let St be the set of vertices that are dirty immediately after the cop’st-th turn.
Danny Dyer [email protected] (MUN) Pursuit-evasion games and visibility GGM 19 / 27
![Page 49: Pursuit-evasion games and visibility · 1;‘ = fK 1g; 2 T k;‘, k 2, is the set of trees, T, that can be formed as follows: let T 1, T 2, T 3 2T k 1;‘. Let r 1;r 2;r 3 be vertices](https://reader033.vdocument.in/reader033/viewer/2022060718/607e74cfe019fa5e9f7c9b66/html5/thumbnails/49.jpg)
Montonicity, again
A strategy L is monotonic when
R0 ⊇ S0 ⊇ R1 ⊇ S1 ⊇ . . . ⊇ RT ⊇ ST .
This is very restrictive. But can we capture the idea of edge-searching’smonotonicity for zero-visibility cops and robber?
Weakly monotonic
A strategy of length T is weakly monotonic if for all t ≤ T − 1, we haveSt+1 ⊆ St .
On a graph X , the minimum number of cops needed to guarantee captureof the robber with a weakly monotonic strategy is the monotonic zerovisibility cop number mc0(X ).
Danny Dyer [email protected] (MUN) Pursuit-evasion games and visibility GGM 20 / 27
![Page 50: Pursuit-evasion games and visibility · 1;‘ = fK 1g; 2 T k;‘, k 2, is the set of trees, T, that can be formed as follows: let T 1, T 2, T 3 2T k 1;‘. Let r 1;r 2;r 3 be vertices](https://reader033.vdocument.in/reader033/viewer/2022060718/607e74cfe019fa5e9f7c9b66/html5/thumbnails/50.jpg)
Montonicity, again
A strategy L is monotonic when
R0 ⊇ S0 ⊇ R1 ⊇ S1 ⊇ . . . ⊇ RT ⊇ ST .
This is very restrictive. But can we capture the idea of edge-searching’smonotonicity for zero-visibility cops and robber?
Weakly monotonic
A strategy of length T is weakly monotonic if for all t ≤ T − 1, we haveSt+1 ⊆ St .
On a graph X , the minimum number of cops needed to guarantee captureof the robber with a weakly monotonic strategy is the monotonic zerovisibility cop number mc0(X ).
Danny Dyer [email protected] (MUN) Pursuit-evasion games and visibility GGM 20 / 27
![Page 51: Pursuit-evasion games and visibility · 1;‘ = fK 1g; 2 T k;‘, k 2, is the set of trees, T, that can be formed as follows: let T 1, T 2, T 3 2T k 1;‘. Let r 1;r 2;r 3 be vertices](https://reader033.vdocument.in/reader033/viewer/2022060718/607e74cfe019fa5e9f7c9b66/html5/thumbnails/51.jpg)
c0(T ) versus mc0(T )
Danny Dyer [email protected] (MUN) Pursuit-evasion games and visibility GGM 21 / 27
![Page 52: Pursuit-evasion games and visibility · 1;‘ = fK 1g; 2 T k;‘, k 2, is the set of trees, T, that can be formed as follows: let T 1, T 2, T 3 2T k 1;‘. Let r 1;r 2;r 3 be vertices](https://reader033.vdocument.in/reader033/viewer/2022060718/607e74cfe019fa5e9f7c9b66/html5/thumbnails/52.jpg)
c0(T ) versus mc0(T )
Danny Dyer [email protected] (MUN) Pursuit-evasion games and visibility GGM 21 / 27
![Page 53: Pursuit-evasion games and visibility · 1;‘ = fK 1g; 2 T k;‘, k 2, is the set of trees, T, that can be formed as follows: let T 1, T 2, T 3 2T k 1;‘. Let r 1;r 2;r 3 be vertices](https://reader033.vdocument.in/reader033/viewer/2022060718/607e74cfe019fa5e9f7c9b66/html5/thumbnails/53.jpg)
c0(T ) versus mc0(T )
Danny Dyer [email protected] (MUN) Pursuit-evasion games and visibility GGM 21 / 27
![Page 54: Pursuit-evasion games and visibility · 1;‘ = fK 1g; 2 T k;‘, k 2, is the set of trees, T, that can be formed as follows: let T 1, T 2, T 3 2T k 1;‘. Let r 1;r 2;r 3 be vertices](https://reader033.vdocument.in/reader033/viewer/2022060718/607e74cfe019fa5e9f7c9b66/html5/thumbnails/54.jpg)
c0(T ) versus mc0(T )
Danny Dyer [email protected] (MUN) Pursuit-evasion games and visibility GGM 21 / 27
![Page 55: Pursuit-evasion games and visibility · 1;‘ = fK 1g; 2 T k;‘, k 2, is the set of trees, T, that can be formed as follows: let T 1, T 2, T 3 2T k 1;‘. Let r 1;r 2;r 3 be vertices](https://reader033.vdocument.in/reader033/viewer/2022060718/607e74cfe019fa5e9f7c9b66/html5/thumbnails/55.jpg)
c0(T ) versus mc0(T )
Danny Dyer [email protected] (MUN) Pursuit-evasion games and visibility GGM 21 / 27
![Page 56: Pursuit-evasion games and visibility · 1;‘ = fK 1g; 2 T k;‘, k 2, is the set of trees, T, that can be formed as follows: let T 1, T 2, T 3 2T k 1;‘. Let r 1;r 2;r 3 be vertices](https://reader033.vdocument.in/reader033/viewer/2022060718/607e74cfe019fa5e9f7c9b66/html5/thumbnails/56.jpg)
c0(T ) versus mc0(T )
Danny Dyer [email protected] (MUN) Pursuit-evasion games and visibility GGM 21 / 27
![Page 57: Pursuit-evasion games and visibility · 1;‘ = fK 1g; 2 T k;‘, k 2, is the set of trees, T, that can be formed as follows: let T 1, T 2, T 3 2T k 1;‘. Let r 1;r 2;r 3 be vertices](https://reader033.vdocument.in/reader033/viewer/2022060718/607e74cfe019fa5e9f7c9b66/html5/thumbnails/57.jpg)
c0(T ) versus mc0(T )
We see that c0(T ) = 2, but mc0(T ) = 3. (Similarly for ` > 0.)
Danny Dyer [email protected] (MUN) Pursuit-evasion games and visibility GGM 21 / 27
![Page 58: Pursuit-evasion games and visibility · 1;‘ = fK 1g; 2 T k;‘, k 2, is the set of trees, T, that can be formed as follows: let T 1, T 2, T 3 2T k 1;‘. Let r 1;r 2;r 3 be vertices](https://reader033.vdocument.in/reader033/viewer/2022060718/607e74cfe019fa5e9f7c9b66/html5/thumbnails/58.jpg)
Pathwidth
Let X be a graph with vertex set VX . A path decomposition of X is a finitesequence B = (B1,B2, . . . ,Bn) of sets Bi ⊆ VX , called bags, such that
1
n⋃i=1Bi = VX ;
2 if x ∼ y , then there is i ∈ {1, . . . , n} such that {x , y} ⊆ Bi ; and
3 if 1 ≤ i < j < k ≤ n, then Bi ∩ Bk ⊆ Bj .
Let X be a graph and let B = (Bi ) be a path decomposition of X . Wedefine the pathwidth of X to be
pw(X ) = min max {|Bi | − 1 | i ∈ {1, . . . , n}} ,
over all possible path decompositions B.
Danny Dyer [email protected] (MUN) Pursuit-evasion games and visibility GGM 22 / 27
![Page 59: Pursuit-evasion games and visibility · 1;‘ = fK 1g; 2 T k;‘, k 2, is the set of trees, T, that can be formed as follows: let T 1, T 2, T 3 2T k 1;‘. Let r 1;r 2;r 3 be vertices](https://reader033.vdocument.in/reader033/viewer/2022060718/607e74cfe019fa5e9f7c9b66/html5/thumbnails/59.jpg)
Relations between c0(X ), mc0(X ) and pw(X )
Theorem (Dereniowski, Dyer, Tifenbach, Yang 2014)
Let X be a graph. The following are equivalent:
1 We have c0(X ) = 1, mc0(X ) = 1 or pw(X ) = 1.
2 We have c0(X ) = mc0(X ) = pw(X ) = 1.
3 The graph X is a caterpillar.
Theorem (DDTY 2014)
Let X be a connected graph on two or more vertices. Then,
c0(X ) ≤ pw(X ) ≤ 2mc0(X )− 1 ≤ 4pw(X ) + 1.
Danny Dyer [email protected] (MUN) Pursuit-evasion games and visibility GGM 23 / 27
![Page 60: Pursuit-evasion games and visibility · 1;‘ = fK 1g; 2 T k;‘, k 2, is the set of trees, T, that can be formed as follows: let T 1, T 2, T 3 2T k 1;‘. Let r 1;r 2;r 3 be vertices](https://reader033.vdocument.in/reader033/viewer/2022060718/607e74cfe019fa5e9f7c9b66/html5/thumbnails/60.jpg)
Differences between c0(X ), pw(X ), and mc0(X )
Theorem (DDTY 2014)
For any positive integer k , there is a graph X with c0(X ) = 2 andpw(X ) ≥ k.
Proof. Given a graph X , we form the graph X ∗ by adding a universalvertex to X ; a single new vertex is added, together with edges joining thisnew vertex and every other vertex already present in X .
Let X be a tree on two or more vertices. We will sketch a proof that forsome subdivision of H of X , c0(H∗) = 2. Such a graph will have apathwidth at least that of X .
We proceed by strong induction.
Danny Dyer [email protected] (MUN) Pursuit-evasion games and visibility GGM 24 / 27
![Page 61: Pursuit-evasion games and visibility · 1;‘ = fK 1g; 2 T k;‘, k 2, is the set of trees, T, that can be formed as follows: let T 1, T 2, T 3 2T k 1;‘. Let r 1;r 2;r 3 be vertices](https://reader033.vdocument.in/reader033/viewer/2022060718/607e74cfe019fa5e9f7c9b66/html5/thumbnails/61.jpg)
(Proof cont’d)
Let X be a rooted tree with root r . We show that there is a subdivision Hof X and a successful zero-visibility strategy on H∗ utilising two cops suchthat
1 a cop visits the universal vertex u at least every second turnthroughout the game; and
2 once the root r has been visited by a cop for the first time, either thegame is finished or this cop vibrates on the edge ru for the remainderof the game.
Let s be a child of r and let X2 be the subtree of X consisting of s and itsdescendants. Let X1 be the subtree of X consisting of the remainingvertices.Let H1 and H2 be subdivisions of X1 and X2 such that H∗1 and H∗2 can becleaned using two cops subject to the above conditions.
Danny Dyer [email protected] (MUN) Pursuit-evasion games and visibility GGM 25 / 27
![Page 62: Pursuit-evasion games and visibility · 1;‘ = fK 1g; 2 T k;‘, k 2, is the set of trees, T, that can be formed as follows: let T 1, T 2, T 3 2T k 1;‘. Let r 1;r 2;r 3 be vertices](https://reader033.vdocument.in/reader033/viewer/2022060718/607e74cfe019fa5e9f7c9b66/html5/thumbnails/62.jpg)
(Proof cont’d)
r
s
H∗1
H∗2
P
u
If it takes T moves to clear H∗1 , subdivide P to obtain a path of lengthT + 3.
Danny Dyer [email protected] (MUN) Pursuit-evasion games and visibility GGM 26 / 27
![Page 63: Pursuit-evasion games and visibility · 1;‘ = fK 1g; 2 T k;‘, k 2, is the set of trees, T, that can be formed as follows: let T 1, T 2, T 3 2T k 1;‘. Let r 1;r 2;r 3 be vertices](https://reader033.vdocument.in/reader033/viewer/2022060718/607e74cfe019fa5e9f7c9b66/html5/thumbnails/63.jpg)
Open questions
1 For what graphs is c0(X ) = mc0(X )?
2 Are there characterisations of c0 and mc0 for trees, unicyclic graphs,planar graphs, series parallel graphs, etc.?
3 Can we characterize the graphs with c0(X ) = 2? (Already begun byClarke and Jeliazkova.)
4 For `-visibility cops and robber, what is the difference between‘seeing’ or locating the robber, and capturing the robber? (Seeingimplies capture on chordal graphs.)
Thank you!
Danny Dyer [email protected] (MUN) Pursuit-evasion games and visibility GGM 27 / 27
![Page 64: Pursuit-evasion games and visibility · 1;‘ = fK 1g; 2 T k;‘, k 2, is the set of trees, T, that can be formed as follows: let T 1, T 2, T 3 2T k 1;‘. Let r 1;r 2;r 3 be vertices](https://reader033.vdocument.in/reader033/viewer/2022060718/607e74cfe019fa5e9f7c9b66/html5/thumbnails/64.jpg)
Open questions
1 For what graphs is c0(X ) = mc0(X )?
2 Are there characterisations of c0 and mc0 for trees, unicyclic graphs,planar graphs, series parallel graphs, etc.?
3 Can we characterize the graphs with c0(X ) = 2? (Already begun byClarke and Jeliazkova.)
4 For `-visibility cops and robber, what is the difference between‘seeing’ or locating the robber, and capturing the robber? (Seeingimplies capture on chordal graphs.)
Thank you!
Danny Dyer [email protected] (MUN) Pursuit-evasion games and visibility GGM 27 / 27