資料詳細

検索条件

  • 一般件名
    熊本地震（２０１６）－復興
ハイライト
  • 1 件中、 1 件目

ゲームとパズルの計算量 利用可

ロバート・Ａ．ハーン／著 -- 近代科学社 -- 2011.8 -- 410.9

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館 所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
鳥取県立 書庫 410.9/ﾊﾝ/一般Ｈ 118608540 一般 利用可

ページの先頭へ

資料詳細

タイトル ゲームとパズルの計算量
書名ヨミ ゲーム　ト　パズル　ノ　ケイサンリョウ
著者名 ロバート・Ａ．ハーン ／著, エリック・Ｄ．ドメイン ／著, 上原隆平 ／訳  
著者ヨミ ハーン，ロバート　Ａ , ドメイン，エリック　Ｄ , ウエハラ，リュウヘイ  
出版者 近代科学社  
出版年 2011.8
ページ数等 ２７９ｐ
大きさ ２３ｃｍ
内容細目 文献あり　索引あり
原書名 Ｇａｍｅｓ，ｐｕｚｚｌｅｓ，ａｎｄ　ｃｏｍｐｕｔａｔｉｏｎ．∥の翻訳
一般件名 計算量理論 , 遊戯 , パズル  
ISBN 4-7649-0392-X
ISBN13桁 978-4-7649-0392-0
定価 ４５００円
問合わせ番号（書誌番号） 1101801002
NDC8版 410.9
NDC9版 410.9
内容紹介 著者たちは、ゲームやパズルの難しさの背後に隠された、数学的な理論を示している。ゲームやパズルの面白さの理由は、こうした理論によって説明できるのかもしれない。それだけではなく、彼らはゲームやパズルが強力な計算モデルを提供してくれることも示した。これはオートマトンや回路といった通常のモデルとは大きく異なっていて、計算というものについて考えるための新しい方法を与えてくれる。本書の第１部では、ゲームとパズルと計算を結び付けるために著者たちが開発した「制約論理」と呼ばれる単純で、かつ強力なフレームワークを解説する。次に、このフレームワークを人間が実際に楽しんでいるゲームやパズルのいくつかに適用し、それぞれの場合に、そのゲームが同じカテゴリーの別のゲームと計算量的に同程度に難しいことを示す。

ページの先頭へ

内容一覧

タイトル 著者名 ページ
１　一般のゲーム（制約論理の定式化；制約論理ゲーム；０人ゲーム（シミュレーション）；１人ゲーム（パズル）；２人ゲーム；集団ゲーム；第１部のまとめ）
２　実際のゲーム（１人ゲーム（パズル）；２人ゲーム；第２部のまとめ；おわりに）
付録（ゲームとその計算量のまとめ；計算量理論；決定性制約論理の具体的な活性化の列；制約論理のクイックリファレンス）

ページの先頭へ