Weisfeiler-lehman refinement requires at least a linear number of iterations

28Citations
Citations of this article
18Readers
Mendeley users who have this article in their library.
Get full text

Abstract

Let Lk,m be the set of formulas of first order logic containing only variables from x1, x2, ... xk and having quantifier depth at most m. Let Ck,m be the extension of L k,m obtained by allowing counting quantifiers meaning that there are at least i distinct xj 's. It is shown that for constants h ≥ 1, there are pairs of graphs such that h-dimensional Weisfeiler-Lehman refinement (h-dim W-L) can distinguish the two graphs, but requires at least a linear number of iterations. Despite of this slow progress, 2h-dim W-L only requires O(n) iterations, and 3h-1-dim W-L only requires O(log n) iterations. In terms of logic, this means that there is a c > 0 and a class of non-isomorphic pairs (GhnHhn) of graphs with G hn and Hhn having O(n) vertices such that the same sentences of Lh+1cn and Ch+1cn hold (h + 1 variables, depth cn), even though Ghn and H hn can already be distinguished by a sentence of L k,m and thus Ckm for some k > h and m = O(log n). © 2011 Springer-Verlag Berlin Heidelberg.

References Powered by Scopus

An optimal lower bound on the number of variables for graph identification

454Citations
N/AReaders
Get full text

Upper and lower bounds for first order expressibility

162Citations
N/AReaders
Get full text

CANONICAL LABELLING OF GRAPHS IN LINEAR AVERAGE TIME.

155Citations
N/AReaders
Get full text

Cited by Powered by Scopus

Spectra of symmetric powers of graphs and the Weisfeiler-Lehman refinements

22Citations
N/AReaders
Get full text

Universal covers, color refinement, and two-variable counting logic: Lower bounds for the depth

21Citations
N/AReaders
Get full text

The iteration number of colour refinement

19Citations
N/AReaders
Get full text

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Cite

CITATION STYLE

APA

Fürer, M. (2001). Weisfeiler-lehman refinement requires at least a linear number of iterations. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 2076 LNCS, pp. 322–333). Springer Verlag. https://doi.org/10.1007/3-540-48224-5_27

Readers' Seniority

Tooltip

PhD / Post grad / Masters / Doc 9

64%

Researcher 3

21%

Professor / Associate Prof. 1

7%

Lecturer / Post doc 1

7%

Readers' Discipline

Tooltip

Computer Science 12

80%

Physics and Astronomy 2

13%

Mathematics 1

7%

Save time finding and organizing research with Mendeley

Sign up for free