<?xml version="1.0" encoding="UTF-8"?>
<TEI xml:space="preserve" xmlns="http://www.tei-c.org/ns/1.0" 
xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" 
xsi:schemaLocation="http://www.tei-c.org/ns/1.0 https://raw.githubusercontent.com/kermitt2/grobid/master/grobid-home/schemas/xsd/Grobid.xsd"
 xmlns:xlink="http://www.w3.org/1999/xlink">
	<teiHeader xml:lang="en">
		<fileDesc>
			<titleStmt>
				<title level="a" type="main">The one-cop-moves game on planar graphs (extended abstract)</title>
			</titleStmt>
			<publicationStmt>
				<publisher/>
				<availability status="unknown"><licence/></availability>
			</publicationStmt>
			<sourceDesc>
				<biblStruct>
					<analytic>
						<author>
							<persName><forename type="first">Ziyuan</forename><surname>Gao</surname></persName>
							<affiliation key="aff0">
								<orgName type="department">Department of Computer Science</orgName>
								<orgName type="institution">University of Regina</orgName>
								<address>
									<settlement>Regina</settlement>
									<region>SK</region>
									<country key="CA">Canada</country>
								</address>
							</affiliation>
						</author>
						<author role="corresp">
							<persName><forename type="first">Boting</forename><surname>Yang</surname></persName>
							<email>boting@cs.uregina.ca</email>
							<affiliation key="aff0">
								<orgName type="department">Department of Computer Science</orgName>
								<orgName type="institution">University of Regina</orgName>
								<address>
									<settlement>Regina</settlement>
									<region>SK</region>
									<country key="CA">Canada</country>
								</address>
							</affiliation>
						</author>
						<title level="a" type="main">The one-cop-moves game on planar graphs (extended abstract)</title>
					</analytic>
					<monogr>
						<imprint>
							<date/>
						</imprint>
					</monogr>
					<idno type="MD5">5C134B3E52B3E564CD3820E53CEBA7D2</idno>
				</biblStruct>
			</sourceDesc>
		</fileDesc>
		<encodingDesc>
			<appInfo>
				<application version="0.7.2" ident="GROBID" when="2023-03-24T07:53+0000">
					<desc>GROBID - A machine learning software for extracting information from scholarly documents</desc>
					<ref target="https://github.com/kermitt2/grobid"/>
				</application>
			</appInfo>
		</encodingDesc>
		<profileDesc>
			<abstract>
<div xmlns="http://www.tei-c.org/ns/1.0"><p>Cops and Robbers, introduced by Nowakowski and Winkler <ref type="bibr" target="#b10">[11]</ref> in 1983 and independently by Quillot [13]  in 1978, is a game played on graphs, where a cop tries to capture a robber. The cop is first placed on any vertex of the graph G, after which the robber chooses a starting vertex in G. The cop and robber then move in alternate turns, with the robber moving on odd turns and the cop moving on even turns. A round of the game consists of a robber's turn and the cop's subsequent turn. During every turn, each cop or robber either moves along an edge of G to a neighbouring vertex or stays put on his or her current vertex. Furthermore, both the cop and robber have perfect information about each other's positions at any point in the game. The cop wins the game if he eventually occupies the same vertex as the robber at some moment in the game; the robber wins if she can indefinitely avoid occupying any vertex containing the cop. A winning strategy for the cop on G is a set of instructions that, if followed, guarantees that the cop can win any game played on G, regardless of how the robber moves throughout the game. A winning strategy for the robber on G is defined analogously.</p><p>Aigner and Frommer [1] generalised the original Cops and Robbers game by allowing more than one cop to play; we shall henceforth refer to this version of the game as the classical cops-and-robbers game. They associated to every finite graph G a parameter known as the cop number of G, denoted by c(G), which is the minimum number of cops needed for a cop winning strategy on G, and they showed that the cop number of every connected planar graph is at most 3. The cops-and-robbers game has attracted considerable attention from the graph theory community, owing in part to its connections to various graph parameters, as well as the large number of interesting combinatorial problems arising from the study of the cop number such as Meyniel's conjecture <ref type="bibr" target="#b3">[4,</ref><ref type="bibr" target="#b4">5]</ref>, which states that for any graph G of order n, c(G) = O( √ n). In addition, due to the relative simplicity and naturalness of the cops-and-robbers game, it has served as a model for studying problems in areas of applied computer science such as artificial intelligence and robotics <ref type="bibr" target="#b6">[7,</ref><ref type="bibr" target="#b9">10]</ref>.</p><p>This paper examines a variant of the classical cops-and-robbers game, known alternately as the one-active-cop game [12], lazy-cops-and-robbers game <ref type="bibr" target="#b1">[2,</ref><ref type="bibr" target="#b2">3,</ref><ref type="bibr" target="#b14">15]</ref> </p></div>
			</abstract>
		</profileDesc>
	</teiHeader>
	<text xml:lang="en">
		<body>
