Limits of Computation

Limits of Computation: An Introduction to the Undecidable and the Intractable tilbyder en blid introduktion til teorien om beregningskompleksitet. Den forklarer vanskelighederne ved beregning, der adresserer problemer, der slet ikke har nogen algoritme, og problemer, der ikke kan løses effektivt. Bogen gør det muligt for læserne at forstå: Hvad betyder det, at et problem er uløseligt eller at være NP-komplet? Hvad menes der med en beregning, og hvad er en generel model af en computer? Hvad betyder det, at en algoritme eksisterer, og hvilke typer problemer har ingen algoritme? Hvilke problemer har algoritmer, men algoritmen kan tage århundreder at færdiggøre? Teksten er udviklet ud fra forfatternes kursus i beregningskompleksitetsteori og er egnet til avancerede bachelor- og kandidatstuderende uden en stærk baggrund i teoretisk datalogi. Hvert kapitel præsenterer de grundlæggende eksempler, komplette beviser for teoremer og en bred vifte af øvelser. . Sprog: Engelsk