2026-04-14T13:00:36Z https://ipsj.ixsq.nii.ac.jp/oai

oai:ipsj.ixsq.nii.ac.jp:00220601 2025-01-19T14:30:21Z 6504:11035:11037

解集合プログラミングを用いた優先度付き巨大近傍探索の実装と評価 桑原, 和也 宋, 剛秀 田村, 直之 番原, 睦則 ソフトウェア科学・工学 優先度付き巨大近傍探索 （LNPS: Large Neighborhood Prioritized Search）は，組合せ最適化問題に対して系統的探索と確率的局所探索を統合的に適用する手法の一つである．本発表では，SAT の発展形の一つである解集合プログラミング （Answer Set Programming; ASP） 技術を用いた LNPS の実装について述べる．また，開発したソルバー asprior の性能評価として，代表的な時間割問題の一つであるカリキュラムベース・コース時間割などを使った実験結果を示す． 情報処理学会 2022-02-17 jpn conference paper https://ipsj.ixsq.nii.ac.jp/records/220601 AN00349328 第84回全国大会講演論文集 2022 1 269 270 https://ipsj.ixsq.nii.ac.jp/record/220601/files/IPSJ-Z84-1L-04.pdf application/pdf 205.5 kB 2022-10-22