Beregnelighed og kompleksitet Teoretisk

Original: http://www.cse.buffalo.edu/~selman/book/

 

Steven Homer og Alan L. Selman

Springer Verlag New York 2001

ISBN 0-387-95055-9

 

Denne mængde introducerer materialer, der er kernen viden i teorien om beregning. Bogen er selvstændig, med en indledende kapitel, der beskriver centrale matematiske begreber og notationer og efterfølgende kapitler, der bevæger sig fra de kvalitative aspekter af klassisk beregnelighed af de kvantitative aspekter af kompleksitet teori. Dedikerede kapitler om ubesluttelighed, NP-fuldstændighed, og relativ beregnelighed afrunde arbejdet, som fokuserer på de begrænsninger af beregnelighed og skelnen mellem mulig og umedgørlig.

Emner og funktioner:

* Concise, fokuserede materialer dækker de mest grundlæggende begreber og resultater inden for moderne kompleksitetsteori, herunder teorien om NP-fuldstændighed, NP-hårdhed, polynomiet hierarki, og komplette problemer for andre kompleksitet klasser

* Indeholder oplysninger, der ellers kun findes i forskningslitteraturen og præsenterer den i en samlet, forenklet måde; for eksempel om, supplerer af kompleksitet klasser, søgning problemer, og mellemliggende problemer i NP

* Giver vigtig matematisk baggrund oplysninger, herunder afsnittene om logik og talteori og algebra

* Understøttet af talrige øvelser og supplerende problemer for forstærkning og selvstudium formål

Med dens tilgængelighed og godt udtænkt organisation, denne tekst / reference er en fremragende ressource og guide for dem, der søger at udvikle en solid forankring i teorien om computing. Begyndelsen kandidater, avancerede bachelorer, og fagfolk, der er involveret i den teoretiske datalogi, kompleksitetsteori og beregnelighed vil finde bogen et vigtigt og praktisk læring værktøj.

 

Indholdsfortegnelse
FORARBEJDE
Ord og Sprog
K-adic Repræsentation
Delvise funktioner
Grafer
Propositionelle Logic
Kardinalitet
Elementary Algebra
INTRODUKTION TIL beregnelighed
Turing-maskiner
Turing-Machine Begreber
Variationer af Turing-maskiner
Kirkens Speciale
RAMs
Ubesluttelighed
Beslutningsproblemer
Uafgørbar Problemer
Parring funktioner
Computably Enumerable Sets
Stop Problem, nedsættelser og systemer sæt
S-m-n Sætning
Rekursion Sætning
Rices Sætning
Turing Nedsættelser og Oracle Turing-maskiner
Rekursion Sætning, Fortsat
Referencer
Yderligere hjemmeopgaver
INTRODUKTION TIL kompleksitetsteori
Kompleksitet Klasser og kompleksitet Foranstaltninger
Forudsætninger
GRUNDLÆGGENDE RESULTATER AF kompleksitetsteori
Lineær Compression og Speedup
Constructible funktioner
Administrative lettelser
Inklusion Relationships
Forbindelserne mellem Standard Klasser
Separation Resultater
Oversættelse Teknikker og Padding
Forbindelserne mellem Standard Klasser – Fortsat
Supplering af kompleksitet Klasser: Den Immerman-Szelepcsenyi Sætning
Yderligere hjemmeopgaver
NONDETERMINISM OG NP-fuldstændighed
Karakteriserende NP
The Class P
Tællinger
NP-Fuldstændighed
Cook-Levin Sætning
Mere NP-komplette problemer
Yderligere hjemmeopgaver
RELATIV beregnelighed
NP-Hårdhed
Søg Problemer
Strukturen i NP
Composite Nummer og Graph isomorfi
Polynomiet Hierarkiet
Komplette problemer for andre Kompleksitet Klasser
Yderligere hjemmeopgaver
Foransagen med Forord og Indholdsfortegnelse
[postscript]
[PDF]

Comments are closed.