08.10.2016 Views

Foundations of Data Science

2dLYwbK

2dLYwbK

SHOW MORE
SHOW LESS

Create successful ePaper yourself

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

S i+1 is (1 − 1 ) |Si| ≤ 1 − |S i|<br />

since the long-distance edge from each vertex <strong>of</strong> S<br />

n 2 2n 2<br />

i chooses<br />

a long-distance neighbor at random. So, the expected size <strong>of</strong> S i+1 is at least |S i |/4 and<br />

using Chern<strong>of</strong>f, we get constant factor growth up to n 2 /2. Thus, for any two vertices v<br />

and w, the number <strong>of</strong> vertices at distance O(ln n) from each is at least n 2 /2. Any two<br />

sets <strong>of</strong> cardinality at least n 2 /2 must intersect giving us a O(ln n) length path from v to<br />

w.<br />

4.11 Bibliographic Notes<br />

The G(n, p) random graph model is from Erdös Rényi [ER60]. Among the books<br />

written on properties <strong>of</strong> random graphs a reader may wish to consult Frieze and Karonski<br />

[FK15], Jansen, Luczak and Ruciński [JLR00],or Bollobás [Bol01]. Material on phase<br />

transitions can be found in [BT87]. The work on phase transitions for CNF was started<br />

by Chao and Franco [CF86]. Further work was done in [FS96], [AP03], [Fri99], and others.<br />

The pro<strong>of</strong> here that the SC algorithm produces a solution when the number <strong>of</strong> clauses is<br />

cn for c < 2 is from [Chv92].<br />

3<br />

For material on the giant component consult [Kar90] or [JKLP93]. Material on branching<br />

process can be found in [AN72]. The phase transition for giant components in random<br />

graphs with given degree distributions is from Molloy and Reed [MR95a].<br />

There are numerous papers on growth models. The material in this chapter was based<br />

primarily on [CHK + ] and [BA]. The material on small world is based on Kleinberg, [Kle00]<br />

which follows earlier work by Watts and Strogatz [WS98].<br />

129

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

Saved successfully!

Ooh no, something went wrong!