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 ]
In graph theory and theoretical computer science, a maximum common induced subgraph of two graphs G and H is a graph that is an induced subgraph of both G and H, and that has as many vertices as possible. Finding this graph is NP-hard. In the associated decision problem, the input is two graphs G and H and a number k.
This two-graph is a regular two-graph since each pair of distinct vertices appears together in exactly two triples. Given a simple graph G = (V,E), the set of triples of the vertex set V whose induced subgraph has an odd number of edges forms a two-graph on the set V. Every two-graph can be represented in this way. [1]
A graph G is said to be k-constructible (or Hajós-k-constructible) when it formed in one of the following three ways: [1] The complete graph K k is k-constructible. Let G and H be any two k-constructible graphs. Then the graph formed by applying the Hajós construction to G and H is k-constructible.
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]
In graph theory, two graphs and ′ are homeomorphic if there is a graph isomorphism from some subdivision of to some subdivision of ′.If the edges of a graph are thought of as lines drawn from one vertex to another (as they are usually depicted in diagrams), then two graphs are homeomorphic to each other in the graph-theoretic sense precisely if their diagrams are homeomorphic in the ...
While graph drawing and graph representation are valid topics in graph theory, in order to focus only on the abstract structure of graphs, a graph property is defined to be a property preserved under all possible isomorphisms of a graph. In other words, it is a property of the graph itself, not of a specific drawing or representation of the graph.
Clique-sums have a close connection with treewidth: If two graphs have treewidth at most k, so does their k-clique-sum.Every tree is the 1-clique-sum of its edges. Every series–parallel graph, or more generally every graph with treewidth at most two, may be formed as a 2-clique-sum of triangles.