Gå direkt till innehållet
Till startsidan
Böcker, spel, garn, pyssel m.m.
Complexity Classifications of Boolean Constraint Satisfaction Problems
Spara

Complexity Classifications of Boolean Constraint Satisfaction Problems

63,30 €
BeställningsvaraKan levereras inom 7-20 dagar
Many fundamental combinatorial problems, arising in such diverse fields as artificial intelligence, logic, graph theory, and linear algebra, can be formulated as Boolean constraint satisfaction problems (CSP). This book is devoted to the study of the complexity of such problems. The authors' goal is to develop a framework for classifying the complexity of Boolean CSP in a uniform way. In doing so, they bring out common themes underlying many concepts and results in both algorithms and complexity theory. The results and techniques presented here show that Boolean CSP provide an excellent framework for discovering and formally validating "global" inferences about the nature of computation. This book presents a novel and compact form of a compendium that classifies an infinite number of problems by using a rule-based approach. This enables practitioners to determine whether or not a given problem is known to be computationally intractable. It also provides a complete classification of all problems that arise in restricted versions of central complexity classes such as NP, NPO, NC, PSPACE, and #P.

Mer på Adlibris

Om Adlibris

Vi är Nordens största nätbokhandel och vi vill inspirera människor till sin nästa läsupplevelse. Vi vill visa dig vägen till böcker som hänför, berör och upprör eller för en stund tar dig med till en helt annan värld. Hos oss ryms över 13 miljoner titlar samt det senaste inom spel, pyssel, garn och allt annat som hör en modern bokhandel till.

  • Alltid bra priser

  • Fri frakt över 39,90 €

  • Smidiga leveranser

Nyhetsbrev

Ta del av våra bästa lästips, erbjudanden och kampanjer. Anmäl dig nu och få 10 % rabatt på ditt första köp. Erbjudandet gäller endast nya prenumeranter, privatkunder, ej kurslitteratur, digitala böcker eller presentkort.