I.Q Intelligent QubeのNP完全性の証明
スポンサーリンク
概要
- 論文の詳細を見る
I.Qはよく知られたパズルゲームであるが,その計算量の議論はこれまで行われてこなかった.本論文では,I.Qのクリアにおいて重要な概念であるターン数に着目し,決められたターンにすべてのキューブを捕獲することができるかどうかというターン数判定問題がNP完全であることを証明した.
- 一般社団法人情報処理学会の論文
- 2008-03-12
著者
-
田中 哲朗
東京大学情報基盤センター
-
水野 秀一
東京大学大学院総合文化研究科広域科学専攻
-
田中 哲朗
東京大学工学部
-
田中 哲朗
東京大学
-
田中 哲朗
the University of Tokyo
関連論文
- 4 大規模クラスタシステムでの実行 : GPS将棋の試み(コンピュータ将棋の不遜な挑戦)
- ボードゲーム「シンペイ」の完全解析(解析,ゲームプログラミング)
- ボードゲーム「シンペイ」の完全解析
- 部分ゲームの解析結果を用いたカルキュレーションの戦略(ゲームプログラミング)
- 新規節点で固定深さの探索を行うdf-pnの拡張
- I.Q Intelligent QubeのNP完全性の証明
- 特集「ゲームプログラミング」の編集にあたって
- 将棋プログラムの大規模並列実行
- パズルにまつわる最近の話題(思考ゲーム)
- AP1000へ移植したUtiLisp
- 「どうぶつしょうぎ」 の完全解析
- プログラム肉付けによる複数漢字書体間のスケルトンデータの共有
- SPARC の特徴を生かしたUtiLisp/C の実現法
- NetBootによる端末を用いた教育用計算機システムの開発と評価(分散システム構築運用技術,ユーザ指向の分散システム/インターネットの運用・管理)
- 証明数と反証数を用いたλ探索(探索,ゲームプログラミング)
- 駒の関係を利用した将棋の評価関数の学習(評価関数,ゲームプログラミング)
- 効率的な詰将棋探索のための評価関数(セッション(1) : ゲーム情報学(1))
- 効率的な詰将棋探索のための評価関数 (人工知能基礎論研究会(第55回)特集「エンタテイメントコンピューティングの基礎と応用」および一般) -- (セッション(1)ゲーム情報学(1))
- 大規模クラスタシステムでの実行 : GPS将棋の試み
- パズルの解法(ゲームとコンピュータ)
- しりとりゲームの数理的解析(ゲームプログラミング)
- 無理数を近似する分数(プログラム・プロムナード)
- 最中限の終盤の分析
- 部分計算を用いた手生成の高速化
- 怪物を閉じ込める(プログラム・プロムナード)
- 組木細工(プログラム・プロムナード)
- 3.Mac OS X編(2.教育用計算機環境の事例)(大規模分散ネットワーク環境における教育用計算機システム)
- 論理回路のシミュレーション(プログラム・プロムナード)
- パズル(ゲーム情報学研究の事例)(ゲーム情報学)
- ハフマン符号を解く(プログラム・プロムナード)
- プログラム・プロムナード : 大小の贈り物
- 倉庫番パズル(プログラム・プロムナード)
- 1, 600台のインターネット端末をつないだ : 東京大学教育用計算機システム(ECCS)
- 部品合成による漢字スケルトンフォントの作成
- 箱積みが最善引き分けの証明の別解
- 箱積みが最善引き分けの証明
- 疎結合並列計算機上の遅延評価型関数型言語処理系の性能評価
- 複数OS環境におけるユーザ管理
- 大規模計算機センターのセキュリティ対策事例
- マルチユーザ環境における仮想マシン上のWindows環境の構築
- 攻略工房-1-MMX命令を攻略する
- マルチメディア命令セットを使った文字列処理, 記号処理の高速化
- 数当てゲ-ム(MOO,マスタ-マインド) (ゲ-ムプログラミング) -- (第3章 パズル)
- ACM Programming Languages Summer Extravaganza報告
- 関数型言語処理系におけるデータ構成子のunbox化
- FPGAによる関数型言語向きアーキテクチャを持つプロセッサの実装
- 最善手の予測に基づくゲーム木探索の分散並列実行
- 入玉指向の将棋プログラムの作成
- 特集「ゲームプログラミング」の編集にあたって
- 定跡データベースの評価法の提案