PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very low Entry average rating: No information on entry rating
[parent] proof of Bondy and Chvátal theorem (Proof)
Proof. The sufficiency of the condition is obvious and we shall prove the necessity by contradiction.

Assume that $G+uv$ is Hamiltonian but $G$ is not. Then $G+uv$ has a Hamiltonian cycle containing the edge $uv$ Thus there exists a path $P=(x_1,\dots,x_n)$ in $G$ from $x_1=u$ to $x_n=v$ meeting all the vertices of $G$ If $x_i$ is adjacent to $x_1$ ($2\leq i\leq n$ then $x_{i-1}$ is not adjacent to $x_n$ for otherwise $(x_1,x_i,x_{i+1},\dots,x_n,x_{i-1},x_{i-2},\dots,x_1)$ is a Hamiltonian cycle of $G$ Thus $d(x_n)\leq (n-1)-d(x_1)$ that is $d(u)+d(v)\leq n-1$ a contradiction $ \qedsymbol$




"proof of Bondy and Chvátal theorem" is owned by taxipom.
(view preamble | get metadata)

View style:


This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: adjacent, vertices, path, edge, Hamiltonian cycle, Hamiltonian, contradiction, necessity, obvious, sufficiency

This is version 5 of proof of Bondy and Chvátal theorem, born on 2004-11-11, modified 2004-11-14.
Object id is 6466, canonical name is ProofofBondyAndChvatalTheorem.
Accessed 2134 times total.

Classification:
AMS MSC05C45 (Combinatorics :: Graph theory :: Eulerian and Hamiltonian graphs)

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

No messages.

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