title: Teorema di Ore
text: # Teorema di Ore
  
  Il teorema di Ore è un teorema della teoria dei grafi provato nel 1960 dal matematico Norvegese Øystein Ore. Fornisce una condizione sufficiente, ma non necessaria, affinché un grafo sia Hamiltoniano, affermando che un grafo che contiene un sufficiente numero di archi, comparati al numero di vertici, deve contenere un ciclo Hamiltoniano. Esso è inoltre una generalizzazione del teorema di Dirac e a sua volta viene generalizzato dal teorema di Bondy-Chvátal.
  
  ## Enunciato
  
  Sia $G$ un grafo semplice con un numero finito di vertici $n\geq 3$. Sia $deg(v)$ il grado del vertice $v$, ossia il numero di archi incidenti su $v$. Allora il teorema di Ore stabilisce che, presi due vertici $v$ e $w$ non adiacenti, se vale $deg(v)+deg(w)\geq n$ allora $G$ è Hamiltoniano.
  
  ## Dimostrazione
  
  Usando il teorema di Bondy-Chvátal, la dimostrazione è immediata.
  
  Una possibile dimostrazione diretta è invece la seguente:
  
  Basterà dimostrare che se il grafo non è Hamiltoniano allora la condizione data dal teorema di Ore viene violata. Sia quindi $G$ un grafo privo di cicli hamiltoniani e sia $H$ il grafo ottenuto da $G$ aggiungendo archi fin quando l'aggiunta di un altro arco produrrebbe un ciclo hamiltoniano. Poiché l'aggiunta di un solo arco creerebbe un ciclo hamiltoniano allora necessariamente $H$ possiede un cammino hamiltoniano $(v_{1},v_{2},...,v_{n-1},v_{n})$, dove gli $n-$vertici sono stati ordinati in modo tale che l'arco la cui aggiunta creerebbe il ciclo sia $(v_{1},v_{n})$, che risultano essere quindi due vertici non adiacenti sia in $H$ che in $G$ . Per ogni $2\leq i\leq n$ consideriamo l'arco $(v_{1},v_{i})$. Se questo arco esiste, ossia se $v_{i}$ fa parte dell'insieme dei vicini di $v_{1}$, allora necessariamente non deve esistere l'arco $(v_{i-1},v_{n})$ poiché tale arco produrrebbe un ciclo hamiltoniano in $H$ che per ipotesi ne è privo. Infatti un possibile ciclo sarebbe $(v_{1},..,v_{i-1},v_{n},v_{n-1},...,v_{i},v_{1})$. In conclusione solo uno degli archi $(v_{1},v_{i})$, $(v_{i-1},v_{n})$ può esistere. Essendo le possibili scelte di $i$ pari a $n-1$ e per ogni $i$ possiamo aggiungere (al più) $v_{i}$ ai vicini di $v_{1}$ escludendo però $v_{i-1}$ ai vicini di $v_{n}$ e viceversa, abbiamo che necessariamente $deg(v_{1})+deg(v_{n})\leq n-1$. Dunque non viene soddisfatta la condizione posta dal teorema di Ore. Poiché il grado dei vertici in $G$ è minore o al più uguale a quello di $H$, la condizione del teorema di Ore non viene soddisfatta nemmeno in $G$.
  
  ## Corollari
  
  Un corollario del teorema di Ore è il teorema di Dirac che afferma che se per ogni vertice $v$ di un grafo $G$ di $n\geq 3$ vertici, vale $deg(v)\geq {\frac {n}{2}}$ allora $G$ possiede un ciclo hamiltoniano. È immediato vedere che se vale tale relazione per ogni vertice essa vale anche per due vertici $v$ e $w$ non adiacenti e in particolare si ha $deg(v)+deg(w)\geq {\frac {n}{2}}+{\frac {n}{2}}=n$. La condizione di Ore è quindi soddisfatta.
  
  