Laskettavuus ja Monimutkaisuus Teoria

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

Steven Homer ja Alan L. Selman

Springer Verlag, New York, 2011

ISBN 978-1461406815

Tämä uudistettu ja laajennettu painos Laskettavuus ja Kompleksisuus Teoria koostuu välttämättömiä materiaaleja, jotka ovat keskeisiä tiedon teorian laskenta. Kirja on itsenäinen, jolla on alustava luku, jossa kuvataan keskeisiä matemaattisia käsitteitä ja merkintätapoja ja myöhemmissä luvuissa siirrytään laadulliset näkökohdat klassinen laskettavuus teoria määrällisiä näkökohtia monimutkaisuus teoria. Omistettu lukua, undecidability, NP-täydellisyys, ja suhteellinen laskettavuus pyöristää työtä, joka keskittyy rajoitukset laskettavuus ja eroja toteutettavissa ja hankala.

Olennaista uutta sisältöä tämä versio sisältää:

*luku nonuniformity opiskelu Boolen piirejä, neuvonta luokat ja tärkeä tulos Karp-Lipton

*määritelmät ja ominaisuudet perusoikeuksien probabilistinen monimutkaisuus luokat

*tutkimus vuorotellen Turingin kone ja yhtenäinen piirin-luokat

*johdatus laskenta luokat mukaan lukien tulokset Urhea ja Vazirani ja Toda

*perusteellinen käsittely todiste siitä, että IP on sama kuin PSPACE

Aiheet ja ominaisuudet:

*Tiivis, keskittynyt materiaalit kansi keskeisimpiä käsitteitä ja tuloksia alalla moderni monimutkaisuus teoria, mukaan lukien teorian NP-täydellisyys, NP-kovuus, polynomi hierarkia, ja täydellinen ongelmia muiden monimutkaisuus luokat

*Sisältää tietoja, jotka muuten on olemassa vain tutkimuskirjallisuutta ja esittää sen yhtenäinen, yksinkertaistettu tavalla; esimerkiksi, täydentää monimutkaisuus luokat, etsiä ongelmia, ja väli-ongelmia NP

*Tarjoaa keskeisiä matemaattisia taustatietoja, mukaan lukien osiot logiikka ja lukuteoria ja algebra

*Tukee lukuisia harjoituksia ja täydentäviä ongelmia vahvistaminen ja itse-opiskelua varten

Sen saavutettavuus ja hyvin kehitetty organisaatio, tämä teksti/viite on erinomainen voimavara ja opas niille, jotka haluavat kehittää vankat theory of computing. Alussa valmistuneet, advanced opiskelijaa, ja ammattilaisten mukana teoreettisen tietojenkäsittelyopin, monimutkaisuus teoria, ja laskettavuus löytää kirjan olennainen ja käytännön oppimisen välineenä.

Sisällysluettelo

 

  1. ALKUTAHDEISTA
    • Sanat ja Kielet
    • K-adic Edustus
    • Osittainen Toiminnot
    • Kuvaajat
    • Lauselogiikka Logiikka
    • Mahtavuus
    • Alkeis-Algebra
  2. JOHDATUS LASKETTAVUUS
    • Turing-Koneita
    • Turing-Kone Käsitteitä
    • Muunnelmia Turingin Koneet
    • Kirkko on Tutkielma
    • Pässit
  3. UNDECIDABILITY
    • Päätöksen Ongelmia
    • Undecidable Ongelmia
    • Pariliitoksen Toiminnot
    • Computably Enumerable Sarjoiksi
    • Pysäyttäminen Ongelma, Vähennykset, ja Täydellinen Sarjat
    • S-m-n Lause
    • Rekursio Lause
    • Ricen Lause
    • Turing vähentäminen ja Oracle Turing-Koneita
    • Rekursio Lause, Edelleen
    • Referenssit
    • Lisää Kotitehtäviä Ongelmia
  4. JOHDATUS MONIMUTKAISUUS TEORIA
    • Monimutkaisuus Luokat ja Monimutkaisuus Toimenpiteet
    • Edellytykset
  5. PERUS TULOKSET MONIMUTKAISUUS TEORIA
    • Lineaarinen Puristus ja Pyörimisnopeuden
    • Konstruoitava Toiminnot
    • Tape Vähentäminen
    • Osallisuus Suhteet
      • Suhteet Standardin Luokat
    • Erottaminen Tuloksia
    • Käännös Tekniikoita ja Pehmuste
    • Suhteet Standardin Luokat–Jatkoi
      • Täydentää Monimutkaisuus Luokat: Immerman-Szelepcsenyi Lause
    • Lisää Kotitehtäviä Ongelmia
  6. NONDETERMINISM JA NP-TÄYDELLISYYS
    • Kuvaavat NP
    • Luokan P
    • Laskentatulosten
    • NP-Täydellisyys
    • Cookin-Levinin Lause
    • Enemmän NP-Täydellisiä Ongelmia
    • Lisää Kotitehtäviä Ongelmia
  7. SUHTEELLINEN LASKETTAVUUS
    • NP-Kovuus
    • Etsi Ongelmia
    • Rakenne NP
      • Komposiitti Lukumäärä ja Kuvaaja Isomorphism
      • Reflektio
    • Polynomin Hierarkia
    • Täydellinen Ongelmia Muiden Monimutkaisuus Luokat
    • Lisää Kotitehtäviä Ongelmia
      • EPÄTASAINEN MONIMUTKAISUUS
        • Polynomi Koko Perheille Piirit
            Neuvonta Luokat

        • Matalat ja Korkeat Hierarkiat
        • RINNAKKAISUUS
          • Vuorotellen Turing-Koneita
          • Yhtenäinen Perheiden Piirit
          • Erittäin Parallelizable Ongelmia
          • Yhdenmukaisuus Ehtoja
          • Vuorotellen Turing-Koneita
          • PROBABILISTINEN MONIMUTKAISUUS LUOKAT
            • Luokan PP
            • Luokan RP
              • Luokan ZPP
            • Luokan BPP
            • Satunnaisesti Valittu Hash Toimintoja
              • Toimijat
            • Kuvaaja Isomorphism Ongelma
            • Lisää Kotitehtäviä Ongelmia
              • JOHDATUS LASKENTA LUOKAT
                • Ainutlaatuinen Satisfiability
                • Toda Lause
                  • Tuloksia BPP: n ja $\oplu$ S
                • Lisää Kotitehtäviä Ongelmia
                    • INTERACTIVE PROOF-JÄRJESTELMÄT
                      • Muodollinen Malli
                      • Kuvaaja Ei-Isomorphism Ongelma
                      • Arthur-Merlin Games
                      • IP on sisällytetty PSPACE
                      • PSPACE Sisältyy IP
                      • Lisää Kotitehtäviä Ongelmia

Edessä asian kanssa Esipuhe ja Sisällysluettelo

[postscript]
[PDF]

Leave a Reply

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