超图容器定理的简短证明

我们给出了著名的Balogh--Morris--Samotij和Saxton--Thomason超图容器定理的简短且简洁的证明。在高层次上，我们的论证利用了从独立集中反复选取度数最大的顶点并构造低一致性的超图的思想，该超图保持独立集并继承边分布。原始构造容器的算法在每一步也会移除不在独立集中的高度数顶点。我们修改后的算法将此步骤推迟到末尾，这惊人地简化了分析。