[图书][B] Parameterized algorithms

M Cygan, FV Fomin, Ł Kowalik, D Lokshtanov, D Marx… - 2015 - Springer
The goal of this textbook is twofold. First, the book serves as an introduction to the field of
parameterized algorithms and complexity accessible to graduate students and advanced …

[图书][B] Graph structure and monadic second-order logic: a language-theoretic approach

B Courcelle, J Engelfriet - 2012 - books.google.com
The study of graph structure has advanced in recent years with great strides: finite graphs
can be described algebraically, enabling them to be constructed out of more basic elements …

Twin-width VI: the lens of contraction sequences∗

É Bonnet, EJ Kim, A Reinald, S Thomassé - … of the 2022 Annual ACM-SIAM …, 2022 - SIAM
A contraction sequence of a graph consists of iteratively merging two of its vertices until only
one vertex remains. The recently introduced twin-width graph invariant is based on …

Deciding twin-width at most 4 is NP-complete

P Bergé, É Bonnet, H Déprés - arXiv preprint arXiv:2112.08953, 2021 - arxiv.org
We show that determining if an $ n $-vertex graph has twin-width at most 4 is NP-complete,
and requires time $2^{\Omega (n/\log n)} $ unless the Exponential-Time Hypothesis fails …

A survey on the computational complexity of coloring graphs with forbidden subgraphs

PA Golovach, M Johnson, D Paulusma… - Journal of Graph …, 2017 - Wiley Online Library
For a positive integer k, ak‐coloring of a graph is a mapping such that whenever. The
Coloring problem is to decide, for a given G and k, whether ak‐coloring of G exists. If k is …

[HTML][HTML] Quantum network routing and local complementation

F Hahn, A Pappa, J Eisert - npj Quantum Information, 2019 - nature.com
Quantum communication between distant parties is based on suitable instances of shared
entanglement. For efficiency reasons, in an anticipated quantum network beyond point-to …

Practical algorithms for MSO model-checking on tree-decomposable graphs

A Langer, F Reidl, P Rossmanith, S Sikdar - Computer Science Review, 2014 - Elsevier
In this survey, we review practical algorithms for graph-theoretic problems that are
expressible in monadic second-order logic. Monadic second-order (MSO) logic allows …

[PDF][PDF] Superhypertree-width and neutrosophictree-width

T Fujita - preprint (researchgate), 2024 - researchgate.net
Graph characteristics are often analyzed through various parameters, with ongoing research
dedicated to exploring these aspects. A hypergraph is a generalization of the conventional …

[PDF][PDF] Obstruction for hypertree width and superhypertree width

T Fujita - preprint (researchgate), 2024 - researchgate.net
Graph characteristics are often analyzed through various parameters, with ongoing research
dedicated to exploring these aspects. A hypergraph is a generalization of the conventional …

Twin-width VIII: delineation and win-wins

É Bonnet, D Chakraborty, EJ Kim, N Köhler… - arXiv preprint arXiv …, 2022 - arxiv.org
We introduce the notion of delineation. A graph class $\mathcal C $ is said delineated if for
every hereditary closure $\mathcal D $ of a subclass of $\mathcal C $, it holds that $\mathcal …