|
The author begins by defining and discussing efficient reductions between problems and considers the families and corresponding complete languages of NL, DCSL, CSL, P, NP, PTAPE, EXPTIME, and EXPTAPE. Definitions and results are uniformly extended to computationally simpler natural families of languages such as NL, P, and CSL by using Log n-tape bounded reductions.
The problem of determining what can and cannot be formally proven about running times of algorithms is discussed and related to the problem of establishing sharp time bounds for one-tape Turing machine computations, and the inability to formally prove running times for algorithms is then related to the presence of gaps in the hierarchy of complexity classes.
The concluding discussion is on the possibility that the famous P=NP? problem is independent of the axioms of formal mathematical systems such as set theory.
Social Statistics: An Introduction Using SPSS (2nd Edition) Автор: Richard J. Kendrick Год: 2004 |
Handbook for matrix computations Автор: Charles Van Loan Год: 1987 |
Vol.1. Numerical methods in scientific computing Автор: Dahlquist G., Bjoerck A. Год: 2008 |
Rounding errors in algebraic processes Автор: James H. Wilkinson Год: 1994 |