摘要：根據(jù)SAT問題的特點,通過分析傳統(tǒng)蟻群算法和遺傳算法在求解SAT問題上的不足,提出一種基于混合蟻群遺傳算法的SAT問題求解方法。給出一種新的初始解的生成方式;在迭代過程中,根據(jù)較優(yōu)解的累積信息提出進化算子;利用當(dāng)前得到的最優(yōu)解,通過改變不滿足子句中文字的取值,增加變異算子。最后選取標(biāo)準(zhǔn)測試集中的20個實例對算法進行測試,實驗結(jié)果表明：改進后的算法通常僅通過較少次數(shù)的迭代就能找到解,能夠有效避免蟻群算法和遺傳算法過早收斂的缺點,具有較強的尋優(yōu)能力。
注：因版權(quán)方要求，不能公開全文，如需全文，請咨詢雜志社
