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.
Популярные книги за неделю:

Nucleation (Butterworth 2000)

Автор:
Категория: Phase transitions
Размер книги: 4.70 Mb

50 рецептов для аэрогриля

Автор:
Категория: house, house, cook
Размер книги: 771 Kb

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

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

Nucleation (Butterworth 2000)

Автор:
Категория: Phase transitions
Размер книги: 4.70 Mb

50 рецептов для аэрогриля

Автор:
Категория: house, house, cook
Размер книги: 771 Kb

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

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

Group Theoretical Methods in Physics

Автор: , Автор: , Автор:
Категория: Physics, Lecture notes
Размер книги: 3.38 Mb

Foundations for Microwave Engineerings

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

Cryocoolers 11

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

Aesthetics and politics

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

This Year'S Christmas Present

Автор: , Автор: , Автор:
Категория: fiction
Размер книги: 1.22 Mb