Atjaunināt sīkdatņu piekrišanu

E-grāmata: Complexity of Infinite-Domain Constraint Satisfaction

5.00/5 (2 ratings by Goodreads)
  • Formāts: PDF+DRM
  • Sērija : Lecture Notes in Logic
  • Izdošanas datums: 10-Jun-2021
  • Izdevniecība: Cambridge University Press
  • Valoda: eng
  • ISBN-13: 9781009158633
Citas grāmatas par šo tēmu:
  • Formāts - PDF+DRM
  • Cena: 149,89 €*
  • * ši ir gala cena, t.i., netiek piemērotas nekādas papildus atlaides
  • Ielikt grozā
  • Pievienot vēlmju sarakstam
  • Šī e-grāmata paredzēta tikai personīgai lietošanai. E-grāmatas nav iespējams atgriezt un nauda par iegādātajām e-grāmatām netiek atmaksāta.
Complexity of Infinite-Domain Constraint SatisfactionPalielināt
  • Formāts: PDF+DRM
  • Sērija : Lecture Notes in Logic
  • Izdošanas datums: 10-Jun-2021
  • Izdevniecība: Cambridge University Press
  • Valoda: eng
  • ISBN-13: 9781009158633
Citas grāmatas par šo tēmu:

DRM restrictions

  • Kopēšana (kopēt/ievietot):

    nav atļauts

  • Drukāšana:

    nav atļauts

  • Lietošana:

    Digitālo tiesību pārvaldība (Digital Rights Management (DRM))
    Izdevējs ir piegādājis šo grāmatu šifrētā veidā, kas nozīmē, ka jums ir jāinstalē bezmaksas programmatūra, lai to atbloķētu un lasītu. Lai lasītu šo e-grāmatu, jums ir jāizveido Adobe ID. Vairāk informācijas šeit. E-grāmatu var lasīt un lejupielādēt līdz 6 ierīcēm (vienam lietotājam ar vienu un to pašu Adobe ID).

    Nepieciešamā programmatūra
    Lai lasītu šo e-grāmatu mobilajā ierīcē (tālrunī vai planšetdatorā), jums būs jāinstalē šī bezmaksas lietotne: PocketBook Reader (iOS / Android)

    Lai lejupielādētu un lasītu šo e-grāmatu datorā vai Mac datorā, jums ir nepieciešamid Adobe Digital Editions (šī ir bezmaksas lietotne, kas īpaši izstrādāta e-grāmatām. Tā nav tas pats, kas Adobe Reader, kas, iespējams, jau ir jūsu datorā.)

    Jūs nevarat lasīt šo e-grāmatu, izmantojot Amazon Kindle.

Constraint Satisfaction Problems (CSPs) are natural computational problems that appear in many areas of theoretical computer science. Exploring which CSPs are solvable in polynomial time and which are NP-hard reveals a surprising link with central questions in universal algebra. This monograph presents a self-contained introduction to the universal-algebraic approach to complexity classification, treating both finite and infinite-domain CSPs. It includes the required background from logic and combinatorics, particularly model theory and Ramsey theory, and explains the recently discovered link between Ramsey theory and topological dynamics and its implications for CSPs. The book will be of interest to graduate students and researchers in theoretical computer science and to mathematicians in logic, combinatorics, and dynamics who wish to learn about the applications of their work in complexity theory.

Recenzijas

' this book is essential reading for anyone with the vaguest interest in computational complexity, as well as for those curious about potential applications of model theory and universal algebra. It brings together decades of intense research by different research communities in a uniform format.' Victor Lagerkvist, MathSciNet

Papildus informācija

Introduces the universal-algebraic approach to classifying the computational complexity of constraint satisfaction problems.
1. Introduction to constraint satisfaction problems;
2. Model theory;
3. Primitive positive interpretations;
4. Countably categorical structures;
5. Examples;
6. Universal algebra;
7. Equality constraint satisfaction problems;
8. Datalog;
9. Topology;
10. Oligomorphic clones;
11. Ramsey theory;
12. Temporal constraint satisfaction problems;
13. Non-dichotomies;
14. Conclusion and outlook; References; Index.
Manuel Bodirsky is Professor at the Institute for Algebra in the Faculty of Mathematics at TU Dresden.
Biežāk uzdotie jautājumi par e-grāmatām Biežāk uzdotie jautājumi par e-grāmatām
Permanent link: https://www.kriso.lv/db/97810091586332e.html
Keywords: