贵州大学学报（自然科学版）
貴州大學學報（自然科學版）
귀주대학학보（자연과학판）
JOURNAL OF GUIZHOU UNIVERSITY(NATURAL SCIENCE)
2009年
5期
93-95,120
,共4页
SAT问题%CNF权重%进化
SAT問題%CNF權重%進化
SAT문제%CNF권중%진화
SAT(Satisfiability)可满足性问题研究具有很广的应用价值,是计算机和人工智能领域内的一个重要问题,也是第一个被证明为NP完全的问题.随着对SAT问题的深入研究,已经提出了很多高效的算法,其中随机算法(WalkSAT)、进化算法等启发式算法是今年来研究的热点.进化算法是遗传算法的一种,通过对生物组织进化的学习,形成的一种高效算法.针对CNF(Conjecture Normal Formula)权重和生物进化算法相结合,提出一种有效求解难SAT问题的不完全算法WOSAT.
SAT(Satisfiability)可滿足性問題研究具有很廣的應用價值,是計算機和人工智能領域內的一箇重要問題,也是第一箇被證明為NP完全的問題.隨著對SAT問題的深入研究,已經提齣瞭很多高效的算法,其中隨機算法(WalkSAT)、進化算法等啟髮式算法是今年來研究的熱點.進化算法是遺傳算法的一種,通過對生物組織進化的學習,形成的一種高效算法.針對CNF(Conjecture Normal Formula)權重和生物進化算法相結閤,提齣一種有效求解難SAT問題的不完全算法WOSAT.
SAT(Satisfiability)가만족성문제연구구유흔엄적응용개치,시계산궤화인공지능영역내적일개중요문제,야시제일개피증명위NP완전적문제.수착대SAT문제적심입연구,이경제출료흔다고효적산법,기중수궤산법(WalkSAT)、진화산법등계발식산법시금년래연구적열점.진화산법시유전산법적일충,통과대생물조직진화적학습,형성적일충고효산법.침대CNF(Conjecture Normal Formula)권중화생물진화산법상결합,제출일충유효구해난SAT문제적불완전산법WOSAT.
