PlanetMath (more info)
 Math for the people, by the people.
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: No information about user quality Entry average rating: No information on entry rating
graph homeomorphism (Definition)

Let $ G=(V,E)$ be a simple undirected graph. A simple subdivision is the replacement of an edge $ (x,y)\in E$ with a pair of edges $ (x,z),(z,y)$, $ z$ being a new vertex, i.e., $ z\not\in V$. The reverse operation of a simple subdivision is an edge-contraction through a vertex of degree 2.

Two graphs $ G_1$, $ G_2$ are homeomorphic if $ G_1$ can be transformed into $ G_2$ via a finite sequence of simple subdivisions and edge-contractions through vertices of degree 2. It is easy to see that graph homeomorphism is an equivalence relation.

Equivalently, $ G_1$ and $ G_2$ are homeomorphic if there exists a third graph $ G_3$ such that both $ G_1$ and $ G_2$ can be obtained from $ G_3$ via a finite sequence of edge-contractions through vertices of degree 2.

If a graph $ G$ has a subgraph $ H$ which is homeomorphic to a graph $ G'$ having no vertices of degree 2, then $ G'$ is a minor of $ G$. The vice versa is not true: as a counterexample, the Petersen graph has $ K_{5}$ as a minor, but no subgraph homeomorphic to $ K_{5}$. This happens because a graph homeomorphism cannot change the number of vertices of degree $ d\neq 2$: since all the vertices of $ K_{5}$ have degree 4 and all the vertices of the Petersen graph have degree 3, no subgraph of the Petersen graph can be homeomorphic to $ K_{5}$.



"graph homeomorphism" is owned by Ziosilvio.
(view preamble)

View style:

Also defines:  simple subdivision
Log in to rate this entry.
(view current ratings)

Cross-references: Petersen graph, counterexample, minor, subgraph, equivalence relation, easy to see, finite sequence, homeomorphic, degree, edge-contraction, operation, vertex, edge, graph, simple
There are 2 references to this entry.

This is version 5 of graph homeomorphism, born on 2008-04-28, modified 2008-04-29.
Object id is 10553, canonical name is GraphHomeomorphism.
Accessed 177 times total.

Classification:
AMS MSC05C99 (Combinatorics :: Graph theory :: Miscellaneous)

Pending Errata and Addenda
None.
[ View all 2 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add derivation | add example | add (any)