The graph isomorphism problem

M Grohe, P Schweitzer - Communications of the ACM, 2020 - dl.acm.org
The graph isomorphism problem Page 1 128 COMMUNICATIONS OF THE ACM |
NOVEMBER 2020 | VOL. 63 | NO. 11 review articles IMA GE B Y NAD A V/SHUTTERS T …

[КНИГА][B] Descriptive complexity, canonisation, and definable graph structure theory

M Grohe - 2017 - books.google.com
Descriptive complexity theory establishes a connection between the computational
complexity of algorithmic problems (the computational resources required to solve the …

Nonrepetitive graph colouring

DR Wood - arxiv preprint arxiv:2009.02001, 2020 - arxiv.org
A vertex colouring of a graph $ G $ is" nonrepetitive" if $ G $ contains no path for which the
first half of the path is assigned the same sequence of colours as the second half. Thue's …

Organic computing: on the feasibility of controlled emergence

C Müller-Schloer - Proceedings of the 2nd IEEE/ACM/IFIP international …, 2004 - dl.acm.org
This paper gives an introduction to the new research area of Organic Computing and shows
chances, opportunities and problems currently tackled by researchers. First the visions that …

Induced subgraphs and tree decompositions VII. Basic obstructions in H-free graphs

T Abrishami, B Alecu, M Chudnovsky, S Hajebi… - Journal of Combinatorial …, 2024 - Elsevier
We say a class C of graphs is clean if for every positive integer t there exists a positive
integer w (t) such that every graph in C with treewidth more than w (t) contains an induced …

[PDF][PDF] Power and limits of the Weisfeiler-Leman algorithm

S Kiefer - 2020 - publications.rwth-aachen.de
Abstract The Weisfeiler-Leman (WL) algorithm is a fundamental combinatorial technique
used to classify graphs and other relational structures. It dates back to the 1960s and has …

Designing FPT algorithms for cut problems using randomized contractions

R Chitnis, M Cygan, MT Hajiaghayi, M Pilipczuk… - SIAM Journal on …, 2016 - SIAM
We introduce a new technique for designing fixed-parameter algorithms for cut problems,
called randomized contractions. We apply our framework to obtain the first fixed-parameter …

Rankwidth meets stability

J Nešetřil, PO Mendez, M Pilipczuk, R Rabinovich… - Proceedings of the 2021 …, 2021 - SIAM
We study two notions of being well-structured for classes of graphs that are inspired by
classic model theory. A class of graphs is monadically stable if it is impossible to define …

Linear kernels and single-exponential algorithms via protrusion decompositions

EJ Kim, A Langer, C Paul, F Reidl… - ACM Transactions on …, 2015 - dl.acm.org
We present a linear-time algorithm to compute a decomposition scheme for graphs G that
have a set X⊆ V (G), called a treewidth-modulator, such that the treewidth of G− X is …

Planar graphs have bounded nonrepetitive chromatic number

V Dujmović, L Esperet, G Joret, B Walczak… - arxiv preprint arxiv …, 2019 - arxiv.org
A colouring of a graph is" nonrepetitive" if for every path of even order, the sequence of
colours on the first half of the path is different from the sequence of colours on the second …