G=（V，E）是有限简单连通图，用V（G）和E（G）分别表示G的顶点集和边集．f是一个从V（G）UE（G）→{-1，1}的函数．f的权重定义为ω（f）=∑x∈V（G）UE（G）f（x）．图G的全符号控......