書籍詳細:パズルの算法

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

の画像の画像
  • 紙の書籍
予価:税込 2,420円(本体価格 2,200円)
発刊年月
2024.09(下旬)
ISBN
978-4-535-78987-6
判型
A5判
ページ数
160ページ
ジャンル

内容紹介

古典パズルから、パズル作家たちの独創的な作品までを幅広く紹介。理論計算機科学の観点も交えて、パズルに新たな視点を与えます。

目次


第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章 コンウェイのライフ・ゲームと計算不能性

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


付 録

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