<div xmlns="http://www.tei-c.org/ns/1.0"><p>or the one-cop-moves game <ref type="bibr" target="#b16">[17]</ref>. The corresponding cop number of a graph G in this game variant is called the one-cop-moves cop number of G, and is denoted by c 1 (G). The one-cop-moves cop number has been studied for various special families of graphs <ref type="bibr" target="#b1">[2,</ref><ref type="bibr" target="#b11">12,</ref><ref type="bibr" target="#b2">3,</ref><ref type="bibr" target="#b14">15]</ref>. On the other hand, relatively little is known about the behaviour of the one-cop-moves cop number of connected planar graphs <ref type="bibr" target="#b4">[5]</ref>. In particular, it is still open at present whether or not there exists an absolute constant k such that c 1 (G) ≤ k for all connected planar graphs G <ref type="bibr" target="#b2">[3,</ref><ref type="bibr" target="#b16">17]</ref>. Instead of attacking this problem directly, one may try to establish lower bounds on sup{c 1 (G) : G is a connected planar graph} as a stepping stone. Note that the dodecahedron D is a connected planar graph with classical cop number equal to 3 <ref type="bibr" target="#b0">[1]</ref>. Since any winning strategy for the robber on D in the classical cops-androbbers game can also be applied to D in the one-cop-moves game, it follows that c 1 (D) ≥ 3, and this immediately gives a lower bound of 3 on sup{c 1 (G) : G is a connected planar graph}. To the best of our knowledge, there has hitherto been no improvement on this lower bound. Sullivan, Townsend and Werzanski <ref type="bibr" target="#b14">[15]</ref> recently asked whether or not sup{c 1 (G) : G is a connected planar graph} ≥ 4. The goal of the present work is to settle this question affirmatively: there is a connected planar graph whose one-cop-moves cop number is at least 4.</p><p>Theorem 1. There is a connected planar graph D such that c 1 (D) ≥ 4.</p><p>Due to space constraints, we shall only describe the construction of the planar graph D and very briefly outline a strategy for evading three cops on D.</p></div>
<div xmlns="http://www.tei-c.org/ns/1.0"><head n="2">The construction of the planar graph D</head><p>The construction of D starts with a dodecahedron D. We will add straight line segments on the surface of D to partition each pentagonal face of D into small polygons. For each pentagonal face U of D, we add 48 nested nonintersecting closed pentagonal chains, which are called pentagonal layers, such that each side of a layer is parallel to the corresponding side of U . Each vertex of a layer is called a corner of that layer. For convenience, the innermost layer is also called the 1-st layer in U and the boundary of U is also called the outermost layer of U or the 49-th layer of U . We add a vertex o in the centre of U and connect it to each corner of U using a straight line segment which passes through the corresponding corners of the 48 inner layers. For each side of the n-th layer (1 ≤ n ≤ 49), we add 2n + 1 internal vertices to partition the side path into 2n + 2 edges of equal length. Add a path of length 2 from the centre vertex o to every vertex of the innermost layer to partition the region inside the 1-st layer into 20 pentagons. Further, for each pair of consecutive pentagonal layers, say the n-th layer and the (n + 1)-st layer (1 ≤ n ≤ 48), add paths of length 2 from vertices of the n-th layer to vertices of the (n + 1)-st layer such that the region between the two layers is partitioned into 5(2n + 2) hexagons and 10 pentagons as illustrated in Figure <ref type="figure" target="#fig_0">1</ref>. Let D be the graph consisting of all vertices and edges current on the surface of the dodecahedron D (including all added vertices and edges). Since D is constructed on the surface of a dodecahedron without any edge-crossing, D must be a planar graph.</p><p>For n ∈ {1, . . . , 49}, L U ,n denotes the n-th pentagonal layer of a pentagonal face U , starting from the innermost layer. The pentagonal faces of D are denoted by U, U 1 , U 2 , . . . , U 10 , U 11 (see Figure <ref type="figure" target="#fig_1">2</ref>).</p></div>
<div xmlns="http://www.tei-c.org/ns/1.0"><head n="3">The robber's winning strategy</head><p>Let γ denote the robber. In Algorithm 1, we give a high-level description of γ's winning strategy against three cops on D.</p><p>Algorithm 1: High-level strategy for γ Since there are 12 pentagonal faces but only 3 cops, Step 1 of Algorithm 1 can be readily achieved. Let U denote the pentagonal face whose centre o is currently occupied by γ. The precise winning strategy for γ in Step 3 will depend on the relative positions of the cops when exactly one cop is 1 edge away from γ. The details of this phase of γ's winning strategy can be described in three cases: (A) when three cops lie in U ; (B) when exactly one cop lies in U ; (C) when exactly two cops lie in U . These cases reflect three possible strategies for the cops: all three cops may try to encircle γ, or one cop may try to chase γ while the remaining two cops guard the neighbouring faces of U , or two cops may try to encircle γ while the remaining cop guards the neighbouring faces of U .</p></div>
<div xmlns="http://www.tei-c.org/ns/1.0"><head n="4">Concluding remarks</head><p>The present work established separation between the classical cops-and-robbers game and the one-cop-moves game on planar graphs by exhibiting a connected planar graph whose one-cop-moves cop number exceeds the largest possible classical cop number of connected planar graphs. We believe that this result represents an important first step towards understanding the behaviour of the one-cop-moves cop number of planar graphs. It is hoped, moreover, that some of the proof techniques used in this work could be applied more generally to the one-cop-moves game played on any planar graph.</p></div><figure xmlns="http://www.tei-c.org/ns/1.0" xml:id="fig_0"><head>Fig. 1 .</head><label>1</label><figDesc>Fig. 1. Two innermost and two outermost pentagonal layers of a pentagonal face.</figDesc><graphic coords="3,209.88,115.84,239.25,226.88" type="bitmap" /></figure>
<figure xmlns="http://www.tei-c.org/ns/1.0" xml:id="fig_1"><head>Fig. 2 .</head><label>2</label><figDesc>Fig. 2. 12 pentagonal faces of D, labelled U, U1, . . . , U11.</figDesc><graphic coords="4,137.80,116.83,339.75,247.13" type="bitmap" /></figure>
			<note xmlns="http://www.tei-c.org/ns/1.0" place="foot" n="1" xml:id="foot_0">γ picks the centre of a pentagonal face that is free of cops. Let U be this face.</note>
			<note xmlns="http://www.tei-c.org/ns/1.0" place="foot" n="2" xml:id="foot_1">γ stays at the centre o of U until there is exactly one cop that is 1 edge away from γ.</note>
			<note xmlns="http://www.tei-c.org/ns/1.0" place="foot" n="3" xml:id="foot_2">γ does one of the following depending on the cops' positions and strategy: (i) she moves to the centre of a pentagonal face U , which may or may not be U , without being caught at the end of a round, or (ii) she oscillates back and forth along an edge for the rest of the game without being caught.</note>
			<note xmlns="http://www.tei-c.org/ns/1.0" place="foot" n="4" xml:id="foot_3">If, in Step 3, γ does (i), then set U ←− U and go back to Step 2.</note>
		</body>
		<back>

			<div type="acknowledgement">
