パズルの算法 手とコンピュータでのパズルの味わい方

構成数 : 1枚

第1章 ハノイの塔

ハノイの塔
ハノイの塔の解き方
ハノイの塔の状態遷移
関連パズル:パネックス
ハノイの塔の単純な解き方

第2章 スライディングブロックパズル

スライディングブロックパズル
スライディングブロックパズルの仲間たち

第3章 ペンシルパズル

ペンシルパズル
ペンシルパズルのNP完全性
なぜペンシルパズルはNP完全なのか
ペンシルパズルから理論への逆襲

第4章 数のパズル

数のパズル
虫食い算・覆面算
メイク10

第5章 15パズル

15パズル
15パズルの歴史について
15パズルの数理とトリック
15パズルのアルゴリズムと計算量

第6章 シルエットパズル

シルエットパズル
タングラム対清少納言智慧の板
最適解
理論的な難しさと最近のシルエットパズル進化形

第7章 重ねるパズル

重ねるパズル
Kaboozle の困難性

第8章 マッチングパズル

マッチングパズル
簡単な話なのか
マッチングパズルの困難性
解けるマッチングパズル

第9章 アンチスライドパズル

パズルの難しさとは?
アンチスライドパズル
アンチスライドパズルをコンピュータで解くには

第10章 ルービック・キューブ

ルービック・キューブと仲間たち
ルービック・キューブの解法:人間編
ルービック・キューブの解法:コンピュータ編
ルービック・キューブの流行の秘密?

第11章 クロスバーパズル

グラフ同型性判定問題
クロスバーパズル
クロスバーパズルの先にあるもの:組木やからくり

第12章 手順の必要なパッキングパズル

手順の必要なパッキングパズル
3次元版
2次元版
計算量的な難しさ
蛇足:不可能物体

第13章 折り紙パズル

折るパズル
折るパズルの困難性
折るパズルをコンピュータで解く

第14章 裁ち合わせパズル

裁ち合わせパズル
デュードニー氏の裁ち合わせパズル
一般的な場合の技法

第15章 ペグソリテア

ペグソリテア
ペグソリテアの思い出:その1
ペグソリテアの思い出:その2
過去の精算
未来に向けて

第16章 パズルソルバ

コンピュータで解く:さまざまなソルバ
そもそも算法とは何だったのか

第17章 コンウェイのライフ・ゲームと計算不能性

計算不能なパズルとコンウェイのライフ・ゲーム
コンウェイのライフ・ゲーム

付録
ポリオミノ・ポリキューブ・ポリアボロ
チューリング機械
計算可能な関数と計算量クラス