9783319217499 - computational complexity of solving equation systems (springerbriefs in philosophy) von broniek, przemysław (4 Ergebnisse)
Sprache: Englisch
Verlag: Springer, 2015
Serie: SpringerBriefs in Philosophy, Buch 23 von 86. Buch 23 von 86 - SpringerBriefs in Philosophy
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 59,76
EUR 14,09 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2015
Serie: SpringerBriefs in Philosophy, Buch 23 von 86. Buch 23 von 86 - SpringerBriefs in Philosophy
- Softcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 76,05
EUR 17,64 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. 120 pages. 9.00x6.00x0.25 inches. In Stock.
Sprache: Englisch
Verlag: Springer International Publishing, 2015
Serie: SpringerBriefs in Philosophy, Buch 23 von 86. Buch 23 von 86 - SpringerBriefs in Philosophy
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 60,66 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.
Weitere BilderSprache: Englisch
Verlag: Springer, 2015
Serie: SpringerBriefs in Philosophy, Buch 23 von 86. Buch 23 von 86 - SpringerBriefs in Philosophy
- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 50,40
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Computational Complexity of Solving Equation Systems | Przemys¿aw Broniek | Taschenbuch | SpringerBriefs in Philosophy | ix | Englisch | 2015 | Springer | EAN 9783319217499 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[d…ot]com | Anbieter: preigu.