<div xmlns="http://www.tei-c.org/ns/1.0"><p>This work did not prove any upper bound for the one-cop-moves cop number of D; nonetheless, we believe that 4 cops are sufficient for catching the robber on D. It should also be noted that the Planar Separator Theorem of Lipton and Tarjan <ref type="bibr" target="#b7">[8]</ref> may be applied to show that the one-cop-moves cop number of every connected graph with n vertices is at most O( √ n) (the proof is essentially the same as that in the case of planar directed graphs; see <ref type="bibr" target="#b8">[9,</ref> Theorem 4.1]). The question of whether or not there exists a constant k such that c 1 (G) ≤ k for all connected planar graphs G <ref type="bibr" target="#b16">[17]</ref> remains open. It is tempting to conjecture that such an absolute constant does exist.</p></div>
			</div>

			<div type="references">

				<listBibl>

<biblStruct xml:id="b0">
	<analytic>
		<title level="a" type="main">A game of cops and robbers</title>
		<author>
			<persName><forename type="first">M</forename><surname>Aigner</surname></persName>
		</author>
		<author>
			<persName><forename type="first">M</forename><surname>Fromme</surname></persName>
		</author>
	</analytic>
	<monogr>
		<title level="j">Discrete Applied Mathematics</title>
		<imprint>
			<biblScope unit="volume">8</biblScope>
			<biblScope unit="page" from="1" to="12" />
			<date type="published" when="1984">1984</date>
		</imprint>
	</monogr>
