Obliczalność i złożoności Teoria

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


Steven Homer i Alan L. Selman
Springer-Verlag New York, 2011

ISBN 978-1461406815

To poprawione i rozszerzone wydanie obliczalności i złożoności obliczeniowej zawiera materiały, które są istotne wiedza bazowa w teorii obliczeń. Książka jest samowystarczalny, ze wstępnym rozdziale opisującym podstawowe pojęcia matematyczne i notacje i kolejnych rozdziałów poruszających się z jakościowych aspektów klasycznej teorii obliczalności do ilościowych aspektów teorii złożoności. Dedykowane rozdziały poświęcone nierozstrzygalności, NP-zupełności oraz względnej obliczalności zaokrąglić pracy, która koncentruje się na ograniczeniach obliczalności i różnic między wykonalne i trudne do rozwiązania.

Znaczna nowa treść w tej edycji wchodzą:

* Rozdział o nierównomierności studiuje obwody logiczne, zajęcia porad i ważny wynik Karpa-Lipton

* Definicje i właściwości podstawowych klas złożoności probabilistycznych

* Studium maszynie Turinga przemiennego i jednolitych klas obwodów

* Wprowadzenie do zajęć, licząc łącznie z wynikami Valiant i Vazirani i Toda

* Gruntowne leczenie dowodu, że IP jest identyczna PSPACE

Tematy i cechy:

* Zwięzła materiały ukierunkowane pokrycie najbardziej podstawowych pojęć i wyników w dziedzinie nowoczesnej teorii złożoności, w tym teorii NP-zupełności, NP-twardość, wielomianu hierarchii i kompletne problemy dla innych klas złożoności

* Zawiera informacje, które w przeciwnym razie istnieje tylko w literaturze naukowej i przedstawia je w sposób jednolity, uproszczony sposób; na przykład o uzupełnienie klas złożoności problemów z wyszukiwaniem i pośrednich problemów NP

* Zapewnia kluczową matematyczny podstawowych informacji, w tym sekcje dotyczące logiki i teorii liczb i algebry

* Obsługiwane przez licznych ćwiczeń i dodatkowych problemów dla celów zbrojeniowych i samokształcenia

Dzięki dostępności i dobrze opracowany organizacji, ten tekst / odniesienia jest doskonałym źródłem i przewodnik dla osób chcących zbudować solidne podstawy w teorii obliczeń. Początek absolwenci, zaawansowane Studenci i specjalistów zaangażowanych w teoretycznej informatyki, teorii złożoności i obliczalności znajdzie książka zasadniczą i praktyczne narzędzie do nauki.

Spis treści

1. CZYNNOŚCI WSTĘPNE

  • Słowa i języki
  • K-adic Przedstawicielstwo
  • Częściowa Funkcje
  • Wykresy
  • Logiki zdań
  • Relacja
  • Elementary Algebra

2. WPROWADZENIE DO obliczalności

  • Maszyna Turinga
  • Turing automatyczna Concepts
  • Odmiany Turinga Maszyn
  • Teza Kościoła
  • RAM

3. NIEROZSTRZYGALNOŚCI

  • Problemy decyzyjne
  • Problem nierozstrzygalny
  • Funkcje Parowanie
  • Computably zbiorów przeliczalnych
  • Powstrzymanie problemu, redukcji i komplety
  • S-m-n Twierdzenie
  • Rekurencja Twierdzenie
  • Twierdzenie Rice’a
  • Transformacja Turinga Maszyna Turinga i Oracle
  • Rekurencja Twierdzenie, ciąg dalszy
  • Referencje
  • Dodatkowe zadania Problemy

4. WPROWADZENIE DO TEORII ZŁOŻONOŚCI

  • Klasy złożoności i środki Złożoność
  • Wymagania

5. PODSTAWOWE WYNIKI TEORII ZŁOŻONOŚCI

  • Kompresja i przyspieszenia liniowe
  • Funkcje constructible
  • Redukcja Tape
  • Relacje włączenia
  • Stosunki między standardowych klas
  • Separacja Wyniki
  • Techniki tłumaczeniowe i wypełnianie
  • Stosunki między standardowych klas – ciąg dalszy
  • Uzupełnienie złożoności klas: the Immerman-Szelepcsenyi Twierdzenie
  • Dodatkowe zadania Problemy

6.NONDETERMINISM I NP-ZUPEŁNOŚCI

  • Znamiennej NP
  • Klasa P
  • Wyliczenia
  • NP-zupełności
  • Twierdzenie Cooka
  • Więcej Problemy NP-complete
  • Dodatkowe zadania Problemy

7. WZGLĘDNA OBLICZALNOŚCI

  • NP-Twardość
  • Problemy wyszukiwania
  • Struktura NP
    • Composite Liczba i izomorfizm grafów
    • Odbicie
  • Wielomian Hierarchia
  • Kompletny Problemy dotyczące innych klas złożoności
  • Dodatkowe zadania Problemy
    • NIEJEDNORODNY ZŁOŻONOŚĆ
    • Wielomian Wielkość Rodziny obwodów
    • Porady Klasy
    • Niskiej i wysokiej Hierarchie
    • RÓWNOLEGŁOŚĆ
    • Maszyny Turinga zmienny
    • Jednolite Rodziny obwodów
    • Wysoce Parallelizable Problemy
    • Jednolitość Warunki
    • Maszyny Turinga zmienny
    • Probabilistyczny klasami złożoności
    • Klasa PP
    • Klasa RP
    • Klasa ZPP
    • Klasa BPP
    • Wybrany losowo Funkcje Hash
    • Operatorzy
    • Graph Izomorfizm problem
    • Dodatkowe zadania Problemy
    • WPROWADZENIE DO KLAS licznikowych
    • Unikalne spełnialności
    • Twierdzenie Toda za
    • Wyniki na BPP i $ \ oplu $ P
    • Dodatkowe zadania Problemy
    • Interaktywne systemy DOWÓD
    • Formalny model
    • Graph dla Izomorfizm problem
    • Arthur-Merlin Gry
    • IP jest zawarte w PSPACE
    • PSPACE jest wliczone w OD
    • Dodatkowe zadania Problemy

Przód dzieje z prefacji i spis treści

[postscriptum]
[PDF]

Ważne linki:


Alan Selman

Comments are closed.