1 Isomorphism of Graphs

1 Isomorphism of Graphs

3 Isomorphism P. Danziger 1 Isomorphism of Graphs Definition 1 Given two graphs G = (V; E) and G0 = (V 0;E0), we say that they are isomorphic if there exist bijections f : V V 0 and g : E E0 that preserve the endpoint relations of G and G0. ! ! i.e. if u V is an endpoint of e E then f(u) V 0 is an endpoint of g(e) E0. 2 2 2 2 We write G ∼= G0. In order to show that two graphs are isomorphic we must find the bijections f and g. Notes If G and G0 are simple graphs then G ∼= G0 if and only if there exists a bijection f : V V 0 which preserves the endpoint function. ! i.e. u; v E f(u); f(v) E0 f g 2 ) f g 2 Given two graphs G and G0 with G ∼= G0 if G is simple, then so is G0. Graph Isomorphism Problem Given two graphs G and G0 determine whether they are isomor- phic. While there is no known efficient algorithm for the solution of this problem it is not known to be NP-Complete either. Note if the degree sequence of the vertices of G and G0 are different then the Graph Isomorphism Problem is easy. It is the regular graphs that are bad for the Graph Isomorphism Problem, the less vertices a graph has of the same degree, the easier the Graph Isomorphism Problem becomes. It can be very easy to show that two graphs are not isomorphic by using isomorphic invariants. Definition 2 A property P of a graph G is an isomorphic invariant if G ∼= G0 G0 has property P as well. ) Theorem 3 The following are all isomorphic invariants of a graph G: 1. The number of vertices of G. 2. The number of edges of G. 3. The number of vertices of a given degree k. 4. The degree sequence of G. 5. The number of connected components of G. 6. G has a circuit of length k. 7. The number of simple circuits of length k. 1 3 Isomorphism P. Danziger 8. G has an Euler circuit. 9. G has a Hamiltonian circuit. Thus if G ∼= G0 we can say that G and G0 have the same number of vertices, edges, degree sequence, etc. 1.1 Isomorphism Classes We can define a relation on graphs by saying that two graphs are related if and only if they are isomorphic. This is called the graph isomorphism relation. Theorem 4 Graph isomorphism is an equivalence relation. Proof: Let G = (V; E), G0 = (V 0;E0) and G00 = (V 00;E00) all be graphs. Reflexive For all graphs G; G ∼= G Take f = {V and g = {E. Symmetric If G ∼= G0 then G0 ∼= G. Assume that G = G0, thus there exists bijections f : V V 0 and g : E E0 such that if u V is ∼ ! ! 2 an endpoint of e E then f(u) V 0 is an endpoint of g(e) E0. 2 12 1 2 Since f and g are bijections f − and g− are also bijections. 1 1 Now, if f(u) V 0 is an endpoint of g(e) E0 then f − (f(u)) = u V is an endpoint of g− (g(e)) E. 2 2 2 2 Transitive If G ∼= G0 and G0 ∼= G00 then G ∼= G00. Suppose that G = G0 and G0 = G00, thus there exists bijections f : V V 0, g : E E0 and ∼ ∼ ! ! f 0 : V 0 V 00, g0 : E0 E00 which preserve the respective endpoint relations. ! ! Take the bijections f 0 f : V V 00 and g0 g : E E00. ◦ ! ◦ ! If u V is an endpoint of e E then f(u) V 0 is an endpoint of g(e) E0 and f 0(f(u)) V 00 is 2 2 2 2 2 an endpoint of g0(g(e)) E00, so these bijections preserve the endpoint relations. Since graph isomorphism2 is an equivalence relation it divides the set of all graphs into equivalence classes. For most purposes it does not matter which of the isomorphic graphs from an equivalence class we choose. 2.

View Full Text

Details

  • File Type
    pdf
  • Upload Time
    -
  • Content Languages
    English
  • Upload User
    Anonymous/Not logged-in
  • File Pages
    2 Page
  • File Size
    -

Download

Channel Download Status
Express Download Enable

Copyright

We respect the copyrights and intellectual property rights of all users. All uploaded documents are either original works of the uploader or authorized works of the rightful owners.

  • Not to be reproduced or distributed without explicit permission.
  • Not used for commercial purposes outside of approved use cases.
  • Not used to infringe on the rights of the original creators.
  • If you believe any content infringes your copyright, please contact us immediately.

Support

For help with questions, suggestions, or problems, please contact us