|
|
|
|
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 
|
"proof of Bondy and Chvátal theorem" is owned by taxipom.
|
|
(view preamble | get metadata)
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 MSC: | 05C45 (Combinatorics :: Graph theory :: Eulerian and Hamiltonian graphs) |
|
|
|
|
|
|
Pending Errata and Addenda
|
|
|
|
|
|
|
|
|
|
|