搜索资源列表
CNF
- 编译原理中CNF算法，请仔细审查，想必会有用的-compiler Principle CNF algorithm, carefully review must be used
2SAT
- 对于给定的2-CNF，设计一个线性时间算法，判定其是否可满足。-given for the 2-CNF, design a linear-time algorithm that can determine whether they meet.
3SAT
- 对于给定的带权3-CNF，设计一个蒙特卡罗算法，使其权值之和尽可能大-regard to the right to bring 3-CNF, a Monte Carlo algorithm design, make it the right value and the greatest possible
CNF
- 编译原理中CNF算法，请仔细审查，想必会有用的-compiler Principle CNF algorithm, carefully review must be used
2SAT
- 对于给定的2-CNF，设计一个线性时间算法，判定其是否可满足。-given for the 2-CNF, design a linear-time algorithm that can determine whether they meet.
3SAT
- 对于给定的带权3-CNF，设计一个蒙特卡罗算法，使其权值之和尽可能大-regard to the right to bring 3-CNF, a Monte Carlo algorithm design, make it the right value and the greatest possible
CNF_SAT
- 此算法能在多项式时间里判定任一给定的2CNF公式是否可满足。是算法中的一个重要问题。-this algorithm in polynomial time as a judge for the 2CNF formula can meet. The algorithm is an important issue.
25d1216103960-2-cnf-sat_c-2cnf
- 2cnf-sat问题用c++实现的图形解决方法-2cnf-sat problems using c++ Achieve graphical solution
MyTemplate
- 实现点云文件的读取与显示，要求点云文件是DAT文件，文件头是点数乘以3，其后是每个点的具体坐标。可以用鼠标进行交互-The realization of point cloud file to read and display requested document is a point cloud DAT files, the first is multiplied by 3 points, followed by the specif
20090518
- MySQL配置文件my.cnf 例子最详细翻译
CKY
- 加入概率的CKY句法分析器 含有前面三步对于CFG到CNF的转换 规则来自《自然语言处理综论》-Adding the probability of CKY Parser contains three steps in front of the CFG to CNF conversion rules from the " facets of natural language processing"
PDAtoCFA
- C++ sample code - Program to Convert CNF to PDA - Source code examples_dosyalar-C++ sample code- Program to Convert CNF to PDA- Source code examples_dosyalar
2-SAT
- 对一个2CNF进行研究，从而找出一个算法，它能在多项式时间里判定任一给定的2 CNF公式是否可满足。 -2CNF of a study to identify an algorithm that can determine in polynomial time, any given 2 CNF formula is to meet.
mysql
- 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
Main
- Convert CFG To CNF Convert CNF To GNF
sat
- 对于给定的带权 3-CNF，设计一个蒙特卡罗算法，使其权值之和尽可能大。此程序可以解决这个问题-For a given weighted 3-CNF, a Monte Carlo algorithm designed to make the right value, and as large as possible. This program can solve this problem
Assignment-CNF(ADSA)
- advance data structure assignment
sat
- SAT问题也称为合取范式的可满足问题，一个合取范式形如：A1∧A2∧…∧An，子句Ai（1≤i≤n）形如：a1∨a2∨…∨ak，其中，ai称为文字，为某一布尔变量或该布尔变量的非。SAT问题是指：是否存在一组对所有布尔变量的赋值（TRUE或FALSE），使得整个合取范式取值为真。-SAT problem is also known as conjunctive normal form satisfiability problem, a
Make_Random_CNF
- Make CNF Formula for MaxSat Problems
CNF
- 实现主析取范式以及主合取范式的真值表求法-To achieve the main DNF and CNF main method for finding the truth table