Scribd
Upload
382 views3 pages

Proof of Ore's Theorem

The document provides a proof of Ore's Theorem by contradiction. It first constructs a graph Glast from the original graph G by repeatedly adding edges until a Hamiltonian path exists. It then derives a non-closed Hamiltonian path in the preceding graph Gbar. This path is relabeled as (x1, ..., xn). Finally, it shows that the degree hypothesis implies the existence of a vertex xi that is adjacent to both the start and end vertices of the path, contradicting Gbar having no Hamiltonian path. An example illustrates the first two steps of the proof.

Uploaded by

Parveen Dagar
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
382 views3 pages

Proof of Ore's Theorem

The document provides a proof of Ore's Theorem by contradiction. It first constructs a graph Glast from the original graph G by repeatedly adding edges until a Hamiltonian path exists. It then derives a non-closed Hamiltonian path in the preceding graph Gbar. This path is relabeled as (x1, ..., xn). Finally, it shows that the degree hypothesis implies the existence of a vertex xi that is adjacent to both the start and end vertices of the path, contradicting Gbar having no Hamiltonian path. An example illustrates the first two steps of the proof.

Uploaded by

Parveen Dagar
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 3

Proof of Ores Theorem

Here is a more carefully explained proof of Ores Theorem than the one given
in lectures. The rst two steps are illustrated by the attached example. This
proof may be considered non-examinable.
Theorem 3.9 (Ore). Let G be a simple graph on n vertices. If n 3, and
(x) + (y) n
for each pair of non-adjacent vertices x and y, then G has a closed Hamilto-
nian path.
Proof. Suppose, for a contradiction, that G does not have a closed Hamilto-
nian path.
1. Pick any any two vertices of G which arent already joined by an edge,
and add a new edge between them. Keep on doing this until we reach a graph
G
last
which does have a closed Hamiltonian path. (The process must stop
because eventually we will reach the complete graph on n vertices, which
obviously has a closed Hamiltonian path.)
2. Let

G be the graph obtained immediately before G
last
, and suppose
that {x, y} is the edge added to

G to obtain G
last
.
Let (z
1
, . . . , z
n
, z
1
) be a closed Hamiltonian path in G
last
. This must use
the edge {x, y} at some point (otherwise

G would have a closed Hamiltonian
path, and there would have been no need to consider G
last
). If {z
n
, z
1
} =
{x, y} then (z
1
, . . . , z
n
) is a non-closed Hamiltonian path in

G. Otherwise
there is some r such that 1 r < n and z
r
= x and z
r+1
= y; now
(z
r+1
, . . . , z
n
, z
1
, . . . , z
r
)
is a non-closed Hamiltonian path in

G. Note that either way, all the edges
used in this path appear in

G: it is only {x, y} that appears in G
last
but not
in

G. Relabel the vertices so that this path is (x
1
, . . . , x
n
).
3. Suppose we could nd a vertex x
i
such that x is adjacent to x
i
, and y
is adjacent to x
i1
. Then
(x, x
i
, . . . , x
n1
, y, x
i1
, . . . , x)
would be a closed Hamiltonian path in

G, a contradiction.
Aside: It is at this point that we need n 3: if n = 2 then the rst step
is (x, y), and the second is (y, x), which means we have used an edge twice.
Paths are, in particular, trails, so they arent allowed to repeat edges. As
long as n 3 this problem doesnt arise.
1
4. It remains to show that there must be such a vertex x
i
. This is where
we need the hypothesis on degrees. Since

G is obtained from G by adding
edges, it still satises this hypothesis. Let
A = {i : 2 i n and x
i
is adjacent to x},
B = {i : 2 i n and x
i1
is adjacent to y}.
As our graphs have no loops, |A| = (x) and |B| = (y). As x and y are
not adjacent in

G (recall that {x, y} was added to

G to obtain G
last
), our
hypothesis tells us that (x) + (y) n.
Hence A and B are subsets of {2, . . . , n} containing at least n elements
between them. It follows that they must intersect non-trivially. If i AB
then x
i
is a suitable vertex for step 3.
2
Example: Let n = 5. The graph below has vertex set {1, 2, 3, 4, 5} and
edges {1, 2}, {1, 3}, {2, 3}, {2, 4}, {2, 5}.
1 2
3
4
5
(This graph doesnt satisfy the hypothesis on the degrees, but we dont use
this until step 4. This saves drawing a large number of edges which would
be irrelevant in steps 1 and 2.)
1. We might rst add the edge {3, 4}. The resulting graph still doesnt
have a closed Hamiltonian path, so we add another edge, say {4, 5}. This
gives the graph
1 2
3
4
5
which has (1, 2, 5, 4, 3, 1) as a closed Hamiltonian path. (So z
1
= 1, z
2
= 2,
z
3
= 5, z
4
= 4, z
5
= 3.)
2. The last edge added is {x, y} = {4, 5} so

G is as shown below.
1 2
3
4
5
Starting with the closed path (1, 2, 5, 4, 3, 1) in G
final
we nd that r = 3,
x = 5, y = 4. The resulting non-closed Hamiltonian path in

G is (4, 3, 1, 2, 5).
So in the relabelling step we take x
1
= 4, x
2
= 3, x
3
= 1, x
4
= 2, x
5
= 5.
3

You might also like

pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy