ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Complexity classifications of Boolean constraint satisfaction problems

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

Complexity classifications of Boolean constraint satisfaction problems

مشخصات کتاب

Complexity classifications of Boolean constraint satisfaction problems

دسته بندی: بهینه سازی، تحقیق در عملیات.
ویرایش:  
نویسندگان: , ,   
سری: SIAM monographs on discrete mathematics and applications 
ISBN (شابک) : 9780898714791, 0898714796 
ناشر: Society for Industrial and Applied Mathematics 
سال نشر: 1987 
تعداد صفحات: 119 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 1 مگابایت

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



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

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


در صورت تبدیل فایل کتاب Complexity classifications of Boolean constraint satisfaction problems به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب طبقه بندی پیچیدگی مسائل رضایتمندی محدودیت های بولین نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


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

بسیاری از مسائل ترکیبی اساسی که در زمینه‌های متنوعی مانند هوش مصنوعی، منطق، نظریه گراف و جبر خطی به وجود می‌آیند، می‌توانند به‌عنوان مسائل ارضای محدودیت بولی (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.





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

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی