Efficient checking of polynomials and proofs and the hardness of approximation problems /
This work is a fascinating piece of research in computer science: it is built on and combines deep theoretical results from various areas and, at the same time, takes into account applications to hard problems in several fields. The author provides important new foundational insights and essentially...
Na minha lista:
| Autor principal: | |
|---|---|
| Formato: | Thesis Livro |
| Idioma: | English |
| Publicado em: |
Berlin ; New York :
Springer?b-?sVerlag,
c1995.
|
| Colecção: | Lecture notes in computer science ;
1001. |
| Assuntos: |
| Resumo: | This work is a fascinating piece of research in computer science: it is built on and combines deep theoretical results from various areas and, at the same time, takes into account applications to hard problems in several fields. The author provides important new foundational insights and essentially advances applicable techniques in such different areas as computational complexity, efficient (randomized) checking of proofs, programs and polynomials, approximation algorithms, NP-complete optimization, and error-detection and error-correction algorithms in coding theory. |
|---|---|
| Descrição Física: | xiv, 87 p. ; 24 cm. |
| Bibliografia: | Includes bibliographical references (p. [73]-78) and index. |
| ISBN: | 3540606157 |