文件名称:SAT
- 所属分类：
- 书籍源码
- 资源属性：
- [Windows] [Visual C] [源码]
- 上传时间：
- 2012-11-26
- 文件大小：
- 574kb
- 下载次数：
- 0次
- 提 供 者：
- 曾*
- 相关连接：
- 无
- 下载说明：
- 别用迅雷下载，失败请重下，重下不扣分！
介绍说明－－下载内容均来自于网络，请自行研究使用
SAT问题也称为合取范式的可满足问题，一个合取范式形如：A1∧A2∧…∧An，子句Ai（1≤i≤n）形如：a1∨a2∨…∨ak，其中ai为文字，为某一布尔变量或该布尔变量的非。SAT问题是指：是否存在一组对所有布尔变量的赋值（TRUE或FALSE），使得整个合取范式取指为真。-SAT problem, also known as conjunctive normal to meet a conjunctive normal form: A1 ∧ A2 ∧ ... ∧ An clause Ai (1 ≤ i ≤ n) of the form: a1 ∨ a2 ∨ ... ∨ ak ai to the text, is a Boolean variable or non Boolean variables. SAT problem is: Is there a group assignment of all Boolean variable (TRUE or FALSE), and makes the whole conjunctive normal fetch is true.
(系统自动生成,下载前可以参看下载内容)
下载文件列表
SAT\SAT\Debug\SAT.exe
...\...\.....\SAT.ilk
...\...\.....\SAT.map
...\...\.....\SAT.obj
...\...\.....\sat.pbi
...\...\.....\sat.pbo
...\...\.....\sat.pbt
...\...\.....\SAT.pch
...\...\.....\SAT.pdb
...\...\.....\sat._xe
...\...\.....\vc60.idb
...\...\.....\vc60.pdb
...\...\SAT.CPP
...\...\SAT.DSP
...\...\SAT.DSW
...\...\SAT.ncb
...\...\SAT.OPT
...\...\SAT.PLG
...\...\算法效率.doc
...\...\Debug
...\SAT
SAT