4-顶点图的半诱导性

对于边缘被染色为蓝色或红色的图 $H$，$H$ 半诱导问题询问的是，对所有给定秩数 $n$ 的图 $G$，将 $H$ 的顶点集注入到 $G$ 的顶点集中、且将 $H$ 的红色（或蓝色）边映射到 $G$ 的边（或非边）的注入函数数目的最大值。我们考虑所有可能的4顶点非完全图 $H$，并基本上解决了除 $H$ 为按蓝-蓝-红顺序染色的3边路径（或等价于此情况）之外的全部剩余情况。其中一些证明是计算机生成的，采用 Razborov 的标志代数方法。