دانلود کتاب Computational Complexity of Solving Equation Systems – پیچیدگی محاسباتی حل سیستم های معادله

توضیحات

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 books final chapters discuss partial characterizations, present conclusions, and describe the problems that are still open.

————————————————————–

ترجمه ماشینی :

این جلد پیچیدگی محاسباتی تعیین اینکه آیا سیستم معادلات روی جبر ثابت A دارای راه حل است یا خیر را در نظر می گیرد. دو مشکلی که منجر به آن می شود را به تفصیل بررسی می کند: SysTermSat(A) و SysPolSat(A)، که در آنها معادلات به ترتیب از جمله یا چند جمله ای ساخته می شوند. این کتاب جبرهایی را مشخص می کند که SysPolSat را می توان در یک زمان چند جمله ای حل کرد. تاکنون، مطالعات و نتایج آنها جبری‌هایی را پوشش نداده‌اند که نوع 1 را به معنای تئوری تطابق رام ایجاد می‌کنند. از آنجایی که جبرهای یکنواخت فقط نوع 1 را می پذیرند، این کتاب بر روی این جبرها تمرکز می کند تا مشکل اصلی را حل کند. چندین جنبه از جبرهای تکی را مورد بحث قرار می‌دهد و ثابت می‌کند که مسئله رضایت از محدودیت برای ساختارهای رابطه‌ای به صورت چندجمله‌ای معادل SysTermSat در جبرهای تکی است. فصل‌های پایانی کتاب، خصوصیات جزئی را مورد بحث قرار می‌دهند، نتیجه‌گیری را ارائه می‌کنند و مشکلاتی را که هنوز باز هستند توضیح می‌دهند.

tag : دانلود کتاب پیچیدگی محاسباتی حل سیستم های معادله , Download پیچیدگی محاسباتی حل سیستم های معادله , دانلود پیچیدگی محاسباتی حل سیستم های معادله , Download Computational Complexity of Solving Equation Systems Book , پیچیدگی محاسباتی حل سیستم های معادله دانلود , buy پیچیدگی محاسباتی حل سیستم های معادله , خرید کتاب پیچیدگی محاسباتی حل سیستم های معادله , دانلود کتاب Computational Complexity of Solving Equation Systems , کتاب Computational Complexity of Solving Equation Systems , دانلود Computational Complexity of Solving Equation Systems , خرید Computational Complexity of Solving Equation Systems , خرید کتاب Computational Complexity of Solving Equation Systems ,