摘要：根據SAT問題的特點,通過分析傳統蟻群算法和遺傳算法在求解SAT問題上的不足,提出一種基于混合蟻群遺傳算法的SAT問題求解方法。給出一種新的初始解的生成方式;在迭代過程中,根據較優解的累積信息提出進化算子;利用當前得到的最優解,通過改變不滿足子句中文字的取值,增加變異算子。最后選取標準測試集中的20個實例對算法進行測試,實驗結果表明：改進后的算法通常僅通過較少次數的迭代就能找到解,能夠有效避免蟻群算法和遺傳算法過早收斂的缺點,具有較強的尋優能力。