Professional Documents
Culture Documents
where jV j =
implication
Proof of the theorem. If n = 3 then the only graph satisfying the assumption is K3 . It is Hamiltonian.
u = v0 v1 v2 vn
Grph
G0 . The
=wu :
1 edges.
=w :
Let
vi+1
v1
v2
vn
vi
G0 .
Graph G = (V; E ) is called Ore-closed if for any two different vertices u; v 2 V the implication
G0 is Ore-closed;
E E 0;
E 0 is the least possible set with the above properties.
G = (V; E1 \ E2 ) is Ore-closed.
u; v
2V
and
E1 and
G = (V; E ).
1. Find
stop.
u; v on step 1.
Kn is Hamiltonian.
We have
(u; w)
Let
W.l.o.g. assume
1.
2.
3.
4.
5.
6.
jW j k .
8. 5. gives degE (w0 ) degE 0 (w0 ) degE 0 (u) = k for any
w0 2 W .
We have k vertices with degree k.
7. 1. and 6. give
1.
4.
5.
6.
n 1
2
< n2 .
jU j = n
1 degE 0 (u).
jU j = n k 1. Thus jU [ fugj = n
For each u0 2 U we get from 5. and 1. that
degE (u0 ) degE 0 (u0 ) degE 0 (w) n 1
9. 6. gives
10.
11. 4. gives
We have
n 1
2
n
k
1.
k.
k :
1 k.
k<
n we have
2
n
k ).
For a given
(k;
: : : ; k; n k
| {z } |
k
1; :{z
::;n k
n 2k
1}; n
1; :{z
: : ; n 1}) :
|
k
Kk;k
Kn