计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2004年
4期
74-77
,共4页
SAT问题%不完全算法%变元权重
SAT問題%不完全算法%變元權重
SAT문제%불완전산법%변원권중
研究合取范式可满足性的SAT问题作为一个NP完全问题,在计算机科学及组合优化问题领域中有着中心课题的重要地位.由于其NP问题的性质决定了它尚无通用快速的完全算法,因此基于"实验算法学"的思想,按照平均性态而不是最坏情况性态的原则,对具有启发式策略的不完全算法的研究成为近年来大家关注与努力的焦点.该文正是立足于此,提出了"加权消元"这一种全新而且高效的算法.
研究閤取範式可滿足性的SAT問題作為一箇NP完全問題,在計算機科學及組閤優化問題領域中有著中心課題的重要地位.由于其NP問題的性質決定瞭它尚無通用快速的完全算法,因此基于"實驗算法學"的思想,按照平均性態而不是最壞情況性態的原則,對具有啟髮式策略的不完全算法的研究成為近年來大傢關註與努力的焦點.該文正是立足于此,提齣瞭"加權消元"這一種全新而且高效的算法.
연구합취범식가만족성적SAT문제작위일개NP완전문제,재계산궤과학급조합우화문제영역중유착중심과제적중요지위.유우기NP문제적성질결정료타상무통용쾌속적완전산법,인차기우"실험산법학"적사상,안조평균성태이불시최배정황성태적원칙,대구유계발식책략적불완전산법적연구성위근년래대가관주여노력적초점.해문정시립족우차,제출료"가권소원"저일충전신이차고효적산법.