[BOOK][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 …

[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 …

[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 …

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 …

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 …

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 …

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 …

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 …

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 …

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 …