パズル論文リンク
#パズル #パズル論文
ネット上で読めるパズル関係の論文のリンク
一旦、目にしたものをまとめていきます。増えてきたら作者や分野別にまとめます。
パズルソルバ関連 (その他)
SAT / CSP関連
#SAT・Sugar関連論文リンク
ZDD関連
計算量関連
paper
制約解集合プログラミングシステムの設計方式に関する考察
http://jssst.or.jp/files/user/taikai/2014/PPL/PPL2-3.pdf
フロンティア法から生成される ZDD の幅解析
http://www.kurims.kyoto-u.ac.jp/~kyodo/kokyuroku/contents/pdf/1849-14.pdf
複数の正答を持つ単位正方形の組み合わせパズルに関する研究
http://www.alg.cei.uec.ac.jp/itohiro/Games/170306/170306-17.pdf
Applying Machine Learning Techniques to ASP Solving
https://core.ac.uk/download/pdf/62917198.pdf
裁ち合わせパズルの重複解なし全解探索システム
https://ipsj.ixsq.nii.ac.jp/ej/index.php?active_action=repository_view_main_item_detail&page_id=13&block_id=8&item_id=97622&item_no=1
逆探索と ZDD を用いた避難所の地域割り当てパタンの列挙
https://www.gisa-japan.org/conferences/proceedings/2013/papers/B-5-2.pdf
SMT ソルバを用いた Slitherlink パズルの解法
https://ipsj.ixsq.nii.ac.jp/ej/index.php?action=pages_view_main&active_action=repository_action_common_download&item_id=183844&item_no=1&attribute_id=1&file_no=1&page_id=13&block_id=8
種々のリンクパズルへの応用
ZDD
http://www.orsj.or.jp/archive2/or57-11/or57_11_616.pdf
Fillmat is NP-Complete and ASP-Complete
上島研
https://www.jstage.jst.go.jp/article/ipsjjip/23/3/23_310/_pdf/-char/ja
スリザーリンクの NP 完全性について
計算量
http://www-imai.is.s.u-tokyo.ac.jp/~yato/data2/SIGAL74-3.pdf
組合せ最適化問題に対する効率的な厳密解法のための問題の記述法に関する研究
https://www.nii.ac.jp/graduate/wp-content/themes/nii_original/assets/pdf/students_thesis/24/inui_Dr_thesis.pdf
スリザーリンク自動解答システムと問題作成システム
https://ipsj.ixsq.nii.ac.jp/ej/index.php?action=pages_view_main&active_action=repository_action_common_download&item_id=97621&item_no=1&attribute_id=1&file_no=1&page_id=13&block_id=8
パズル学
創造行為としての現代パズルの意義
東田 大志
https://repository.kulib.kyoto-u.ac.jp/dspace/handle/2433/215631
abstract, digest
article
解集合プログラミング
http://web.wakayama-u.ac.jp/~sakama/jsai2010asp.pdf
NP完全なペンシルパズル の一覧
http://www-imai.is.s.u-tokyo.ac.jp/~yato/data2/puzcc.pdf
ZDDと列挙問題ー最新の技法とプログラミング
https://www.jstage.jst.go.jp/article/jssst/34/3/34_3_97/_pdf
NPより上の世界での別解問題(ASP)
http://www-imai.is.s.u-tokyo.ac.jp/~seta/paper/ASPoverNP/ASP.pdf
slide
整数計画法を用いたPearl Puzzleの効率的な解法
http://www.alg.cei.uec.ac.jp/itohiro/Games/160307/160307-13.pdf
非隣接性を有する組合せパズルの計算複雑さ
NP完全性とASP完全性
http://www.alg.cei.uec.ac.jp/itohiro/Games/130301/130301-13.pdf
Polyomino Exclusion Problem
http://www.alg.cei.uec.ac.jp/itohiro/Games/170306/170306-17.pdf
整数計画法を用いたスリザーリンクの解法
https://slidesplayer.net/slide/11427033/
リンクパズルへのZDD的挑戦
http://www-erato.ist.hokudai.ac.jp/html/php/workshop_2011_autumn/ryoshinaka.pdf
----
組合せゲーム・パズル(CGP) プロジェクト
http://www.alg.cei.uec.ac.jp/itohiro/Games/Game180306.html