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
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