Beräkningsbarhet och Komplexitet Teori

link:: http://cs-www.bu.edu/faculty/homer/complexitybook-vol2-webpg.html

Andra Upplagan

Steven Homer och Alan L. Selman

Springer Verlag New York, 2011

ISBN 978-1461406815

 

Denna reviderade och utökade upplagan av Beräkningsbarhet och Komplexitet Teori består av material som är grundläggande kunskaper i teorin för beräkning. Boken är fristående med en inledande kapitel som beskriver centrala matematiska begrepp och beteckningar och efterföljande kapitel går från den kvalitativa aspekter av klassisk beräkningsbarhet teori till de kvantitativa aspekterna av komplexitetsteori. Särskilda kapitel om oavgörbarhet, NP-fullständighet och relativa beräkningsbarhet runda av den första upplagan, som är inriktad på de begränsningar av beräkningsbarhet och skillnaderna mellan möjligt och svårlösta.

Nya väsentliga innehållet i denna andra upplaga innehåller:

*ett kapitel om nonuniformity studera Boolean kretsar, råd klasser och viktigt resultat av Karp-Lipton

*definitioner och egenskaper av grundläggande sannolikhetsteoretiska komplexitetsklasser

*en studie av den alternerande Turing-maskin och en enhetlig krets klasser

*en introduktion till att räkna klasser, inklusive resultaten av Tappra och Vazirani och Idag.

*en grundlig behandling av bevis på att IP är identisk med PSPACE

Ämnen och funktioner:

*Kortfattad och fokuserad material som täcker de mest grundläggande begrepp och resultat inom modern komplexitetsteori, inklusive teorin om NP-fullständighet, NP-tal, polynom hierarkin och fullständiga problem för andra komplexitetsklasser

*Innehåller information som annars bara finns i litteratur och presenteras på ett enhetligt och enkelt sätt, till exempel om ett komplement av komplexitet klasser, sök problem, och mellanliggande problem i NP, icke-rektangulära och parallella komplexitetsteori, probabilistisk komplexitet klasser, räkna klasser och interaktiva bevis-system.

*Ger viktiga matematiska bakgrunden information, inklusive avsnitten om logik och talteori och algebra

*Stöds av många övningar och kompletterande problem för förstärkning och själv-studera

Med sin tillgänglighet och genomtänkta organisationen, sms: a/referens är en utmärkt resurs och guide för dig som vill utveckla en solid grund i teorin om design. Början akademiker, avancerade studenter och yrkesverksamma som deltar i teoretisk datalogi, komplexitetsteori, och beräkningsbarhet kommer att hitta den bok ett viktigt och praktiska verktyg för lärande.

Innehållsförteckning

 

  1. FÖRBEREDELSER
    • Ord och Språk
    • K-adic Representation
    • Partiella Funktioner
    • Graphs
    • uttrycker propositionella Logik
    • Kardinalitet
    • Grundläggande Algebra
  2. INTRODUKTION TILL BERÄKNINGSBARHET
    • turingmaskiner
    • Turing-Maskinen Begrepp
    • Varianter av turingmaskiner
    • Church ‘ s Thesis
    • RAMs
  3. OAVGÖRBARHET
    • Beslutet Problem.
    • Obestämbart Problem.
    • Ihopkoppling Funktioner
    • Computably Uppräkningsbara Uppsättningar
    • Stoppa Problemet, Minskningar och Kompletta Uppsättningar
    • S-m-n Sats
    • Rekursion Sats
    • Rice ‘ s Teorem
    • Turing Minskningar och Oracle turingmaskiner
    • Rekursion Sats, Fortsatte
    • Referenser
    • Andra Läxor Problem.
  4. INTRODUKTION TILL komplexitetsteori
    • komplexitetsklasser och Komplexitet Åtgärder
    • Förkunskaper
  5. GRUNDLÄGGANDE RESULTAT AV komplexitetsteori
    • Linjär Komprimering och Speedup
    • Konstruerbara Funktioner
    • Tape Minskning
    • Inkludering Relationer
      • Förbindelserna mellan standardklasser
    • Separation Resultat
    • Översättning Tekniker och Utfyllnad
    • Relationer mellan Klasser–Fortsatt
      • ett Komplement av Komplexitet Klasser: Immerman-Szelepcsenyi Sats
    • Andra Läxor Problem.
  6. NONDETERMINISM OCH NP-FULLSTÄNDIGHET
    • Kännetecknar NP
    • Den Klass P
    • antalet kolonibildande enheter
    • NP-Fullständighet
    • Cook-Levin Sats
    • Mer NP-Fullständiga Problem.
    • Andra Läxor Problem.
  7. i FÖRHÅLLANDE BERÄKNINGSBARHET
    • NP-Hårdhet
    • Sök Problem.
    • Den Struktur av NP
      • Antalet Sammansatta och Diagram Isomorfism
      • Reflektion
    • Polynom Hierarki
    • Fullständig Problem för Andra komplexitetsklasser
    • Andra Läxor Problem.
  8. NONUNIFORM KOMPLEXITET
    • Polynom Storlek Familjer Kretsar
      • Råd Klasser
    • Det Låga och Höga Hierarkier
  9. PARALLELLITET
    • Omväxlande turingmaskiner
    • Uniform Familjer Kretsar
    • Högt Parallelizable Problem.
    • Enhetlighet Villkor
    • Omväxlande turingmaskiner
  10. PROBABILISTISK komplexitetsklasser
    • Den Klass PP
    • Den Klass RP
      • Den Klass ZPP
    • Den Klass BPP
    • Slumpmässigt Valt Hash-Funktioner
      • Operatörer
    • Grafen Isomorfism Problem
    • Andra Läxor Problem.
  11. INTRODUKTION till ATT RÄKNA KLASSER
    • Unika Satisfierbarhet
    • Toda Sats
      • Resultat BPP och Paritet P
    • Andra Läxor Problem.
  12. INTERAKTIVA BEVIS-SYSTEM
    • Den Formella Modell
    • Grafen Icke-Isomorfism Problem
    • Arthur Merlin Spel
    • IP-ingår i PSPACE
    • PSPACE Ingår i IP –
    • Andra Läxor Problem.

Leave a Reply

Your email address will not be published. Required fields are marked *