The Weisfeiler-Leman Dimension of Conjunctive Queries
arxiv(2023)
摘要
The Weisfeiler-Leman (WL) dimension of a graph parameter f is the minimum
k such that, if G_1 and G_2 are indistinguishable by the k-dimensional
WL-algorithm then f(G_1)=f(G_2). The WL-dimension of f is ∞ if no
such k exists. We study the WL-dimension of graph parameters characterised by
the number of answers from a fixed conjunctive query to the graph. Given a
conjunctive query φ, we quantify the WL-dimension of the function that
maps every graph G to the number of answers of φ in G.
The works of Dvorák (J. Graph Theory 2010), Dell, Grohe, and Rattan (ICALP
2018), and Neuen (ArXiv 2023) have answered this question for full conjunctive
queries, which are conjunctive queries without existentially quantified
variables. For such queries φ, the WL-dimension is equal to the
treewidth of the Gaifman graph of φ.
In this work, we give a characterisation that applies to all conjunctive
qureies. Given any conjunctive query φ, we prove that its WL-dimension
is equal to the semantic extension width 𝗌𝖾𝗐(φ), a novel width
measure that can be thought of as a combination of the treewidth of φ
and its quantified star size, an invariant introduced by Durand and Mengel
(ICDT 2013) describing how the existentially quantified variables of φ
are connected with the free variables. Using the recently established
equivalence between the WL-algorithm and higher-order Graph Neural Networks
(GNNs) due to Morris et al. (AAAI 2019), we obtain as a consequence that the
function counting answers to a conjunctive query φ cannot be computed
by GNNs of order smaller than 𝗌𝖾𝗐(φ).
更多查看译文
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要