Games, puzzles, and computation:
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Wellesley, Mass.
Peters
2009
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Item Description: | Includes bibliographical references and index |
| Physical Description: | ix, 237 S. Ill., graph. Darst. |
| ISBN: | 9781568813226 1568813228 |
Staff View
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV039124687 | ||
| 003 | DE-604 | ||
| 005 | 20110801 | ||
| 007 | t | ||
| 008 | 110707s2009 xxuad|| |||| 00||| eng d | ||
| 010 | |a 2009002069 | ||
| 020 | |a 9781568813226 |c alk. paper |9 978-1-56881-322-6 | ||
| 020 | |a 1568813228 |c alk. paper |9 1-56881-322-8 | ||
| 035 | |a (OCoLC)729995714 | ||
| 035 | |a (DE-599)BVBBV039124687 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 044 | |a xxu |c US | ||
| 049 | |a DE-703 |a DE-11 | ||
| 050 | 0 | |a QA63 | |
| 082 | 0 | |a 510 | |
| 084 | |a SK 860 |0 (DE-625)143264: |2 rvk | ||
| 100 | 1 | |a Hearn, Robert A. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Games, puzzles, and computation |c Robert A. Hearn, Erik D. Demaine |
| 264 | 1 | |a Wellesley, Mass. |b Peters |c 2009 | |
| 300 | |a ix, 237 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Includes bibliographical references and index | ||
| 650 | 4 | |a Mathematisches Modell | |
| 650 | 4 | |a Problem solving |x Mathematical models | |
| 650 | 4 | |a Games |x Mathematical models | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 0 | 7 | |a Spieltheorie |0 (DE-588)4056243-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Problemlösen |0 (DE-588)4076358-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Komplexitätstheorie |0 (DE-588)4120591-1 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Spieltheorie |0 (DE-588)4056243-8 |D s |
| 689 | 0 | 1 | |a Problemlösen |0 (DE-588)4076358-4 |D s |
| 689 | 0 | 2 | |a Komplexitätstheorie |0 (DE-588)4120591-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Demaine, Erik D. |d 1981- |e Verfasser |0 (DE-588)123829704 |4 aut | |
| 856 | 4 | 2 | |m Digitalisierung UB Bayreuth |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024143167&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-024143167 | ||
Record in the Search Index
| _version_ | 1804147957223653376 |
|---|---|
| adam_text | Contents
1
Introduction
1
1.1
What is a Game?
....................... 3
1.2
Computational Complexity Classes
............. 6
1.3
Constraint Logic
....................... 9
1.4
What s Next?
......................... 11
1 Games in General
13
2
The Constraint-Logic Formalism
15
2.1
Constraint Graphs
...................... 16
2.2
Planar Constraint Graphs
.................. 19
2.3
Constraint-Graph Conversion Techniques
......... 20
3
Constraint-Logic Games
25
3.1
Zero-Player Games (Simulations)
.............. 26
3.2
One-Player Games (Puzzles)
................. 29
3.3
Two-Player Games
...................... 31
3.4
Team Games
......................... 34
4
Zero-Player Games (Simulations)
39
4.1
Bounded Games
....................... 40
4.2
Unbounded Games
...................... 43
VII
viii Contents
5
One-Player Games (Puzzles)
55
5.1
Bounded Games
....................... 56
5.2
Unbounded Games
...................... 61
6
Two-Player Games
71
6.1
Bounded Games
....................... 72
6.2
Unbounded Games
...................... 76
6.3
No-Repeat Games
...................... 81
7
Team Games
85
7.1
Bounded Games
....................... 86
7.2
Unbounded Games
...................... 89
8
Perspectives on Part I
101
8.1
Hierarchies of Complete Problems
............. 101
8.2
Games, Physics, and Computation
............. 102
II Games in Particular
105
9
One-Player Games (Puzzles)
107
9.1
TipOver
............................ 107
9.2
Hitori
............................. 112
9.3
Sliding-Block Puzzles
..................... 115
9.4
The Warehouseman s Problem
............... 120
9.5
Sliding-Coin Puzzles
..................... 120
9.6
Plank Puzzles
......................... 122
9.7
Sokoban
............................ 126
9.8
Push-2-F
........................... 129
9.9
Rush Hour
.......................... 133
9.10
Triangular Rush Hour
.................... 136
9.11
Hinged Polygon Dissections
................. 137
10
Two-Player Games
141
10.1
Amazons
........................... 141
10.2
Konane
............................ 146
10.3
Cross Purposes
........................ 149
11
Perspectives on Part II
155
12
Conclusions
157
12.1
Contributions
......................... 157
12.2
Future Work
......................... 158
Contents
¡x
Appendices
161
A
Surveyor Games and Their Complexities
163
A.I Cellular Automata
...................... 164
A.
2
Games of Block Manipulation
................ 165
A.3 Games of Tokens on Graphs
................. 170
A.
4
Peg-Jumping Games
..................... 174
A.
5
Connection Games
...................... 174
A.6 Other Board Games
..................... 175
A.
7
Pencil Puzzles
......................... 175
A.
8
Formula Games
........................ 180
A.9 Other Games
......................... 182
A.
10
Constraint Logic
....................... 186
A.
11
Open Problems
........................ 186
В
Computational-Complexity Reference
193
B.I Basic Definitions
....................... 193
B.2 Generalizations of Turing Machines
............. 196
B.3 Relationship of Complexity Classes
............. 199
B.4 List of Complexity Classes Used in this Book
....... 199
B.5 Formula Games
........................ 200
С
Deterministic Constraint Logic Activation Sequences
203
D
Constraint-Logic Quick Reference
215
Bibliography
217
Index
230
|
| any_adam_object | 1 |
| author | Hearn, Robert A. Demaine, Erik D. 1981- |
| author_GND | (DE-588)123829704 |
| author_facet | Hearn, Robert A. Demaine, Erik D. 1981- |
| author_role | aut aut |
| author_sort | Hearn, Robert A. |
| author_variant | r a h ra rah e d d ed edd |
| building | Verbundindex |
| bvnumber | BV039124687 |
| callnumber-first | Q - Science |
| callnumber-label | QA63 |
| callnumber-raw | QA63 |
| callnumber-search | QA63 |
| callnumber-sort | QA 263 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SK 860 |
| ctrlnum | (OCoLC)729995714 (DE-599)BVBBV039124687 |
| dewey-full | 510 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 510 - Mathematics |
| dewey-raw | 510 |
| dewey-search | 510 |
| dewey-sort | 3510 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01900nam a2200493zc 4500</leader><controlfield tag="001">BV039124687</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20110801 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">110707s2009 xxuad|| |||| 00||| eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a">2009002069</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781568813226</subfield><subfield code="c">alk. paper</subfield><subfield code="9">978-1-56881-322-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1568813228</subfield><subfield code="c">alk. paper</subfield><subfield code="9">1-56881-322-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)729995714</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV039124687</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">xxu</subfield><subfield code="c">US</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-703</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA63</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">510</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 860</subfield><subfield code="0">(DE-625)143264:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Hearn, Robert A.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Games, puzzles, and computation</subfield><subfield code="c">Robert A. Hearn, Erik D. Demaine</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Wellesley, Mass.</subfield><subfield code="b">Peters</subfield><subfield code="c">2009</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">ix, 237 S.</subfield><subfield code="b">Ill., graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematisches Modell</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Problem solving</subfield><subfield code="x">Mathematical models</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Games</subfield><subfield code="x">Mathematical models</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Spieltheorie</subfield><subfield code="0">(DE-588)4056243-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Problemlösen</subfield><subfield code="0">(DE-588)4076358-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Komplexitätstheorie</subfield><subfield code="0">(DE-588)4120591-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Spieltheorie</subfield><subfield code="0">(DE-588)4056243-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Problemlösen</subfield><subfield code="0">(DE-588)4076358-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Komplexitätstheorie</subfield><subfield code="0">(DE-588)4120591-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Demaine, Erik D.</subfield><subfield code="d">1981-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)123829704</subfield><subfield code="4">aut</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Bayreuth</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024143167&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-024143167</subfield></datafield></record></collection> |
| id | DE-604.BV039124687 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T23:59:29Z |
| institution | BVB |
| isbn | 9781568813226 1568813228 |
| language | English |
| lccn | 2009002069 |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-024143167 |
| oclc_num | 729995714 |
| open_access_boolean | |
| owner | DE-703 DE-11 |
| owner_facet | DE-703 DE-11 |
| physical | ix, 237 S. Ill., graph. Darst. |
| publishDate | 2009 |
| publishDateSearch | 2009 |
| publishDateSort | 2009 |
| publisher | Peters |
| record_format | marc |
| spelling | Hearn, Robert A. Verfasser aut Games, puzzles, and computation Robert A. Hearn, Erik D. Demaine Wellesley, Mass. Peters 2009 ix, 237 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Includes bibliographical references and index Mathematisches Modell Problem solving Mathematical models Games Mathematical models Logic, Symbolic and mathematical Spieltheorie (DE-588)4056243-8 gnd rswk-swf Problemlösen (DE-588)4076358-4 gnd rswk-swf Komplexitätstheorie (DE-588)4120591-1 gnd rswk-swf Spieltheorie (DE-588)4056243-8 s Problemlösen (DE-588)4076358-4 s Komplexitätstheorie (DE-588)4120591-1 s DE-604 Demaine, Erik D. 1981- Verfasser (DE-588)123829704 aut Digitalisierung UB Bayreuth application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024143167&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Hearn, Robert A. Demaine, Erik D. 1981- Games, puzzles, and computation Mathematisches Modell Problem solving Mathematical models Games Mathematical models Logic, Symbolic and mathematical Spieltheorie (DE-588)4056243-8 gnd Problemlösen (DE-588)4076358-4 gnd Komplexitätstheorie (DE-588)4120591-1 gnd |
| subject_GND | (DE-588)4056243-8 (DE-588)4076358-4 (DE-588)4120591-1 |
| title | Games, puzzles, and computation |
| title_auth | Games, puzzles, and computation |
| title_exact_search | Games, puzzles, and computation |
| title_full | Games, puzzles, and computation Robert A. Hearn, Erik D. Demaine |
| title_fullStr | Games, puzzles, and computation Robert A. Hearn, Erik D. Demaine |
| title_full_unstemmed | Games, puzzles, and computation Robert A. Hearn, Erik D. Demaine |
| title_short | Games, puzzles, and computation |
| title_sort | games puzzles and computation |
| topic | Mathematisches Modell Problem solving Mathematical models Games Mathematical models Logic, Symbolic and mathematical Spieltheorie (DE-588)4056243-8 gnd Problemlösen (DE-588)4076358-4 gnd Komplexitätstheorie (DE-588)4120591-1 gnd |
| topic_facet | Mathematisches Modell Problem solving Mathematical models Games Mathematical models Logic, Symbolic and mathematical Spieltheorie Problemlösen Komplexitätstheorie |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024143167&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT hearnroberta gamespuzzlesandcomputation AT demaineerikd gamespuzzlesandcomputation |