4K_1 free graphs on 13 vertices have cop number at most 2

Zhaoyu Wu

The game of cops and robber has been studied for many years. Denoting $\mathsf{Forb}(4K_1)$ to be the family of all graphs that contain no induced subgraph isomorphic to $4K_1$ (e.…