基于強(qiáng)化學(xué)習(xí)的柱形代數(shù)分解變?cè)獡裥?/H1>
系統(tǒng)科學(xué)與數(shù)學(xué)
頁數(shù)： 24 2024-08-29
摘要： 柱形代數(shù)分解是半代數(shù)系統(tǒng)求解和實(shí)量詞消去的基本工具.實(shí)際求解過程中,不同變?cè)虻倪x擇對(duì)柱形代數(shù)分解的效率影響重大.目前已有的啟發(fā)式或機(jī)器學(xué)習(xí)擇序的方法基本都建立在多項(xiàng)式系統(tǒng)的支撐集是影響變?cè)虻臎Q定因素這一隱含假設(shè)上.文章首先通過設(shè)計(jì)同支撐集變系數(shù)的實(shí)驗(yàn)對(duì)這一假設(shè)進(jìn)行了檢驗(yàn),實(shí)驗(yàn)表明支撐集確實(shí)是影響最佳變?cè)虻闹匾蛩氐⒎俏ㄒ灰蛩?針對(duì)同支撐集變系數(shù)的柱形代數(shù)分解最佳擇序問題...
APP 