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