摘要：根據(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ò)改變不滿(mǎn)足子句中文字的取值,增加變異算子。最后選取標(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)能力。
注：因版權(quán)方要求，不能公開(kāi)全文，如需全文，請(qǐng)咨詢(xún)雜志社
期刊名稱(chēng)：大連民族學(xué)院學(xué)報(bào)
大連民族學(xué)院學(xué)報(bào)雜志緊跟學(xué)術(shù)前沿，緊貼讀者，是一本綜合性雙月刊，關(guān)注少數(shù)民族地區(qū)經(jīng)濟(jì)、政治、文化、科學(xué)技術(shù)、教育等相關(guān)問(wèn)題，堅(jiān)持指導(dǎo)性與實(shí)用性相結(jié)合的原則，創(chuàng)辦于1999年，雜志在全國(guó)同類(lèi)期刊中有很重的學(xué)術(shù)價(jià)值。