Diskrete Matematiske Metoder - Institut for Matematiske Fag ...
Diskrete Matematiske Metoder - Institut for Matematiske Fag ...
Diskrete Matematiske Metoder - Institut for Matematiske Fag ...
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