libcats.org
Главная

Feasible Computations and Provable Complexity Properties (CBMS-NSF Regional Conference Series in Applied Mathematics)

Обложка книги Feasible Computations and Provable Complexity Properties (CBMS-NSF Regional Conference Series in Applied Mathematics)

Feasible Computations and Provable Complexity Properties (CBMS-NSF Regional Conference Series in Applied Mathematics)

An overview of current developments in research on feasible computations; and a consideration of this area of research in relation to provable properties of complexity of computations.

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.

Популярные книги за неделю:

Ключ к сверхсознанию

Автор:
Категория: Путь к себе
Размер книги: 309 Kb

Древо жизни

Автор:
Категория: Путь к себе
Размер книги: 1.70 Mb

Contemporary Theatre, Film and Television, Volume 97

Автор:
Размер книги: 3.18 Mb
Только что пользователи скачали эти книги:

Ключ к сверхсознанию

Автор:
Категория: Путь к себе
Размер книги: 309 Kb

Древо жизни

Автор:
Категория: Путь к себе
Размер книги: 1.70 Mb

Contemporary Theatre, Film and Television, Volume 97

Автор:
Размер книги: 3.18 Mb

The Young Lions

Автор:
Размер книги: 1.45 Mb

Associative Learning of Likes and Dislikes: A Special Issue of Cognition and Emotion

Автор: , Автор: , Автор:
Категория: science_books
Размер книги: 1.16 Mb

Multi-scale Phenomena in Complex Fluids

Автор: , Автор: , Автор: , Автор:
Размер книги: 3.26 Mb

Using Models to Improve the Supply Chain

Автор:
Размер книги: 1.95 Mb

Lies and Fiction in the Ancient World

Автор: , Автор:
Размер книги: 24.89 Mb