八个顶点上的三角形相交图族

Simonovits 和 Sós 猜想，在 $n$ 个顶点上，三角形相交图族的最大规模为 $2^{\binom{n}{2}-3}$。他们的猜想最近已用谱方法得到证明。我们利用划分论证，对该猜想在 $8$ 个顶点这一特殊情形给出了一个初等证明。