</biblStruct>

<biblStruct xml:id="b1">
	<analytic>
		<title level="a" type="main">Lazy cops and robbers on hypercubes</title>
		<author>
			<persName><forename type="first">D</forename><surname>Bal</surname></persName>
		</author>
		<author>
			<persName><forename type="first">A</forename><surname>Bonato</surname></persName>
		</author>
		<author>
			<persName><forename type="first">W</forename><forename type="middle">B</forename><surname>Kinnersley</surname></persName>
		</author>
		<author>
			<persName><forename type="first">P</forename><surname>Pralat</surname></persName>
		</author>
	</analytic>
	<monogr>
		<title level="j">Combinatorics Probability and Computing</title>
		<imprint>
			<biblScope unit="volume">24</biblScope>
			<biblScope unit="issue">6</biblScope>
			<biblScope unit="page" from="829" to="837" />
			<date type="published" when="2015">2015</date>
		</imprint>
	</monogr>
</biblStruct>

<biblStruct xml:id="b2">
	<analytic>
		<title level="a" type="main">Lazy cops and robbers played on random graphs and graphs on surfaces</title>
		<author>
			<persName><forename type="first">D</forename><surname>Bal</surname></persName>
		</author>
		<author>
			<persName><forename type="first">A</forename><surname>Bonato</surname></persName>
		</author>
		<author>
			<persName><forename type="first">W</forename><forename type="middle">B</forename><surname>Kinnersley</surname></persName>
		</author>
		<author>
			<persName><forename type="first">P</forename><surname>Pralat</surname></persName>
		</author>
	</analytic>
	<monogr>
		<title level="j">International Journal of Combinatorics</title>
		<imprint>
			<biblScope unit="volume">7</biblScope>
			<biblScope unit="issue">4</biblScope>
			<biblScope unit="page" from="627" to="642" />
			<date type="published" when="2016">2016</date>
		</imprint>
	</monogr>
</biblStruct>

<biblStruct xml:id="b3">
	<monogr>
		<title level="m" type="main">The Game of Cops and Robbers on Graphs</title>
		<author>
			<persName><forename type="first">A</forename><surname>Bonato</surname></persName>
		</author>
		<author>
			<persName><forename type="first">R</forename><surname>Nowakowski</surname></persName>
		</author>
		<imprint>
			<date type="published" when="2011">2011</date>
			<publisher>American Mathematical Society</publisher>
			<pubPlace>Providence</pubPlace>
		</imprint>
	</monogr>
</biblStruct>

