TY - RPRT TI - 4K_1 free graphs on 13 vertices have cop number at most 2 AU - Zhaoyu Wu PY - 2026 UR - https://arxiv.org/abs/2601.00917 ID - 2601.00917 ER -