23.11.2014 Views

Diskrete Matematiske Metoder - Institut for Matematiske Fag ...

Diskrete Matematiske Metoder - Institut for Matematiske Fag ...

Diskrete Matematiske Metoder - Institut for Matematiske Fag ...

SHOW MORE
SHOW LESS

Create successful ePaper yourself

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

166 KAPITEL 11. GRAFER<br />

Eksempel 491 De tælletræer, vi tegnede i kapitel 1, er træer med rod.<br />

Et stamtræ, der illustrerer en stamfaders eller stammoders slægt, er et træ<br />

med stamfaderen eller stammoderen som rod, hvis der da ikke er sket indgiftning<br />

i slægten.<br />

Sætning 492 En orienteret graf G er et træ med rod, hvis og kun hvis der<br />

findes en knude v 0 i G, hvorfra der er en entydig orienteret vej til enhver anden<br />

knude i grafen, men ingen ikke-triviel vej fra v 0 til v 0 .<br />

Bevis. Lad G være en orienteret graf.<br />

1. Antag, at G er et træ med roden v 0 . Da G er sammenhængende findes<br />

der en vej fra v o til enhver anden knude i G og vi har konstrueret orienteringen<br />

så at alle kanterne i vejen er orienteret fra v 0 til den anden knude. Der er ingen<br />

ikke-triviel vej fra v 0 til v 0 <strong>for</strong>di G er kredsløs.<br />

2. Antag omvendt, at der findes en knude v 0 i G, hvorfra der er en entydig<br />

orienteret vej til enhver anden knude i grafen, men ingen ikke-triviel vej fra v 0<br />

til v 0 . Da er grafen sammenhængende. Vi skal altså blot vise at grafen, vi får<br />

ved at se bort fra orienteringen i G, er kredsløs. Det gøres ved kontraposition.<br />

Antag, et der findes en ikke-orienteret ikke-triviel kreds v 0v ′ 1...v ′ 0 ′ i G. Lad<br />

T være den entydigt bestemte orienterede vej v 0 v 1 ...v n v 0 ′ fra v 0 til v 0. ′ Kredsen<br />

kan ikke være en løkke eller et modsat orienteret kantpar, thi det ville føre til at<br />

der ville være mere end en vej fra v 0 til v 0. ′ Kredsen indeholder der<strong>for</strong> mindst<br />

to kanter fra v 0 til to <strong>for</strong>skellige knuder. Det er der<strong>for</strong> muligt at vælge en kant<br />

i kredsen, (antag det er v 0v ′ 1) ′ som ikke ender i v n . Der er nu to muligheder:<br />

Denne kant v 0v ′ 1 ′ er rettet fra v 1 ′ mod v 0 ′ eller den er rettet fra v 0 ′ mod v 1.<br />

′<br />

a. Hvis v 0v ′ 1 ′ er rettet fra v 1 ′ mod v 0 ′ er der to <strong>for</strong>skellige orienterede veje<br />

fra v 0 til v 0 ′ nemlig T og vejen fra v 0 til v 1 ′ efterfulgt af v 1v ′ 0. ′ Disse to veje er<br />

<strong>for</strong>skellige da v 1 ′ ≠ v n .<br />

b. Hvis v 0v ′ 1 ′ er rettet v 0 ′ mod v 1, ′ gås ud ad denne kant og videre rundt i<br />

kredsen, så langt man kan komme med orienteringen. Derved fremkommer en<br />

ikke tom orienteret vej T ′ = v 0v ′ 1v ′ 1v ′ 2...v ′ k−1 ′ v′ k<br />

som er orienteret i den angivne<br />

retning, og således at v<br />

k ′ v′ k+1 er orienteret modsat og så v′ 1 ≠ v n .<br />

Ingen af knuderne v i ′ (i = 1, 2, ..., k) kan være lig en af knuderne v 0, v 1 , ..., v n<br />

på vejen fra v 0 til v 0. ′ Antag nemlig at i er det mindste tal så v i ′ er lig en af<br />

knuderne v 0 , v 1 , ..., v n . Hvis v i ′ = v 0 ville der være en orienteret ikke-triviel vej<br />

v 0 v 1 ...v n v 0v ′ 1v ′ 1v ′ 2...v ′ i−1 ′ v′ i fra v 0 til v 0 i modstrid med <strong>for</strong>udsætningerne, og hvis<br />

v i ′ = v j (1 ≤ j ≤ n) ville der være to <strong>for</strong>skellige veje fra v 0 til v j nemlig v 0 v 1 ...v j<br />

og v 0 v 1 ...v n v 0v ′ 1v ′ 1v ′ 2...v ′ i−1 ′ v′ i i modsætning til <strong>for</strong>udsætningerne.<br />

Altså er v 0 v 1 ...v n v 0v ′ 1v ′ 1v ′ 2...v ′ k−1 ′ v′ k en orienteret vej fra v 0 til v<br />

k ′ ′′<br />

. Men hvis T<br />

er den orienterede vej fra v 0 til v k+1 , så vil T ′′ efterfulgt af v k+1 v k også være en<br />

orienteret vej fra v 0 til v k . Og den er <strong>for</strong>skellig fra v 0 v 1 ...v n v 0v ′ 1v ′ 1v ′ 2...v ′ k−1 ′ v′ k thi<br />

v k+1 ≠ v k−1 (overvej). Men det er i modstrid med den <strong>for</strong>udsatte entydighed.<br />

Bemærkning 493 Den <strong>for</strong>egående sætning gør det muligt at definere et træ<br />

med rod som en orienteret graf G, hvori der findes en knude v 0 , hvorfra der er

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

Saved successfully!

Ooh no, something went wrong!