WEKO3
アイテム
解集合プログラミングを用いた優先度付き巨大近傍探索の実装と評価
https://ipsj.ixsq.nii.ac.jp/records/220601
https://ipsj.ixsq.nii.ac.jp/records/220601431c83de-fd2b-4c3d-a97c-cf67a29767f0
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-Z84-1L-04.pdf (205.5 kB)
|
Copyright (c) 2022 by the Information Processing Society of Japan
|
| Item type | National Convention(1) | |||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2022-02-17 | |||||||||||||
| タイトル | ||||||||||||||
| タイトル | 解集合プログラミングを用いた優先度付き巨大近傍探索の実装と評価 | |||||||||||||
| 言語 | ||||||||||||||
| 言語 | jpn | |||||||||||||
| キーワード | ||||||||||||||
| 主題Scheme | Other | |||||||||||||
| 主題 | ソフトウェア科学・工学 | |||||||||||||
| 資源タイプ | ||||||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||||||||||
| 資源タイプ | conference paper | |||||||||||||
| 著者所属 | ||||||||||||||
| 名大 | ||||||||||||||
| 著者所属 | ||||||||||||||
| 神戸大 | ||||||||||||||
| 著者所属 | ||||||||||||||
| 神戸大 | ||||||||||||||
| 著者所属 | ||||||||||||||
| 名大 | ||||||||||||||
| 著者名 |
桑原, 和也
× 桑原, 和也
× 宋, 剛秀
× 田村, 直之
× 番原, 睦則
|
|||||||||||||
| 論文抄録 | ||||||||||||||
| 内容記述タイプ | Other | |||||||||||||
| 内容記述 | 優先度付き巨大近傍探索 （LNPS: Large Neighborhood Prioritized Search）は，組合せ最適化問題に対して系統的探索と確率的局所探索を統合的に適用する手法の一つである．本発表では，SAT の発展形の一つである解集合プログラミング （Answer Set Programming; ASP） 技術を用いた LNPS の実装について述べる．また，開発したソルバー asprior の性能評価として，代表的な時間割問題の一つであるカリキュラムベース・コース時間割などを使った実験結果を示す． | |||||||||||||
| 書誌レコードID | ||||||||||||||
| 収録物識別子タイプ | NCID | |||||||||||||
| 収録物識別子 | AN00349328 | |||||||||||||
| 書誌情報 |
第84回全国大会講演論文集 巻 2022, 号 1, p. 269-270, 発行日 2022-02-17 |
|||||||||||||
| 出版者 | ||||||||||||||
| 言語 | ja | |||||||||||||
| 出版者 | 情報処理学会 | |||||||||||||
