从 Ramsey 极小例中删除边

若 $r(s, t) = p$，我们将 $K_p$ 称为 Ramsey 极小例。我们证明：如果 $r(s, t) = p$，且从 Ramsey 极小例 $K_p$ 中删除一条边，则所得图不再具有 Ramsey 性质；即其边可以被染成红色或蓝色，使得“红色”子图不包含 $K_s$，且“蓝色”子图不包含 $K_t$。本文以通俗易懂的风格撰写，阐述了促使我们提出该猜想并随后证明这一结果的过程。