<?xml version="1.0" encoding="UTF-8"?>

<record version="4" id="479">
 <title>Bondy and Chv\'atal theorem</title>
 <name>BondyAndChvatalTheorem</name>
 <created>2001-10-24 13:42:07</created>
 <modified>2006-10-23 15:03:18</modified>
 <type>Theorem</type>
 <creator id="3" name="drini"/>
 <author id="6075" name="rspuzio"/>
 <author id="348" name="bbukh"/>
 <author id="3" name="drini"/>
 <classification>
	<category scheme="msc" code="05C45"/>
 </classification>
 <related>
	<object name="HamiltonianGraph"/>
	<object name="OresTheorem"/>
 </related>
 <preamble>\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{amsfonts}
%\usepackage{graphicx}
%\usepackage{xypic}</preamble>
 <content>\textbf{Bondy and Chv\'atal's theorem.}\\
Let $G$ be a graph of order $n\ge 3$ and suppose that $u$ and $v$ are distinct non adjacent vertices such that $\deg(u)+\deg(v)\ge n$.

Then $G$ is Hamiltonian if and only if $G+uv$ is Hamiltonian.</content>
</record>
