Computational Complexity of Solving Equation Systems

Nonfiction, Religion & Spirituality, Philosophy, Logic, Computers, General Computing, Programming
Cover of the book Computational Complexity of Solving Equation Systems by Przemysław Broniek, Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: Przemysław Broniek ISBN: 9783319217505
Publisher: Springer International Publishing Publication: July 24, 2015
Imprint: Springer Language: English
Author: Przemysław Broniek
ISBN: 9783319217505
Publisher: Springer International Publishing
Publication: July 24, 2015
Imprint: Springer
Language: English

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.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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.

More books from Springer International Publishing

Cover of the book Critical Essays on Twin Peaks: The Return by Przemysław Broniek
Cover of the book The Thermodynamics of Linear Fluids and Fluid Mixtures by Przemysław Broniek
Cover of the book Applying Comparative Effectiveness Data to Medical Decision Making by Przemysław Broniek
Cover of the book Adapted Compressed Sensing for Effective Hardware Implementations by Przemysław Broniek
Cover of the book Views and Beliefs in Mathematics Education by Przemysław Broniek
Cover of the book Gas-Phase IR Spectroscopy and Structure of Biological Molecules by Przemysław Broniek
Cover of the book Differentiation of Enantiomers I by Przemysław Broniek
Cover of the book Speech Recognition Using Articulatory and Excitation Source Features by Przemysław Broniek
Cover of the book Discrete Fracture Network Modeling of Hydraulic Stimulation by Przemysław Broniek
Cover of the book Computational Science – ICCS 2018 by Przemysław Broniek
Cover of the book Interpretation of Basic and Advanced Urodynamics by Przemysław Broniek
Cover of the book Neural Engineering by Przemysław Broniek
Cover of the book Philosophy in Stan Brakhage's Dog Star Man by Przemysław Broniek
Cover of the book Advances in Practical Applications of Survivable Agents and Multi-Agent Systems: The PAAMS Collection by Przemysław Broniek
Cover of the book Conceiving Nature after Aristotle, Kant, and Hegel by Przemysław Broniek
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy