Search results
Results from the WOW.Com Content Network
In graph theory, the Weisfeiler Leman graph isomorphism test is a heuristic test for the existence of an isomorphism between two graphs G and H. [1] It is a generalization of the color refinement algorithm and has been first described by Weisfeiler and Leman in 1968. [ 2 ]
At the same time, isomorphism for many special classes of graphs can be solved in polynomial time, and in practice graph isomorphism can often be solved efficiently. [ 3 ] [ 4 ] This problem is a special case of the subgraph isomorphism problem , [ 5 ] which asks whether a given graph G contains a subgraph that is isomorphic to another given ...
In graph theory and theoretical computer science, the colour refinement algorithm also known as the naive vertex classification, or the 1-dimensional version of the Weisfeiler-Leman algorithm, is a routine used for testing whether two graphs are isomorphic. [1]
The Weisfeiler Leman graph isomorphism test can be used to heuristically test for graph isomorphism. [14] If the test fails the two input graphs are guaranteed to be non-isomorphic. If the test succeeds the graphs may or may not be isomorphic. There are generalizations of the test algorithm that are guaranteed to detect isomorphisms, however ...
Another examples is the Weisfeiler-Leman graph kernel [9] which computes multiple rounds of the Weisfeiler-Leman algorithm and then computes the similarity of two graphs as the inner product of the histogram vectors of both graphs. In those histogram vectors the kernel collects the number of times a color occurs in the graph in every iteration.
Andrey Aleksandrovich Leman (Russian: Андрей Александрович Леман, 1940–2012) was a Soviet mathematician and computer scientist who is known for the development of the Weisfeiler Leman graph isomorphism test together with Boris Weisfeiler published in 1968. [1]
The graph isomorphism problem is the computational problem of determining whether two finite graphs are isomorphic. Clearly, the graph canonization problem is at least as computationally hard as the graph isomorphism problem .
Subgraph isomorphism is a generalization of both the maximum clique problem and the problem of testing whether a graph contains a Hamiltonian cycle, and is therefore NP-complete. [1] However certain other cases of subgraph isomorphism may be solved in polynomial time. [2] Sometimes the name subgraph matching is also used for the same problem ...