Welcome![Sign In][Sign Up]
Location:
Search - CNF-S

Search list

[Data structsCNF_SAT

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

[WEB Codemysql

Description: 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_concurrency thread_concurrency = 8 -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_concurrency thread_concurrency = 8
Platform: | Size: 1024 | Author: siq jsdf | Hits:

CodeBus www.codebus.net