دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش:
نویسندگان: Oded Goldreich
سری:
ISBN (شابک) : 160198152X, 9781601981523
ناشر:
سال نشر: 2008
تعداد صفحات: 92
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 514 کیلوبایت
در صورت تبدیل فایل کتاب Probabilistic Proof Systems: A Primer به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب سیستم های اثبات احتمالی: مبانی اولیه نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
انواع مختلفی از سیستم های اثبات احتمالی نقش اساسی در توسعه علوم کامپیوتر در چند دهه اخیر داشته اند. این سیستمهای اثبات با وارد کردن تصادفیسازی و تعامل در فرآیند تأیید، از مفهوم سنتی اثبات منحرف میشوند. سیستمهای اثبات احتمالی دارای احتمال خطا هستند (که به صراحت محدود میشود و میتوان آن را با تکرار کاهش داد)، اما آنها مزایای مختلفی نسبت به سیستمهای اثبات قطعی دارند. این آغازگر بر روی سه نوع سیستم اثبات احتمالی متمرکز می شود: اثبات های تعاملی، اثبات های دانش صفر، و اثبات های احتمالی قابل بررسی (PCP). با بررسی نتایج اساسی در مورد این سیستم های اثبات، پرایمر بر نقش اساسی تصادفی بودن در هر یک از آنها تأکید می کند.
Various types of probabilistic proof systems have played a central role in the development of computer science in the last couple of decades. These proof systems deviate from the traditional concept of a proof by introducing randomization and interaction into the verification process. Probabilistic proof systems carry an error probability (which is explicitly bounded and can be decreased by repetitions), but they offer various advantages over deterministic proof systems. This primer concentrates on three types of probabilistic proof systems: interactive proofs, zero-knowledge proofs, and probabilistically checkable proofs (PCP). Surveying the basic results regarding these proof systems, the primer stresses the essential role of randomness in each of them.