کتاب الکترونیکی

طبقه بندی پیچیدگی مشکلات رضایت از محدودیت بولی

Complexity classifications of Boolean constraint satisfaction problems

دانلود کتاب Complexity classifications of Boolean constraint satisfaction problems (به فارسی: طبقه بندی پیچیدگی مشکلات رضایت از محدودیت بولی) نوشته شده توسط «Nadia Creignou – Sanjeev Khanna – Madhu Sudan»


اطلاعات کتاب طبقه بندی پیچیدگی مشکلات رضایت از محدودیت بولی

موضوع اصلی: بهينه سازي. تحقیق در عملیات.

نوع: کتاب الکترونیکی

ناشر: Society for Industrial and Applied Mathematics

نویسنده: Nadia Creignou – Sanjeev Khanna – Madhu Sudan

زبان: English

فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)

سال انتشار: 1987

تعداد صفحه: 119

حجم کتاب: 2 مگابایت

کد کتاب: 9780898714791 , 0898714796

توضیحات کتاب طبقه بندی پیچیدگی مشکلات رضایت از محدودیت بولی

بسیاری از مسائل ترکیبی اساسی، که در زمینه‌های متنوعی مانند هوش مصنوعی، منطق، نظریه گراف و جبر خطی به وجود می‌آیند، می‌توانند به‌عنوان مسائل ارضای محدودیت بولی (CSP) فرموله شوند. این کتاب به بررسی پیچیدگی چنین مسائلی اختصاص دارد. هدف نویسندگان توسعه چارچوبی برای طبقه بندی پیچیدگی CSP Boolean به روشی یکنواخت است. با انجام این کار، آنها مضامین مشترک بسیاری از مفاهیم و نتایج را هم در الگوریتم ها و هم در نظریه پیچیدگی به نمایش می گذارند. نتایج و تکنیک‌های ارائه‌شده در اینجا نشان می‌دهد که CSP Boolean یک چارچوب عالی برای کشف و اعتبار رسمی استنتاج‌های «جهانی» در مورد ماهیت محاسبات ارائه می‌کند.

این کتاب شکل بدیع و فشرده ای از خلاصه ارائه می دهد که تعداد بی نهایت مسئله را با استفاده از یک رویکرد مبتنی بر قانون طبقه بندی می کند. این به پزشکان امکان می‌دهد تعیین کنند که آیا یک مشکل معین از نظر محاسباتی غیرقابل حل است یا خیر. همچنین یک طبقه‌بندی کامل از تمام مشکلاتی که در نسخه‌های محدود کلاس‌های پیچیدگی مرکزی مانند NP، NPO، NC، PSPACE و #P ایجاد می‌شوند، ارائه می‌کند.


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.

دانلود کتاب «طبقه بندی پیچیدگی مشکلات رضایت از محدودیت بولی»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.

برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.