关于Sat问题

【文件属性】：
文件名称：关于Sat问题
文件大小：564KB
文件格式：RAR
更新时间：2014-12-25 10:58:10
SAT SAT问题也称为合取范式的可满足问题，一个合取范式形如：A1∧A2∧…∧An，子句Ai（1≤i≤n）形如：a1∨a2∨…∨ak，其中，ai称为文字，为某一布尔变量或该布尔变量的非。SAT问题是指：是否存在一组对所有布尔变量的赋值（TRUE或FALSE），使得整个合取范式取值为真。

【文件预览】：
SAT
----Debug()
--------SAT.ilk(220KB)
--------vc60.pdb(52KB)
--------SAT.exe(220KB)
--------sat.pbo(549B)
--------SAT.obj(11KB)
--------sat.pbi(470B)
--------sat._xe(136KB)
--------vc60.idb(41KB)
--------SAT.map(88KB)
--------sat.pbt(676B)
--------SAT.pch(212KB)
--------SAT.pdb(489KB)
----SAT.CPP(3KB)
----SAT.DSW(531B)
----SAT.ncb(41KB)
----SAT.DSP(3KB)
----SAT.OPT(48KB)
----SAT.PLG(240B)
----算法效率.doc(350KB)