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