|
|
JAIST Repository >
b. 情報科学研究科・情報科学系 >
b10. 学術雑誌論文等 >
b10-1. 雑誌掲載論文 >
このアイテムの引用には次の識別子を使用してください:
http://hdl.handle.net/10119/15306
|
| タイトル: | Computational Complexity of Puzzles and Games (Invited Talk) |
| 著者: | Uehara, Ryuhei |
| キーワード: | computational complexity
reconfiguration problem
constraint logic |
| 発行日: | 2015-06 |
| 出版者: | Springer |
| 誌名: | Lecture Notes in Computer Science |
| 巻: | 9135 |
| 開始ページ: | XXVI |
| DOI: | 10.1007/978-3-662-47666-6 |
| 抄録: | A computation consists of algorithm of basic operations. When you consider an algorithm, you assume, say, the standard RAM model, that has “usual” arithmetic operations. On the other hand, when you consider an algorithm on a DNA computer, your basic operations are duplication and inversion on a string. Then you need to consider completely different algorithms, and their computational complexity also changes. That is, when we discuss computational complexity of a problem, it strongly depends on the set of basic operations you use. When you enjoy a puzzle, you have to find an algorithm by combining reasonable basic operations to its goal. (Some puzzles require to find the basic operations themselves, but we do not consider such puzzles in this talk.) From the viewpoint of theoretical computer science, puzzles give us some insight to computation and computational complexity classes in various way. Some puzzles and games give reasonable characterizations to computational complexity classes. For example, “pebble game” is a classic model that gives some complexity classes in a natural way, and “constraint logic” is recent model that succeeds to solve a long standing open problem due to Martin Gardner that asks the computational complexity of sliding block puzzles. Such puzzles gives us “typical” and characterization and “intuitive” understanding for some computational complexity classes. On the other hand, there are some puzzles and games that give nontrivial interesting aspects of computational complexity classes. For example, consider "14-15 puzzle" which is classic well known sliding puzzle. By parity, we can determine if one arrangement can be slid to the other in linear time. Moreover, we can always find a way for sliding between them in quadratic time. However, interestingly, finding the optimal solution is NP-complete in general. I also introduce a relatively new notion of the reconfiguration problem. This series of new problems will give some new notion of computational complexity classes. |
| Rights: | This is the author-created version of Springer, Ryuhei Uehara, Lecture Notes in Computer Science, 9135, 2015, XXVI. The original publication is available at www.springerlink.com, http://dx.doi.org/10.1007/978-3-662-47666-6 |
| URI: | http://hdl.handle.net/10119/15306 |
| 資料タイプ: | author |
| 出現コレクション: | b10-1. 雑誌掲載論文 (Journal Articles)
|
このアイテムのファイル:
| ファイル |
記述 |
サイズ | 形式 |
|---|
| 23591.pdf | | 17Kb | Adobe PDF | 見る/開く |
|
当システムに保管されているアイテムはすべて著作権により保護されています。
|
