دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1
نویسندگان: Madhu Sudan
سری:
ISBN (شابک) : 3540606157, 9783540606154
ناشر: Springer
سال نشر: 1995
تعداد صفحات: 100
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 2 مگابایت
در صورت تبدیل فایل کتاب Efficient Checking of Polynomials and Proofs and the Hardness of Approximation Problems به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب بررسی کارآمد چند جمله ای ها و اثبات ها و سختی مسائل تقریب نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب بر اساس پایان نامه دکتری نویسنده که به عنوان پایان نامه برنده مسابقه پایان نامه دکتری ACM در سال 1993 انتخاب شد، تهیه شده است. نویسنده ارائه را بهبود بخشید و پیشرفت های حاصل از تایید پایان نامه توسط دانشگاه کالیفرنیا در برکلی را درج کرد. این کار یک قطعه جذاب از تحقیقات نظری علوم کامپیوتر است که بر روی نتایج عمیق از مناطق مختلف بنا شده است. این بینشهای نظری جدید و پیشرفت تکنیکهای کاربردی در زمینههای مختلف مانند پیچیدگی محاسباتی، بررسی کارآمد (تصادفی) اثباتها، برنامهها و چندجملهای، الگوریتمهای تقریب، بهینهسازی کامل NP و الگوریتمهای تشخیص خطا و تصحیح خطا در نظریه کدگذاری را ارائه میدهد.
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.
Introduction....Pages 1-14
On the resilience of polynomials....Pages 15-22
Low-degree tests....Pages 23-46
Transparent proofs and the class PCP....Pages 47-59
Hardness of approximations....Pages 61-68
Conclusions....Pages 69-71