دانلود کتاب Complexity classifications of Boolean constraint satisfaction problems
49,000 تومان
طبقه بندی پیچیدگی مشکلات رضایت از محدودیت بولی
| موضوع اصلی | بهینه سازی، تحقیق در عملیات |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Society for Industrial Mathematics |
| تعداد صفحه | 119 |
| حجم فایل | 866 کیلوبایت |
| کد کتاب | 9780898714791,0898714796 |
| نویسنده | Madhu Sudan, Nadia Creignou, Sanjeev Khanna |
|---|---|
| زبان | انگلیسی |
| فرمت | DJVU |
| سال انتشار | 1987 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 1 | بدون تخفیف | 25,000 تومان |
| 2 | 20 درصد | 20,000 تومان |
| 3 الی 5 | 25 درصد | 18,750 تومان |
| 6 الی 10 | 30 درصد | 17,500 تومان |
| 11 الی 20 | 35 درصد | 16,250 تومان |
| 21 الی 30 | 40 درصد | 15,000 تومان |
| 31 الی 40 | 45 درصد | 13,750 تومان |
| 41 الی 50 | 50 درصد | 12,500 تومان |
| 51 الی 70 | 55 درصد | 11,250 تومان |
| 71 الی 100 | 60 درصد | 10,000 تومان |
| 101 الی 150 | 65 درصد | 8,750 تومان |
| 151 الی 200 | 70 درصد | 7,500 تومان |
| 201 الی 300 | 75 درصد | 6,250 تومان |
| 301 الی 500 | 80 درصد | 5,000 تومان |
| 501 الی 1000 | 85 درصد | 3,750 تومان |
| 1001 الی 10000 | 90 درصد | 2,500 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
طبقه بندی پیچیدگی مشکلات رضایت از محدودیت بولی
بسیاری از مسائل ترکیبی اساسی، که در زمینههای متنوعی مانند هوش مصنوعی، منطق، نظریه گراف و جبر خطی به وجود میآیند، میتوانند بهعنوان مسائل ارضای محدودیت بولی (CSP) فرموله شوند. این کتاب به بررسی پیچیدگی چنین مسائلی اختصاص دارد. هدف نویسندگان توسعه چارچوبی برای طبقه بندی پیچیدگی CSP Boolean به روشی یکنواخت است. با انجام این کار، آنها مضامین مشترک بسیاری از مفاهیم و نتایج را هم در الگوریتم ها و هم در نظریه پیچیدگی به نمایش می گذارند. نتایج و تکنیکهای ارائهشده در اینجا نشان میدهد که CSP Boolean یک چارچوب عالی برای کشف و اعتبار رسمی استنتاجهای «جهانی» در مورد ماهیت محاسبات ارائه میکند.
این کتاب شکل بدیع و فشرده ای از خلاصه ارائه می دهد که تعداد بی نهایت مسئله را با استفاده از یک رویکرد مبتنی بر قانون طبقه بندی می کند. این به پزشکان امکان میدهد تعیین کنند که آیا یک مشکل معین از نظر محاسباتی غیرقابل حل است یا خیر. همچنین یک طبقهبندی کامل از تمام مشکلاتی که در نسخههای محدود کلاسهای پیچیدگی مرکزی مانند NP، NPO، NC، PSPACE و #P ایجاد میشوند، ارائه میکند.
Complexity classifications of Boolean constraint satisfaction problems
Many fundamental combinatorial problems, arising in such diverse fields as artificial intelligence, logic, graph theory, and linear algebra, can be formulated as Boolean constraint satisfaction problems (CSP). This book is devoted to the study of the complexity of such problems. The authors’ goal is to develop a framework for classifying the complexity of Boolean CSP in a uniform way. In doing so, they bring out common themes underlying many concepts and results in both algorithms and complexity theory. The results and techniques presented here show that Boolean CSP provide an excellent framework for discovering and formally validating “global” inferences about the nature of computation.
This book presents a novel and compact form of a compendium that classifies an infinite number of problems by using a rule-based approach. This enables practitioners to determine whether or not a given problem is known to be computationally intractable. It also provides a complete classification of all problems that arise in restricted versions of central complexity classes such as NP, NPO, NC, PSPACE, and #P.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.