libcats.org
Главная

Efficient Checking of Polynomials and Proofs and the Hardness of Appoximation Problems

Обложка книги Efficient Checking of Polynomials and Proofs and the Hardness of Appoximation Problems

Efficient Checking of Polynomials and Proofs and the Hardness of Appoximation Problems

This book is based on the author's PhD thesis which was selected as the winning thesis of the 1993 ACM Doctoral Dissertation Competition. The author improved the presentation and included the progress achieved since the thesis was approved by the University of California at Berkeley. This work is a fascinating piece of theoretical computer science research building on deep results from different areas. It provides new theoretical insights and 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.
Популярные книги за неделю:

Ключ к сверхсознанию

Автор:
Категория: Путь к себе
Размер книги: 309 Kb

Древо жизни

Автор:
Категория: Путь к себе
Размер книги: 1.70 Mb

Здоровье надо созидать

Автор:
Категория: Здоровье
Размер книги: 363 Kb

Шликерное литье

Автор:
Категория: science, science, technical
Размер книги: 5.98 Mb
Только что пользователи скачали эти книги:

The Vortex Blaster

Автор:
Размер книги: 278 Kb

The Way West

Автор:
Размер книги: 549 Kb

Building Web Services with Java: Making Sense of XML, SOAP, WSDL, and UDDI (2nd Edition)

Автор: , Автор: , Автор: , Автор: , Автор: , Автор: , Автор: , Автор: , Автор:
Размер книги: 3.11 Mb

Java Web Services mit Apache Axis 2 GERMAN

Автор: , Автор: , Автор:
Размер книги: 7.83 Mb

Digital Communications, 5th Edition

Автор: , Автор:
Размер книги: 24.21 Mb