Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
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 …
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 …
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 …
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 …
chances, opportunities and problems currently tackled by researchers. First the visions that …
Induced subgraphs and tree decompositions VII. Basic obstructions in H-free graphs
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 …
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 …
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
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 …
called randomized contractions. We apply our framework to obtain the first fixed-parameter …
Rankwidth meets stability
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 …
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
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 …
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
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 …
colours on the first half of the path is different from the sequence of colours on the second …