Computational Complexity of Solving Equation Systems

Name: Computational Complexity of Solving Equation Systems
Brand: Springer International Publishing AG
SKU: 2364731
Author: Przemyslaw Broniek

Przemyslaw Broniek

Springer International Publishing AG

Knihu koupíte v 1 e-shopu

Bookshop.cz

1 322 Kč

Není skladem

Do obchodu

Krátký popis

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.

Zobrazit celý popis

Výběr knih vydavatele Springer International Publishing AG