计算机工程与科学
計算機工程與科學
계산궤공정여과학
COMPUTER ENGINEERING & SCIENCE
2013年
9期
122-126
,共5页
何安平%吴尽昭%梁艺%熊玲芳%吴昊
何安平%吳儘昭%樑藝%熊玲芳%吳昊
하안평%오진소%량예%웅령방%오호
布尔可满足性%拟物拟人算法(Solar)%几何规划
佈爾可滿足性%擬物擬人算法(Solar)%幾何規劃
포이가만족성%의물의인산법(Solar)%궤하규화
SAT%solar algorithm%geometric programming
布尔可满足问题是计算机科学中诸多领域的重要问题,它的快速求解具有十分重要的意义.将具有实际物理背景的Solar算法中的拟物算法与几何规划相结合,提出并实现了一种布尔可满足性问题的连续求解方法.经实验验证,这种算法对布尔可满足性问题的求解具有一定的实用价值.
佈爾可滿足問題是計算機科學中諸多領域的重要問題,它的快速求解具有十分重要的意義.將具有實際物理揹景的Solar算法中的擬物算法與幾何規劃相結閤,提齣併實現瞭一種佈爾可滿足性問題的連續求解方法.經實驗驗證,這種算法對佈爾可滿足性問題的求解具有一定的實用價值.
포이가만족문제시계산궤과학중제다영역적중요문제,타적쾌속구해구유십분중요적의의.장구유실제물리배경적Solar산법중적의물산법여궤하규화상결합,제출병실현료일충포이가만족성문제적련속구해방법.경실험험증,저충산법대포이가만족성문제적구해구유일정적실용개치.
