13.07.2013 Views

On Erd˝os-Gallai and Havel-Hakimi algorithms

On Erd˝os-Gallai and Havel-Hakimi algorithms

On Erd˝os-Gallai and Havel-Hakimi algorithms

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

26 A. Iványi, L. Lucz, T. F. Móri, P. Sótér<br />

Corollary 13 If n ≥ 1, then<br />

<strong>and</strong><br />

E(n + 1) E(n)<br />

<<br />

R(n + 1) R(n)<br />

E(n)<br />

lim<br />

n→∞ R(n)<br />

(35)<br />

1<br />

= . (36)<br />

2<br />

Proof. This assertion is a direct consequence of (25) <strong>and</strong> (27).<br />

The expected value of the number of jumping elements has a substantial<br />

influence on the running time of <strong>algorithms</strong> using the jumping elements. Therefore<br />

the following two assertions are useful.<br />

The number of different elements in an n-bounded sequence b is called the<br />

rainbow number of the sequence, <strong>and</strong> it will be denoted by rn(b).<br />

Lemma 14 Let b be a r<strong>and</strong>om n-bounded sequence. Then the expectation <strong>and</strong><br />

variance of its rainbow number are as follows.<br />

<br />

E[rn(b)] = n 1 − 1 − 1<br />

n<br />

<br />

= n 1 − 1<br />

<br />

+ O(1), (37)<br />

e<br />

<br />

1 − 1<br />

n n<br />

<br />

Var[rn(b)] = n 1 − 1<br />

n <br />

1 −<br />

n<br />

n<br />

+ n(n − 1) 1 − 2<br />

n <br />

− 1 −<br />

n<br />

1<br />

<br />

2n<br />

n<br />

= n<br />

<br />

1 −<br />

e<br />

2<br />

<br />

+ O(1). (38)<br />

e<br />

Proof. Let ξi denote the indicator of the event that number i is not contained<br />

in a r<strong>and</strong>om n-bounded sequence. Then the rainbow number of a r<strong>and</strong>om<br />

sequence is n − n−1 i=0 ξi, hence its expectation equals n − n−1 i=0 E[ξi]. Clearly,<br />

<br />

E[ξi] = 1 − 1<br />

n (39)<br />

n<br />

holds independently of i, thus<br />

<br />

E[rn(b)] = n 1 − 1 − 1<br />

n . (40)<br />

n

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!