Isomorphism, canonization, and definability for graphs of bounded rank width
Sign Up to like & getrecommendations! Published in 2021 at "Communications of the ACM"
DOI: 10.1145/3453943
Abstract: We investigate the interplay between the graph isomorphism problem, logical definability, and structural graph theory on a rich family of dense graph classes: graph classes of bounded rank width. We prove that the combinatorial Weisfeiler-Leman… read more here.
Keywords: bounded rank; isomorphism; graphs bounded; rank width ... See more keywords
Technical perspective: A logical step toward the graph isomorphism problem
Sign Up to like & getrecommendations! Published in 2021 at "Communications of the ACM"
DOI: 10.1145/3453945
Abstract: Leman algorithm in its plain form solves the isomorphism problem for bounded-rank width graphs. In fact, the paper even goes the crucial step further to show that canonization can be solved in the logic corresponding… read more here.
Keywords: bounded rank; isomorphism problem; rank; rank width ... See more keywords