合取范式（CNF）公式F是（3,4=）-CNF公式,如果F中每个子句的长度是3,每个变元出现的次数恰好为4次。与（3,4=）-CNF公式所关联的因子图是一类......

对于规则的(3,4)-CNF公式F,公式F对应的因子图GF恰好是一个(3,4)-双向正则二部图。利用正则二部图的有关性质,证明了对于任意的(3,......