基于布尔运算的图G的所有极大独立集的求法 几个约定: 已知简单无向图G=<V,E>,且V={1,V2,,n}规定: (1)G的每个顶点Ⅴ当作一个布尔变量; (2)V∧Ⅴ表示包含Ⅴ和v (3)VV表示或者包含一顶点Ⅴ;或者包含一顶点v 或者包含Ⅴ和Ⅴ两个页点。基于布尔运算的图G的所有极大独立集的求法： 几个约定: 已知简单无向图G=<V,E>,且V={V1 ,V2 ,…,Vn },规定: (1)G的每个顶点Vi当作一个布尔变量; (2)ViVj表示包含Vi和Vj ; (3) ViVj表示或者包含一顶点Vi ;或者包含一顶点Vj ; 或者包含Vi和Vj两个顶点