Name: Computational Complexity of Solving Equation Systems (Springerbriefs in Philosophy) (en Inglés)
SKU: 50884615
Price: 54.22 USD
Availability: InStock
Author: Przemyslaw Broniek

portada Computational Complexity of Solving Equation Systems (Springerbriefs in Philosophy) (en Inglés)

Computational Complexity of Solving Equation Systems (Springerbriefs in Philosophy) (en Inglés)

Formato

Libro Físico

Editorial

Springer

Autor

Przemyslaw Broniek

Año

2015

Idioma

Inglés

N° páginas

Encuadernación

Tapa Blanda

ISBN13

9783319217499

N° edición

Categorías

Algoritmos y estructuras de datos

Computational Complexity of Solving Equation Systems (Springerbriefs in Philosophy) (en Inglés)

Przemyslaw Broniek (Autor) · Springer · Tapa Blanda

Libro Nuevo Importado

Envío: 17 a 24 días háb.

$ 108.45$ 54.22

-50%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan más de 100 unidades

$ 54.22

Llega entre el 14 Sep y el 25 Sep a Quito, Pichincha. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Computational Complexity of Solving Equation Systems (Springerbriefs in Philosophy) (en Inglés)"

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.