11.08.2013 Views

Slika - Shrani.si

Slika - Shrani.si

Slika - Shrani.si

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

A. Juriˇ<strong>si</strong>ć in V. Batagelj: Verjetnostni račun in statistika 702<br />

✬<br />

Dokaz: 1935 Erdös & Szekeres, 1955 Greenwood & Gleason<br />

Naj bo G graf na r(k, ℓ − 1) + r(k − 1, ℓ) vozliˇsčih.<br />

Potem velja ena izmed naslednjih moˇznosti:<br />

(a) Vozliˇsče v ni sosednje mnoˇzici S z vsaj r(k, ℓ − 1) vozliˇsči.<br />

kar pomeni, da G[S] vsebuje ali k-kliko ali (ℓ − 1)-antikliko.<br />

(b) Vozliˇsče v je sosednje mnoˇzici T z vsaj r(k − 1, ℓ) vozliˇsči.<br />

kar pomeni, da G[T ] vsebuje ali (k − 1)-kliko ali ℓ-antikliko.<br />

Od tod sledi, da G vsebuje bodi<strong>si</strong> k-kliko bodi<strong>si</strong> ℓ-antikliko.<br />

✫<br />

Univerza v Ljubljani ▲<br />

❙ ▲<br />

▲<br />

● ❙ ▲<br />

▲<br />

☛ ✖<br />

▲<br />

✩<br />

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

Saved successfully!

Ooh no, something went wrong!