本論文では、グラフ動機パラメータの解析におけるWeisfeiler-Lemanテストの能力を明確に特徴付けている。
まず、グラフの部分グラフ数え上げと誘導部分グラフ数え上げの問題に対するWeisfeiler-Lemanテストの識別能力を解明した。部分グラフ数え上げの場合、パターングラフPの最大トリーウィズが kであるならば、kWLテストで識別できることを示した。一方、誘導部分グラフ数え上げの場合、パターングラフPのノード数がk+1以下であるならば、kWLテストで識別できることを明らかにした。
さらに、Weisfeiler-Lemanテストの識別能力と動機パラメータの関係を一般化した。具体的には、動機パラメータΓの識別に必要なWeisfeiler-Lemanテストの次元は、Γのサポートグラフの最大トリーウィズに一致することを示した。
最後に、与えられたパターングラフPに対する部分グラフ数え上げの問題のWeisfeiler-Lemanテストの次元を多項式時間で判定できるアルゴリズムを提案した。これは、Arvind et al. (2020)で提起された未解決問題を解決するものである。
Para Outro Idioma
do conteúdo original
arxiv.org
Principais Insights Extraídos De
by Matt... às arxiv.org 03-29-2024
https://arxiv.org/pdf/2309.17053.pdfPerguntas Mais Profundas