：其中，变量formula_29取1代表把顶点formula_30放入独立集，取0则反之。第一条线性约束表达了每条边的两个端点不能同时放入独立集中。
与其它图论对象的联系.
与顶点覆盖的关系.图的一个顶点覆盖（vertex cover）是顶点集的一个子集，使得图中每条边都与其中某点相邻。基数最小的顶点覆盖称为图的最小顶点覆盖。独立集与顶点覆盖的定义互补，因此不难看出，formula_1是图formula_4的独立集当且仅当formula_33是formul