Billede af bogens forside - Computational Complexity of Solving Equation Systems

Computational Complexity of Solving Equation Systems

af Przemyslaw Broniek

Bog, Paperback, Engelsk, 2015

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.

Priser fra 4 boghandlere

Bogdetaljer

  • SprogEngelsk
  • IndbindingPaperback
  • ISBN9783319217499
  • Udgivet5/08/2015
  • Udgivet afSpringer International Publishing AG
  • Længde64 sider
  • ForfatterPrzemyslaw Broniek
  • GenreBusiness og læring, Computer og IT