ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Efficient Checking of Polynomials and Proofs and the Hardness of Approximation Problems

دانلود کتاب بررسی کارآمد چند جمله ای ها و اثبات ها و سختی مسائل تقریب

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

مشخصات کتاب

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

ویرایش: 1 
نویسندگان:   
سری:  
ISBN (شابک) : 3540606157, 9783540606154 
ناشر: Springer 
سال نشر: 1995 
تعداد صفحات: 100 
زبان: English  
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت 

قیمت کتاب (تومان) : 44,000



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 18


در صورت تبدیل فایل کتاب 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




نظرات کاربران