Feasible Computations and Provable Complexity Properties - Brossura

Hartmanis, Juris

 
9780898710274: Feasible Computations and Provable Complexity Properties

Sinossi

An overview of current developments in research on feasible computations; and its relation to provable properties of complexity of computations.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Descrizione del libro

An overview of current developments in research on feasible computations. Defines and discusses efficient reductions between problems and considers the families and corresponding complete languages of NL, DCSL, CSL, P, NP, PTAPE, EXPTIME, and EXPTAPE.

Contenuti

Reductions and complete sets; L-Isomorphisms of complete sets; Structure of complete sets; Long proofs of trivial theorems; What can and cannot be proven about computational complexity; Relativized P NP problem.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.