Descriptive Complexity, Canonisation, and Definable Graph Structure Theory

Autor Martin Grohe

Descriptive Complexity, Canonisation, and Definable Graph Structure Theory - Martin Grohe Nedostupné

Descriptive Complexity, Canonisation, and Definable Graph Structure Theory

Autor Martin Grohe

0.0 z 5 hvězdiček 0 hodnocení čtenářů

Kniha ( pevná vazba )

    • Produkt je nedostupný.
E-shopové listy

Při zaslání zboží balíčkem

K nákupu nad 99 Kč dárek zdarma v hodnotě 19 Kč

E-shopové listy

Jíst, či nejíst - To je, oč tu běží

Při zaslání zboží balíčkem

K nákupu nad 1999 Kč dárek zdarma v hodnotě 299 Kč

Jíst, či nejíst - To je, oč tu běží

Descriptive complexity theory establishes a connection between the computational complexity of algorithmic problems (the computational resources required to solve the problems) and their descriptive complexity (the language resources required to describe the problems). This groundbreaking book approaches descriptive complexity from the angle… Přejít na celý popis

Robert Galbraith / Puncovaný muž Osmý případ Cormorana Strika a Robin Ellacottové začíná zohaveným tělem muže, kterého policie považuje za známého zločince. Jeho partnerka však přesvědčeně tvrdí, že jde o někoho úplně jiného… Více informací

K tomuto produktu zákazníci kupují

Popis Hodnocení 0.0 z 5 hvězdiček 0 Vývoj ceny

Popis

Descriptive complexity theory establishes a connection between the computational complexity of algorithmic problems (the computational resources required to solve the problems) and their descriptive complexity (the language resources required to describe the problems). This groundbreaking book approaches descriptive complexity from the angle of modern structural graph theory, specifically graph minor theory. It develops a 'definable structure theory' concerned with the logical definability of graph theoretic concepts such as tree decompositions and embeddings. The first part starts with an introduction to the background, from logic, complexity, and graph theory, and develops the theory up to first applications in descriptive complexity theory and graph isomorphism testing. It may serve as the basis for a graduate-level course. The second part is more advanced and mainly devoted to the proof of a single, previously unpublished theorem: properties of graphs with excluded minors are decidable in polynomial time if, and only if, they are definable in fixed-point logic with counting.

Sdílet

kategorie
Knihy » Cizojazyčná literatura » English literature » Nonfiction » Science
Témata
Nakladatel
Cambridge
Rozměr
234 x 161 x 36
jazyk
angličtina
Vazba
pevná vazba
Hmotnost
968 g
isbn
978-1-107-01452-7
Počet stran
554
datum vydání
17.08.2017
ean
9781107014527

Hodnocení a recenze čtenářů Nápověda

0.0 z 5 0 hodnocení čtenářů

0× 5 hvězdiček 0× 4 hvězdičky 0× 3 hvězdičky 0× 2 hvězdičky 0× 1 hvezdička

Přidejte své hodnocení knihy

Načíst další hodnocení

Zobrazit všechna hodnocení

Přidat hodnocení

Vývoj ceny

Vývoj ceny Nápověda

Získejte přehled o vývoji ceny za posledních 60 dní.

Maloobchodní cena Minimální prodejní cena: 0 Kč Nápověda

Články, které stojí za pozornost

Zobrazit blog

Články, které stojí za pozornost