18.01.2014 Aufrufe

Kapitel 3 - Institut für Algebra, Zahlentheorie und Diskrete Mathematik

Kapitel 3 - Institut für Algebra, Zahlentheorie und Diskrete Mathematik

Kapitel 3 - Institut für Algebra, Zahlentheorie und Diskrete Mathematik

MEHR ANZEIGEN
WENIGER ANZEIGEN

Erfolgreiche ePaper selbst erstellen

Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.

n 1 2 3 4 5 6<br />

g(n) 1 2 4 11 34 156<br />

Für n = 1, 2, 3 sieht man das sofort; <strong>für</strong> n = 4 <strong>und</strong> n = 5 stellen wir in Kürze<br />

eine komplette Liste der Isomorphietypen auf. Aufgr<strong>und</strong> von Satz 3.5 erhält<br />

man allgemein durch Summation über alle Graphen G mit Eckenmenge n :<br />

g(n) = ∑ 1<br />

i(G) = 1 n!<br />

∑<br />

a(G)<br />

insbesondere 1<br />

n! 2 1 2 n(n−1) ≤ g(n) ≤ 2 1 2 n(n−1) .<br />

Obwohl n! schnell zu riesigen Zahlen anwächst, sind diese im Verhältnis zu den<br />

Zahlen 2 n(n−1)/2 aller Graphen mit n Ecken doch verschwindend klein:<br />

log 2 (n!) = ∑ n<br />

k=1 log 2(k) ≤ n log 2 (n)<br />

2 1 2 n2 (1− 1 n − 2 log 2 n<br />

n ) ≤ 1 n! 2 1 2 n(n−1) ≤ g(n) ≤ 2 1 2 n2 (1− 1 n ) .<br />

Da der Term 2 log 2 n<br />

n<br />

Folgerung 3.6<br />

<strong>für</strong> n → ∞ gegen 0 geht, haben wir:<br />

log<br />

lim 2 g(n)<br />

n→∞ n 2 = 1 2 .<br />

Zwei endliche Graphen sind genau dann zueinander isomorph, wenn sie eine<br />

übereinstimmende graphische Darstellung (eventuell mit unterschiedlicher Beschriftung<br />

der Knoten) besitzen. Es ist aber keineswegs immer einfach, von zwei<br />

Graphen anhand gegebener Zeichnungen festzustellen, ob sie isomorph sind –<br />

denn ein Graph kann sehr verschieden aussehende Darstellungen besitzen.<br />

Beispiel 3.7 Isomorph oder nicht?<br />

Von den nachfolgend skizzierten sechs Graphen mit jeweils 10 Knoten sind keine<br />

zwei in einer Reihe zueinander isomorph, während je zwei Diagramme in einer<br />

Spalte erstaunlicherweise gleiche bzw. isomorphe Graphen darstellen!<br />

❝<br />

❝<br />

❝<br />

❝<br />

❝ ✑ ✑✑ ◗<br />

◗<br />

❝<br />

❝ ❝ ❝<br />

❩ ✂ ✂ ◗<br />

❇ ✏ ❝ ✑ ✑✑ ◗<br />

◗<br />

❝<br />

❇❇ ❇<br />

❝ ✚ ✚ ✂ ❝ ❝ ❝<br />

❇<br />

❇ ✂ ❩ ❇❝<br />

✂<br />

❇❝<br />

✂✂ ✂ ◗<br />

❇ ✏ ❝ ✑ ✑✑ ◗<br />

◗<br />

❇❇ ❇<br />

❇ ❇❝<br />

✂ ✂ ✂ ❝ ✑ ◗ ◗<br />

❝ ✏ ❝<br />

❇❇<br />

❇<br />

✂<br />

❇❝<br />

❝ ✂ ✂ ✂ ❇ ✂<br />

❇❝<br />

✁ ❆❝<br />

✂ ❇❝<br />

✁ ❆❝<br />

✂ ❇❝<br />

✁ ❆❝<br />

✂<br />

G 1<br />

❝ ❝<br />

✁ ❝ ❆<br />

❝ ✁✧ ✧ ❜❜<br />

❝ ❜ ❆ ❝<br />

❆<br />

❝ ✧ ❜ ❝<br />

❜ ✁<br />

❆❝ ✧ ✧✧ ❜ ❝ ✁<br />

G 2<br />

❝ ❝<br />

✁ ❝ ❆<br />

❝ ✁✧ ✧ ❜❜<br />

❝ ❜❆ ❝<br />

❆<br />

❝ ✧ ❜ ❝<br />

✁<br />

❆❝ ❝ ✁<br />

G 3<br />

❝ ❝<br />

✁ ❚ ❝ ✧<br />

❆<br />

❝ ✁ ❚ ❝ ❚ ❆ ❝<br />

❆<br />

❝ ✧ ❚ ❝<br />

✁<br />

❆❝ ❝ ✁<br />

63

Hurra! Ihre Datei wurde hochgeladen und ist bereit für die Veröffentlichung.

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!