Jump to ContentJump to Main Navigation
The Nature of Computation$
Users without a subscription are not able to see the full content.

Cristopher Moore and Stephan Mertens

Print publication date: 2011

Print ISBN-13: 9780199233212

Published to Oxford Scholarship Online: December 2013

DOI: 10.1093/acprof:oso/9780199233212.001.0001

Show Summary Details
Page of

PRINTED FROM OXFORD SCHOLARSHIP ONLINE (oxford.universitypressscholarship.com). (c) Copyright Oxford University Press, 2021. All Rights Reserved. An individual user may print out a PDF of a single chapter of a monograph in OSO for personal use. date: 18 May 2021

Memory, Paths, and Games

Memory, Paths, and Games

(p.300) (p.301) Chapter 8 Memory, Paths, and Games
The Nature of Computation

Cristopher Moore

Stephan Mertens

Oxford University Press

Both time and memory are limited resources in the real world, but a fundamental difference between the two is that the latter can be reused. The gap between determinism and nondeterministic computation — that is, between finding a solution and checking one — is considerably smaller with memory than it is with time. This chapter explores how various amounts of memory can be used to solve complexity classes of problems either deterministically or nondeterministically. It shows how these classes highlight the difficulty of finding a path through an enormous graph, or finding a winning strategy against a clever opponent. It illustrates computational complexity in mazes, wooden puzzles, and board games thousands of years old. The chapter first discusses the computer's state space, the relationship between space-bounded computation and reachability, paths, and symmetric space. It then examines how nondeterminism works in the space-bounded case and proves that reachability is NL-complete. It also considers middle-first search and nondeterministic space, along with the word game Geography and the Asian game of Go.

Keywords:   memory, determinism, computation, computational complexity, board games, state space, reachability, nondeterminism, middle-first search, paths

Oxford Scholarship Online requires a subscription or purchase to access the full text of books within the service. Public users can however freely search the site and view the abstracts and keywords for each book and chapter.

Please, subscribe or login to access full text content.

If you think you should have access to this title, please contact your librarian.

To troubleshoot, please check our FAQs , and if you can't find the answer there, please contact us .