此算法能在多项式时间里判定任一给定的2CNF公式是否可满足。是算法中的一个重要问题。-this algorithm in polynomial time as a judge for the 2CNF formula can meet. The algorithm is an important issue.

Last login: Wed Sep 1 12:59:01 2010 from 222.66.200.170 [root@localhost ~]# vi /etc/my.cnf myisam_sort_buffer_size = 64M thread_cache_size = 8 query_cache_size = 32M # Try number of CPU s*2 for thread_concurren