دانلود کتاب Computational Complexity of Solving Equation Systems
دسته: ریاضیات محاسباتی
کتاب پیچیدگی محاسباتی حل سیستم های معادله نسخه زبان اصلی
دانلود کتاب پیچیدگی محاسباتی حل سیستم های معادله بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Computational Complexity of Solving Equation Systems
نام کتاب : Computational Complexity of Solving Equation Systems
ویرایش : 1
عنوان ترجمه شده به فارسی : پیچیدگی محاسباتی حل سیستم های معادله
سری : SpringerBriefs in Philosophy
نویسندگان : Przemysław Broniek (auth.)
ناشر : Springer International Publishing
سال نشر : 2015
تعداد صفحات : 70
ISBN (شابک) : 9783319217499 , 9783319217505
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 1 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
این جلد پیچیدگی محاسباتی تعیین اینکه آیا یک سیستم معادلات روی جبر ثابت A دارای راه حل است یا خیر را در نظر می گیرد. دو مشکلی که منجر به آن می شود را به تفصیل بررسی می کند: SysTermSat(A) و SysPolSat(A)، که در آنها معادلات به ترتیب از جمله یا چند جمله ای ساخته می شوند. این کتاب جبرهایی را مشخص می کند که SysPolSat را می توان در یک زمان چند جمله ای حل کرد. تاکنون، مطالعات و نتایج آنها جبری‌هایی را پوشش نداده‌اند که انواعی را که نوع 1 را به معنای تئوری تطابق رام ایجاد می‌کنند، ایجاد کنند. از آنجایی که جبرهای یکنواخت فقط نوع 1 را می پذیرند، این کتاب بر روی این جبرها تمرکز می کند تا مشکل اصلی را حل کند. چندین جنبه از جبرهای تکی را مورد بحث قرار می‌دهد و ثابت می‌کند که مسئله رضایت از محدودیت برای ساختارهای رابطه‌ای به صورت چندجمله‌ای معادل SysTermSat در جبرهای تکی است. فصل‌های پایانی کتاب در مورد خصوصیات جزئی بحث می‌کند، نتیجه‌گیری را ارائه می‌کند و مشکلاتی را که هنوز باز هستند توضیح می‌دهد.
فهرست مطالب :
Front Matter....Pages i-ix
Introduction....Pages 1-12
Unary Algebras....Pages 13-32
Reducing CSP to SysTermSat over Unary Algebras....Pages 33-41
Partial Characterizations....Pages 43-61
Conclusions and Open Problems....Pages 63-64
توضیحاتی در مورد کتاب به زبان اصلی :
This volume considers the computational complexity of determining whether a system of equations over a fixed algebra A has a solution. It examines in detail the two problems this leads to: SysTermSat(A) and SysPolSat(A), in which equations are built out of terms or polynomials, respectively. The book characterizes those algebras for which SysPolSat can be solved in a polynomial time. So far, studies and their outcomes have not covered algebras that generate a variety admitting type 1 in the sense of Tame Congruence Theory. Since unary algebras admit only type 1, this book focuses on these algebras to tackle the main problem. It discusses several aspects of unary algebras and proves that the Constraint Satisfaction Problem for relational structures is polynomially equivalent to SysTermSat over unary algebras. The book’s final chapters discuss partial characterizations, present conclusions, and describe the problems that are still open.
پست ها تصادفی