发表资料pdf-电气通信大学.PDFVIP

非隣接性を有する 組合せパズルの計算複雑さ 第8回組合せゲーム・パズルミニ研究集会 2013年3月1日（金） ○浅野竜男 大阪電気通信大学大学院 上嶋章宏 大阪電気通信大学大学院 2013/3/1 第8回組み合わせゲームパズルミニ研究集会 2 発表の流れ • 背景・目的： • NP完全性とASP完全性 • 対象とするパズル • LITS （連結性あり） ：NP完全，ASP完全 • のりのり，島国 （非連結性あり） ：NP完全 •ASP完全性の証明方法 • 既知のASP完全問題からの多項式時間一対一還元 • NP完全性を示し，別解問題に多項式時間還元 • まとめと今後の課題 2013/3/1 第8回組み合わせゲームパズルミニ研究集会 3 NP完全とASP完全の違い • NP完全：解の存在性を判定 • プレイヤーの立場 • 求解が困難 • ASP完全：別解の存在を判定 • パズル製作者の立場（唯一解を保証） 別解は？ • 求解が困難（別解問題がNP完全） • 想定解をヒントにしても別解の計算が困難 別解問題（Another Solution Problem） 入力：ある問題例とその解， 質問：与えられた解以外の解が存在するか？ 2013/3/1 第8回組み合わせゲームパズルミニ研究集会 4 紹介するペンシルパズルゲーム LITS 島国 のりのり 1 2 隣接性 非隣接性 2013/3/1 第8回組み合わせゲームパズルミニ研究集会 5 LITSのルール • 2x2 以外の4細胞生物をブロックに配置 • 各ブロックに1生物 • 2x2の配置マスが生じない • ブロックを跨がず配置 • 同生物同士は非隣接 • 配置された生物全体が連結 http://www.nikoli.co.jp/ja/puzzles/lits.html 2013/3/1 第8回組み合わせゲームパズルミニ研究集会 6 「のりのり」のルール • 2細胞生物をブロックに配置 • ブロックを跨いで配置可能 • 各ブロックには配置マスが2マス • 生物は非隣接 http://www.nikoli.co.jp/ja/puzzles/norinori.html 2013/3/1 第8回組み合わせゲームパズルミニ研究集会 7 島国のルール • 指定個の をブロックに配置 • 各ブロックに最低1つの • ブロック内の全 は連結 • 隣接ブロックでは 数が異なる • 数字付きブロックは 数を指定 • 国（ブロック内の全 ）同士は非隣接 1 1 2