Marknadens största urval
Snabb leverans

Computational Complexity of Solving Equation Systems

Om Computational Complexity of Solving Equation Systems

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.

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9783319217499
  • Format:
  • Häftad
  • Sidor:
  • 64
  • Utgiven:
  • 5. augusti 2015
  • Utgåva:
  • 12015
  • Mått:
  • 155x235x4 mm.
  • Vikt:
  • 1299 g.
Leveranstid: 2-4 veckor
Förväntad leverans: 5. december 2024

Beskrivning av Computational Complexity of Solving Equation Systems

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.

Användarnas betyg av Computational Complexity of Solving Equation Systems



Hitta liknande böcker
Boken Computational Complexity of Solving Equation Systems finns i följande kategorier:

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.