<biblStruct xml:id="b4">
	<analytic>
		<title level="a" type="main">Conjectures on cops and robbers</title>
		<author>
			<persName><forename type="first">A</forename><surname>Bonato</surname></persName>
		</author>
	</analytic>
	<monogr>
		<title level="m">Graph Theory: Favorite Conjectures and Open Problems -1</title>
				<imprint>
			<publisher>Springer International Publishing</publisher>
			<date type="published" when="2016">2016</date>
			<biblScope unit="page" from="31" to="42" />
		</imprint>
	</monogr>
</biblStruct>

<biblStruct xml:id="b5">
	<analytic>
		<title level="a" type="main">Characterizations of k-copwin graphs</title>
		<author>
			<persName><forename type="first">N</forename><forename type="middle">E</forename><surname>Clarke</surname></persName>
		</author>
		<author>
			<persName><forename type="first">G</forename><surname>Macgillivray</surname></persName>
		</author>
	</analytic>
	<monogr>
		<title level="j">Discrete Mathematics</title>
		<imprint>
			<biblScope unit="volume">312</biblScope>
			<biblScope unit="page" from="1421" to="1425" />
			<date type="published" when="2012">2012</date>
		</imprint>
	</monogr>
</biblStruct>

<biblStruct xml:id="b6">
	<analytic>
		<title level="a" type="main">A cover-based approach to multi-agent moving target pursuit</title>
		<author>
			<persName><forename type="first">A</forename><surname>Isaza</surname></persName>
		</author>
		<author>
			<persName><forename type="first">J</forename><surname>Lu</surname></persName>
		</author>
		<author>
			<persName><forename type="first">V</forename><surname>Bulitko</surname></persName>
		</author>
		<author>
			<persName><forename type="first">R</forename><surname>Greiner</surname></persName>
		</author>
	</analytic>
	<monogr>
		<title level="m">Proceedings of the 4th Conference on Artificial Intelligence and Interactive Digital Entertainment</title>
				<meeting>the 4th Conference on Artificial Intelligence and Interactive Digital Entertainment</meeting>
		<imprint>
			<date type="published" when="2008">2008</date>
			<biblScope unit="page" from="54" to="59" />
		</imprint>
	</monogr>
</biblStruct>

<biblStruct xml:id="b7">
	<analytic>
		<title level="a" type="main">A separator theorem for planar graphs</title>
		<author>
			<persName><forename type="first">R</forename><surname>Lipton</surname></persName>
		</author>
		<author>
			<persName><forename type="first">R</forename><surname>Tarjan</surname></persName>
		</author>
	</analytic>
	<monogr>
		<title level="j">SIAM Journal on Applied Mathematics</title>
		<imprint>
			<biblScope unit="volume">36</biblScope>
			<biblScope unit="page" from="177" to="189" />
			<date type="published" when="1979">1979</date>
		</imprint>
	</monogr>
</biblStruct>

<biblStruct xml:id="b8">
	<analytic>
		<title level="a" type="main">Cops and robbers on planar directed graphs</title>
		<author>
			<persName><forename type="first">P</forename><surname>Loh</surname></persName>
		</author>
		<author>
			<persName><forename type="first">S</forename><surname>Oh</surname></persName>
		</author>
	</analytic>
	<monogr>
		<title level="j">Journal of Graph Theory</title>
		<imprint/>
	</monogr>
	<note>to appear</note>
</biblStruct>

<biblStruct xml:id="b9">
	<analytic>
		<title level="a" type="main">Evaluating strategies for running from the cops</title>
		<author>
			<persName><forename type="first">C</forename><surname>Moldenhauer</surname></persName>
		</author>
		<author>
			<persName><forename type="first">N</forename><forename type="middle">R</forename><surname>Sturtevant</surname></persName>
		</author>
	</analytic>
	<monogr>
		<title level="m">IJCAI&apos;09</title>
				<imprint>
			<date type="published" when="2009">2009</date>
			<biblScope unit="page" from="584" to="589" />
		</imprint>
	</monogr>
</biblStruct>

