基于強(qiáng)化學(xué)習(xí)的柱形代數(shù)分解變元擇序

摘要： 柱形代數(shù)分解是半代數(shù)系統(tǒng)求解和實(shí)量詞消去的基本工具.實(shí)際求解過程中,不同變元序的選擇對柱形代數(shù)分解的效率影響重大.目前已有的啟發(fā)式或機(jī)器學(xué)習(xí)擇序的方法基本都建立在多項式系統(tǒng)的支撐集是影響變元序的決定因素這一隱含假設(shè)上.文章首先通過設(shè)計同支撐集變系數(shù)的實(shí)驗對這一假設(shè)進(jìn)行了檢驗,實(shí)驗表明支撐集確實(shí)是影響最佳變元序的重要因素但并非唯一因素.針對同支撐集變系數(shù)的柱形代數(shù)分解最佳擇序問題...