[BOOK][B] Parameterized algorithms
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 …
parameterized algorithms and complexity accessible to graduate students and advanced …
[BOOK][B] Fundamentals of parameterized complexity
RG Downey, MR Fellows - 2013 - Springer
Parameterized complexity/multivariate complexity algorithmics is an exciting field of modern
algorithm design and analysis, with a broad range of theoretical and practical aspects that …
algorithm design and analysis, with a broad range of theoretical and practical aspects that …
[BOOK][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 …
can be described algebraically, enabling them to be constructed out of more basic elements …
Deciding twin-width at most 4 is NP-complete
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 …
and requires time $2^{\Omega (n/\log n)} $ unless the Exponential-Time Hypothesis fails …
Tractable hypergraph properties for constraint satisfaction and conjunctive queries
D Marx - Journal of the ACM (JACM), 2013 - dl.acm.org
An important question in the study of constraint satisfaction problems (CSP) is
understanding how the graph or hypergraph describing the incidence structure of the …
understanding how the graph or hypergraph describing the incidence structure of the …
New width parameters of graphs
M Vatshelle - 2012 - bora.uib.no
The main focus of this thesis is on using the divide and conquer technique to efficiently solve
graph problems that are in general intractable. We work in the field of parameterized …
graph problems that are in general intractable. We work in the field of parameterized …
Shote note: Revisiting Linear Width: Rethinking the Relationship Between Single Ideal and Linear Obstacle
T Fujita - arxiv preprint arxiv:2305.04740, 2023 - arxiv.org
Linear-width is a well-known and highly regarded graph parameter. The concept of Single
Ideal and Linear obstacle serves as an obstruction to linear-width on a connectivity sysem …
Ideal and Linear obstacle serves as an obstruction to linear-width on a connectivity sysem …
Fast FPT-approximation of branchwidth
FV Fomin, T Korhonen - Proceedings of the 54th Annual ACM SIGACT …, 2022 - dl.acm.org
Branchwidth determines how graphs, and more generally, arbitrary connectivity (basically
symmetric and submodular) functions could be decomposed into a tree-like structure by …
symmetric and submodular) functions could be decomposed into a tree-like structure by …
Practical algorithms for MSO model-checking on tree-decomposable graphs
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 …
expressible in monadic second-order logic. Monadic second-order (MSO) logic allows …
Exploring two concepts: branch decomposition and weak ultrafilter on connectivity system
T Fujita - arxiv preprint arxiv:2306.14147, 2023 - arxiv.org
This paper explores two fundamental concepts: branch width and weak ultrafilter. Branch
width is a significant graph width parameter that measures the degree of connectivity in a …
width is a significant graph width parameter that measures the degree of connectivity in a …