<biblStruct xml:id="b10">
	<analytic>
		<title level="a" type="main">Vertex to vertex pursuit in a graph</title>
		<author>
			<persName><forename type="first">R</forename><surname>Nowakowski</surname></persName>
		</author>
		<author>
			<persName><forename type="first">P</forename><surname>Winkler</surname></persName>
		</author>
	</analytic>
	<monogr>
		<title level="j">Discrete Mathematics</title>
		<imprint>
			<biblScope unit="volume">43</biblScope>
			<biblScope unit="page" from="235" to="239" />
			<date type="published" when="1983">1983</date>
		</imprint>
	</monogr>
</biblStruct>

<biblStruct xml:id="b11">
	<analytic>
		<title level="a" type="main">Variations of Cops and Robber on the hypercube</title>
		<author>
			<persName><forename type="first">D</forename><surname>Offner</surname></persName>
		</author>
		<author>
			<persName><forename type="first">K</forename><surname>Okajian</surname></persName>
		</author>
	</analytic>
	<monogr>
		<title level="j">Australasian Journal of Combinatorics</title>
		<imprint>
			<biblScope unit="volume">59</biblScope>
			<biblScope unit="issue">2</biblScope>
			<biblScope unit="page" from="229" to="250" />
			<date type="published" when="2014">2014</date>
		</imprint>
	</monogr>
</biblStruct>

<biblStruct xml:id="b12">
	<analytic>
		<title level="a" type="main">Jeux et pointes fixes sur les graphes</title>
		<author>
			<persName><forename type="first">A</forename><surname>Quilliot</surname></persName>
		</author>
	</analytic>
	<monogr>
		<title level="m">Thse de 3me cycle</title>
				<imprint>
			<date type="published" when="1978">1978</date>
			<biblScope unit="page" from="131" to="145" />
		</imprint>
		<respStmt>
			<orgName>Universit de Paris VI</orgName>
		</respStmt>
	</monogr>
</biblStruct>

<biblStruct xml:id="b13">
	<analytic>
		<title level="a" type="main">A short note about pursuit games played on a graph with a given genus</title>
		<author>
			<persName><forename type="first">A</forename><surname>Quilliot</surname></persName>
		</author>
	</analytic>
	<monogr>
		<title level="j">Journal of Combinatorial Theory Series B</title>
		<imprint>
			<biblScope unit="volume">38</biblScope>
			<biblScope unit="page" from="89" to="92" />
			<date type="published" when="1985">1985</date>
		</imprint>
	</monogr>
</biblStruct>

<biblStruct xml:id="b14">
	<monogr>
		<title level="m" type="main">The 3×3 rooks graph is the unique smallest graph with lazy cop number 3</title>
		<author>
			<persName><forename type="first">B</forename><forename type="middle">W</forename><surname>Sullivan</surname></persName>
		</author>
		<author>
			<persName><forename type="first">N</forename><surname>Townsend</surname></persName>
		</author>
		<author>
			<persName><forename type="first">M</forename><surname>Werzanski</surname></persName>
		</author>
		<ptr target="https://arxiv.org/abs/1606.08485" />
		<imprint/>
	</monogr>
	<note type="report_type">Preprint</note>
</biblStruct>

<biblStruct xml:id="b15">
	<monogr>
		<title level="m" type="main">Introduction to Graph Theory</title>
		<author>
			<persName><forename type="first">D</forename><forename type="middle">B</forename><surname>West</surname></persName>
		</author>
		<imprint>
			<date type="published" when="2000">2000</date>
			<publisher>Prentice Hall</publisher>
		</imprint>
	</monogr>
</biblStruct>

<biblStruct xml:id="b16">
	<analytic>
		<title level="a" type="main">The optimal capture time of the one-cop-moves game</title>
		<author>
			<persName><forename type="first">B</forename><surname>Yang</surname></persName>
		</author>
		<author>
			<persName><forename type="first">W</forename><surname>Hamilton</surname></persName>
		</author>
	</analytic>
	<monogr>
		<title level="j">Theoretical Computer Science</title>
		<imprint>
			<biblScope unit="volume">588</biblScope>
			<biblScope unit="page" from="96" to="113" />
			<date type="published" when="2015">2015</date>
		</imprint>
	</monogr>
</biblStruct>

				</listBibl>
			</div>
		</back>
	</text>
</TEI>
