文件名称:关于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)