商品簡介
A computer science text bridging the gap between the perceived impenetrability of computability and complexity theory and practical programming problems. Jones (computer science, U. of Copenhagen) offers new results, including a proof that constant time factors do matter for its programming-oriented model of computation, and other results regarding characterizations in programming terms of the central complexity classes PTIME and LOGSPACE, as well as a new approach to complete problems for NLOGSPACE, PTIME, NPTIME, and PSPACE, uniformly based on Boolean programs. Annotation c. by Book News, Inc., Portland, Or.
作者簡介
Neil D. Jones is Professor of Computer Science at the University of Copenhagen.
