Let $G$ be a graph with $n$ vertices and $m$ edges. One of several hierarchies towards the stability number of $G$ is the exact subgraph hierarchy (ESH). On the first level it computes the Lov\'{a}sz theta function $\vartheta(G)$ as semidefinite program (SDP) with a matrix variable of order $n+1$ and $n+m+1$ constraints. On the $k$-th level it adds all exact subgraph constraints (ESC) for subgraphs of order $k$ to the SDP. An ESC ensures that the submatrix of the matrix variable corresponding to the subgraph is in the correct polytope. By including only some ESCs into the SDP the ESH can be exploited computationally. In this paper we introduce a variant of the ESH that computes $\vartheta(G)$ through an SDP with a matrix variable of order $n$ and $m+1$ constraints. We show that it makes sense to include the ESCs into this SDP and introduce the compressed ESH (CESH) analogously to the ESH. Computationally the CESH seems favorable as the SDP is smaller. However, we prove that the bounds based on the ESH are always at least as good as those of the CESH. In computational experiments sometimes they are significantly better. We also introduce scaled ESCs (SESCs), which are a more natural way to include exactness constraints into the smaller SDP and we prove that including an SESC is equivalent to including an ESC for every subgraph.

翻译：设 $G$ 是一个具有 $n$ 个顶点和 $m$ 条边的图。针对 $G$ 的稳定数的若干层次结构之一是精确子图层次结构（ESH）。其第一层将Lovász theta函数 $\vartheta(G)$ 计算为半定规划（SDP），该SDP的矩阵变量阶数为 $n+1$，约束条件数为 $n+m+1$。在第 $k$ 层中，该层次结构向SDP添加所有阶数为 $k$ 的子图的精确子图约束（ESC）。ESC确保对应于该子图的矩阵变量子矩阵位于正确的多面体中。通过仅将部分ESC纳入SDP，可以在计算上利用ESH。本文引入了一种ESH的变体，该变体通过一个矩阵变量阶数为 $n$、约束条件数为 $m+1$ 的SDP计算 $\vartheta(G)$。我们证明了将该ESC纳入此SDP是合理的，并类比ESH引入了压缩精确子图层次结构（CESH）。从计算角度看，CESH由于SDP规模更小而似乎更有利。然而，我们证明了基于ESH的界始终至少与CESH的界一样好。在计算实验中，前者有时显著更优。我们还引入了缩放精确子图约束（SESC），这是一种将精确性约束纳入较小SDP的更自然的方式，并证明了纳入一个SESC等价于为每个子图纳入一个ESC。