Subfield: Combinatorics


Question: This Question involves one Robber and one or more Cops. After robbing a bank, the Robber retreats to a network of hideouts, represented by dots in the diagram below. Every day, the Robber stays holed up in a single hideout, and every night, the Robber moves to an adjacent hideout. Two hideouts are adjacent if and only if they are connected by an edge in the diagram, also called a hideout map (or map). For the purposes of this Power Question, the map must be connected; that is, given any two hideouts, there must be a path from one to the other. To clarify, the Robber may not stay in the same hideout for two consecutive days, although he may return to a hideout he has previously visited. For example, in the map below, if the Robber holes up in hideout $C$ for day 1 , then he would have to move to $B$ for day 2 , and would then have to move to either $A, C$, or $D$ on day 3.

![](https://cdn.mathpix.com/cropped/2023_12_21_279781de8be6584eef7dg-1.jpg?height=336&width=447&top_left_y=889&top_left_x=836)

Every day, each Cop searches one hideout: the Cops know the location of all hideouts and which hideouts are adjacent to which. Cops are thorough searchers, so if the Robber is present in the hideout searched, he is found and arrested. If the Robber is not present in the hideout searched, his location is not revealed. That is, the Cops only know that the Robber was not caught at any of the hideouts searched; they get no specific information (other than what they can derive by logic) about what hideout he was in. Cops are not constrained by edges on the map: a Cop may search any hideout on any day, regardless of whether it is adjacent to the hideout searched the previous day. A Cop may search the same hideout on consecutive days, and multiple Cops may search different hideouts on the same day. In the map above, a Cop could search $A$ on day 1 and day 2, and then search $C$ on day 3 .

The focus of this Power Question is to determine, given a hideout map and a fixed number of Cops, whether the Cops can be sure of catching the Robber within some time limit.

Map Notation: The following notation may be useful when writing your solutions. For a map $M$, let $h(M)$ be the number of hideouts and $e(M)$ be the number of edges in $M$. The safety of a hideout $H$ is the number of hideouts adjacent to $H$, and is denoted by $s(H)$.

The Cop number of a map $M$, denoted $C(M)$, is the minimum number of Cops required to guarantee that the Robber is caught.


The police want to catch the Robber with a minimum number of Cops, but time is of the essence. For a map $M$ and a fixed number of Cops $c \geq C(M)$, define the capture time, denoted $D(M, c)$, to be the minimum number of days required to guarantee a capture using $c$ Cops. For example, in the graph below, if three Cops are deployed, they might catch the Robber in the first day, but if they don't, there is a strategy that will guarantee they will capture the Robber within two days. Therefore the capture time is $D\left(\mathcal{C}_{6}, 3\right)=2$.

![](https://cdn.mathpix.com/cropped/2023_12_21_c8468e5f43f43636bd4ag-1.jpg?height=339&width=399&top_left_y=1050&top_left_x=912)
Definition: A map is bipartite if it can be partitioned into two sets of hideouts, $\mathcal{A}$ and $\mathcal{B}$, such that $\mathcal{A} \cap \mathcal{B}=\emptyset$, and each hideout in $\mathcal{A}$ is adjacent only to hideouts in $\mathcal{B}$, and each hideout in $\mathcal{B}$ is adjacent only to hideouts in $\mathcal{A}$.

Prove that if $M$ is bipartite, then $C(M) \leq n / 2$.

Solution:
Suppose $M$ is bipartite, and let $\mathcal{A}$ and $\mathcal{B}$ be the sets of hideouts referenced in the definition. Because $\mathcal{A}$ and $\mathcal{B}$ are disjoint, either $|\mathcal{A}| \leq n / 2$ or $|\mathcal{B}| \leq n / 2$ or both. Without loss of generality, suppose that $|\mathcal{A}| \leq n / 2$. Then position Cops at each hideout in $\mathcal{A}$ for two days. If the Robber was initially on a hideout in $\mathcal{B}$, he must move the following day, and because no hideout in $\mathcal{B}$ is connected to any other hideout in $\mathcal{B}$, his new hideout must be a hideout in $\mathcal{A}$.

Final answer: 证明题，略