date-created: 2024-04-30 10:48:38 date-modified: 2024-07-02 11:11:50

Graphentheorie | Tutorium

anchored to 115.00_graphentheorie_anchor


Overview

Das Tutorium dient der Nachbearbeitung der Inhalte - des Übungsblattes und bietet somit die Möglichkeit fehler / Fragen etc stellen zu können. Ferner wird ermöglicht, zusätzliche Inhalte einsehen und verstehen zu können.

Platonische Körper

Platonische Körper 3D, Flächen sind alle reguläre, gleichseitige Dreiecke/-Ecke -gone: eine konvexe Struktur, die auf einem Kreis Punkte gleichverteilt darstellt und somit die Möglichkeit bietet, eine Struktur zu stellen. Konvex:nicht nach innen gerichtet, also gerade

[!Quote] Meisten Profs Die meisten Profs scheinen wohl die platonischen Körper in ihren Büros stehen zu haben, aber Lena nicht!

[!Question] Fragen: Wie viele kann man davon herstellen?

Wir wollen zeigen, dass es nur 5 geben kann!: Betrachten wir dafür folgende Grundparameter: Anzahl Kanten von einer Facetten - Facette ist konvexes -gon) Anzahl aller Facetten Anzahl aller Kanten Anzahl aller Knoten Grad von den Knoten

Bei einem Würfel:

Es gilt ferner: –> Anzahl aller Facetten, da dann alle Kanten zählen und den Grad betrachten.

Wir können jetzt durch Anwendung der doppelten Abzählung die Kanten zählen. (dabei ist am Ende jede Kante doppelt gezählt)

: Betrachten wir den Grad der Knoten und addieren die Anzahl der Knoten mit dieser, da wir so die Menge quantifizieren können.

Ferner noch Satz (10) Eulers Formel

Wir können damit jetzt die mögliche Menge/Quantität von gonen beweisen: Dafür: Es muss nun gelten, dass , denn sonst: (Denn mit approxmieren wir, und können dann folgern, dass unser Wert kleiner 1/2 sein wird!)

Sei jetzt ferner , dann ist , denn sonst: Analog gilt das auch für

Daraus folgt nun: Es gibt nur folgende Kombinationen von -Paare:

[!Tip] Faszination Dieser Beweis ist wundebar, weil er Eulers Formel anwendet und in seiner Struktur gut aufgebaut und toll ist.

Ferner kann man dann diese gone auf diese Menge limitieren.

Graphen-Isomorphie

Graphen-Isomorphie ist bekannt schwer, auch wenn man es noch nicht zeigen konnte.

Es kann ein Problem sein, wo man nicht weiß, ob es schwer ist.

[!Attention] 2015 kam entsprechend ein Algorithmus heraus, der das etwas zeigen konnte nature_2015_isomorph_graphs

Betrachten wir zwei Graphen, dann können wir - wie empfohlen - einfach die einfachen Parameter betrachten:

  • Gibt es genauso viele Knoten,Kanten bei beiden Graphen?
  • Ist die Verteilung der Grade gleich?

Man kann durch Probieren entsprechend eine Verteilung finden und erhalten.

[!Question] Wann spricht man von isomorphen Graphen und wann vom gleichen?

Wenn man einen gleichen Graph verschieden zeichnet, wird es der gleiche sein, auch wenn dabei eine Identitätsfunktion bzw. Permutation des Graphen. Das ist teils etwas schwamming, weil verschiedene Embeddings vom selben Graph so eventuell auch anders/ falsch erkannt werden kann..


Tutorial on DayPlanner-20240507

wir haben zwei Graphen betrachtet und gefragt, ob sie planar sind.

erster Graph:

\begin{document}

\begin{tikzpicture}
    \node[shape=circle,draw=black] (A) at (0,0) {A};
    \node[shape=circle,draw=black] (B) at (2,0) {B};
    \node[shape=circle,draw=black] (C) at (-1,1) {C};
    \node[shape=circle,draw=black] (D) at (3,1) {D};
    \node[shape=circle,draw=black] (E) at (3,2) {E};
    \node[shape=circle,draw=black] (F) at (-1,2) {F};
    \node[shape=circle,draw=black] (G) at (1,3) {G};

	\path [->] (A) edge node[left] {} (B);
	\path [->] (B) edge node[left] {} (C);
	\path [->] (B) edge node[left] {} (G);
	\path [->] (B) edge node[left] {} (D);
	\path [->] (A) edge node[left] {} (B);
	\path [->] (A) edge node[left] {} (G);
	\path [->] (A) edge node[left] {} (C);
	\path [->] (D) edge node[left] {} (F);
	\path [->] (D) edge node[left] {} (E);
	\path [->] (E) edge node[left] {} (F);
	\path [->] (E) edge node[left] {} (G);
	\path [->] (F) edge node[left] {} (G);
	\path [->] (F) edge node[left] {} (C);
	\path [->] (F) edge node[left] {} (A);
	\path [->] (G) edge node[left] {} (C);
\end{tikzpicture}
\end{document}

Das könnten wir am einfachsten herausfinden, indem wir die Menge von Kanten und Knoten betrachten und dann die Formel anwenden: Für den Graphen gilt:

[!Tip] planarität schnell einfach finden Wir können die Formel relativ schnell anwenden,um so schnell rausfinden zu können ob ein Graph planar ist oder nicht.

Es war noch ein weiterer Graph gegeben, den wir auf Planarität prüfen wollten. Hierbei war dieser dann als unterteilbar.

\begin{document}
\begin{tikzpicture}

    \node[shape=circle,draw=black] (A) at (1,0) {A};
    \node[shape=circle,draw=black] (B) at (2,0) {B};
    \node[shape=circle,draw=black] (C) at (3,1) {C};
    \node[shape=circle,draw=black] (D) at (0,1) {D};
    \node[shape=circle,draw=black] (E) at (0,2) {E};
    \node[shape=circle,draw=black] (F) at (2,3.5) {F};
    \node[shape=circle,draw=black] (G) at (2,1.5) {G};
    \node[shape=circle,draw=black] (H) at (1,1.5) {H};
    \node[shape=circle,draw=black] (I) at (1.5,2.5) {I};


	\path [->] (A) edge node[left] {} (B);
	\path [->] (B) edge node[left] {} (C);
	\path [->] (C) edge node[left] {} (F);
	\path [->] (F) edge node[left] {} (E);
	\path [->] (E) edge node[left] {} (D);
	\path [->] (D) edge node[left] {} (G);
	\path [->] (D) edge node[left] {} (A);
	\path [->] (A) edge node[left] {} (H);
	\path [->] (H) edge node[left] {} (G);
	\path [->] (H) edge node[left] {} (I);
	\path [->] (I) edge node[left] {} (G);
	\path [->] (I) edge node[left] {} (E);
	\path [->] (I) edge node[left] {} (G);
	\path [->] (H) edge node[left] {} (F);
	\path [->] (G) edge node[left] {} (C);
\end{tikzpicture}
\end{document}

Wir können ihn jetzt in einen umschreiben, wenn wir ferner die Knoten nehmen und die Verbindungen dazwischen minimieren. Also wir sehen sie als Unterteilungen an und können dadurch dann so minimieren, dass der resultiert.

[!Question] Wie finden wir schnell heraus, ob wir ihn als planar oder als oder finden können? Es wird empfohlen kurz zu probieren, ob man einen Untergraph finden kann. Dabei relevant:

  • bei vielen Kanten / Knoten: Formel anwenden
  • vei vielen Kanten / Knoten: vermutlich einen K5 suchen
  • sonst versuchen etc

Es wurde gefragt, wie man einen planaren Graphen am besten systematisch erstellen kann. –> Es wurde einfach ausprobieren und anschauen vorgeschlagen.

Eulers Formel | Induktion über Facetten

Wir wollen Satz (10) Eulers Formel nochmal induktiv beweisen:

betrachte Eulers Formel

Wir wollen über Induktion über Facetten zeigen, dass die Formel gilt.

Induktionsanfang: Wir betrachten einen Graph mit nur einer Facette: Es handelt sich also um einen Baum: ( welcher zusammemhängend sein muss).

Wir wissen: Kanten eines Baumes :

  • Kanten
  • Facetten
  • somit gilt:
  • passt.

Induktionsschritt: sei ein Graph mit Facetten. Sei weiter eine Kanten die Facetten trennt (betrachte man also einen Graph mit geschlossenem Kreis). Wir entfernen sie und somit: hat jetzt Facetten und ferner (Kanten), wobei die Knoten unverändert bleiben . Nach der IV gilt:

Sei mit Knoten und Zu Zeigen: nur einer der beiden Graphen kann planar sein.

Wir könnten hier die Formel anwenden um zu schauen, ob die Menge von Knoten / Kanten richtig ist, um dann die Formel hat.

Betrachten wir, dass jetzt planar ist. Dann gilt dafür: Somit folgt: Für den anderen Graphen gilt jetzt: -> Eingesetzt und Binomialkoeffizent umgeformt! | Es handelt sich um eine Abschätzung, dass es also garantiert größer 28 ist. –> Das gilt für alles denn der Vergleich beider Terme wird durch eponentielles Wachstum garantiert größer wachsen:

Ferner folgt jetzt: Sete Dann was ein Widerspruch ist | Es sollte aber planar sein und somit kleiner! (Ist es aber nicht) Also

Es zu zeigen, dass es für gilt, kann man nicht zwingend unter Betrachtung, dass der nachfolgende Graph ein Teilgraph sein muss - wo wir schon gezeigt haben, dass es nicht planar ist -. Daher ist es besser es einfach abzuschätzen, da wir hier allgemeiner Argumentieren können.


Paul Erdos: -> Das Buch der schönen Beweise | Book of Proofs


Tutorial on DayPlanner-20240514

Wir wollen den Beweis für den 115.05_Kontraktion Satz von Menger nochmal betrachten und ferner auf eine andere Weise herleiten - weil diese Struktur der Dozentin besser bzw intuitiver gefällt //

Wir owllen also wieder zwei Fälle betrachten: das ist klar und daraus folgt, dann entsprechend der Satz.

ist schwieriger. Nehmen wir an, dass .

Wir wollen über Induktion der Kanten einne Beweis führen:

Induktionsanfang: , dann gilt: und es gibt triviale Wege.

Induktionsschritt: G hat Kante , welche wir benötigen, um eine Kontraktion durchführen zu können.

Angenommen hat keine disjunkten -Wege, dann hat auch der Graph kontrahiert mit einer Katne keinen. Also

Betrachten wir . Wenn jetzt disjunkte Wege hat, dann hat auch welche.

hat keine disjukte Wege, dann hat einen Trenner wobei dieser Knoten hat – was ja aufgrund der Induktionsvoraussetzung folgt(e). Ferner ist der kontrahierte Knoten . Dadurch folgt: ist ein valider Trenner von mit Knoten.

Wir betrachten noch , denn in der Kontraktion wurde die Eigenschaft der disjunkten Wege zerstört (also weil wir vielleicht ieen vorherigen Pfad, der noch existierte, dadurch verloren haben, dass das Zusammenfassen von zwei Werten dazu führte, dass dann zwei Wege gekrezut werden).

Da , ist jeder Trenner in auch ein Trenner in Dadurch folgt:

  • Trenner hat eine Größe mit mindestens
  • Nach der Induktionsvoraussetzung haben wir auch mindestens disjunktive Wege in

Genauso gibt es disjunktive Wege in

DIese Wege treffen sich nur in - denn ist der A-B Trenner! und daher gilt dann: Wege in

Grafisch etwa:


Nachbetrachtung Übungsblatt 02

Aufgabe 2

Durchschnittsgrad a

Durchnitssgrad ist: Dann kann man mit Lemma betrachten: (n muss hierbei sein, sonst passt es nicht ganz) Für gilt es nicht mehr / trivial

b: Wenn es gelten würde, gilt nicht mehr a und somit ist es nicht mehr möglich

Anders zu beweisen: Wir gehen vom Mindestsgrad aus: Angenommen Knoten haben Grad . Dann gilt: , was aber sein sollte.Also , was im Widerspruch mit steht!

c Betrachten: ZZ keine Dreiecke bedeutet : , also Unter Anwendung von Eulers Formel:

drittes Übungsblatt: Am SONNTAG abgeben! Aufgabe 1: wurde schon im Tutorium gemacht, überlegen, wie man es umsetzen kann // Wenn planar ist –> dann einfach zeigen Zusammenhangszahl einfach nur angeben.

Aufgabe 2: Zeigen von Äquivalenz /

[!Tip] Ihre Aufgaben sind nie witzlos!

b: nicht notwendigerweise

Aufgabe 3: muss nicht planar sein! Er muss nur einfach sein: alos kaum


Weitere Aufgabe:

Wir haben eine Platine mit 4 Baueelementen von Typ und 5 vom Typ . Jedes Bauelement hat Anschlüsse für Leitungen auf beiden Seiten der Platine.

Unser Ziel Jedes Bauelement vom Typ mit jedem Element vom Typ verbunden werden, sodass sie keine 2 Leitungen kreuzen können.

Wie ist das Möglich: Wir können dafür einfach alle Leitungen von A nach B über die obere Seite der Platine.

Man könnte zuerst die Menge von Teilen durch 2 teilen (Menge der Seiten auf der Platine). Dann hat man einen kleineren Graphen, den man pro Seite betrachtet:

Dann kann man den halbierten Graph entsprechend austesten und anschließend noch den anderen auf der anderen Seite aufzeichnen. Für unser Beispiel dann etwa:


Tut on DayPlanner-20240528

comparing previous homework together: 115.83_uebung03

Aufgabe 2:

[!Attention] Beweis als Ring ist am sinnigsten (da alle äquivalent sein müssen)

Ferner hätten wir folgend argumentieren können: also: : gilt, Angenommen jetzt gibt es eine neue Kante dann folgt aber was im Widerspruch steht

Wenn eine Facette Knoten enthält, kann dort noch eine Kante zwi 2 nicht adjazente Knoten eingefügt werden.

Auch hier wieder: ( bzgl der Facetten) durch Einsetzen in Eulers Formel folgt:

[!Tip] Planarer Graph Graph kann auch geradlinig gezeichnet werden! Dafür gibt es entsprechende Algorithmen, die einen beliebigen planaren Graphen in einen geradlinigen umwandeln kann

Wir wollen noch Lemma 23 beweisen

Lemma (23) Unterschiede der Trennenden Charakteristiken

Wir wollen also einen Beweis dazu führen:

Beweisen wir: ist klar. –> Löschen wir einfach alle Kanten, die inzident zum Knoten mit kleinstem Grad sind, dann haben wir entsprechend ( und andere Fälle können halt spezifischer passieren, das ist nur worst-case)

Jetzt noch der zweite Teil: (Informelle Idee: Wir wollen einfach immer die Knoten bei einer Kante löschen, die die höheren Grade habe ( weil wir dann wissen, dass sie noch weitere Knoten haben und wir somit nicht den “zu trennenden Knoten” löschen)) Sei eine minimal trennende Kantenmenge : zu Zeigen:
Betrachten wir verschiedene Fälle:

Fall1: hat einen Knoten , der zu keiner Kante aus inzident ist. Sei dann die Komponente , die enthält Die Knotenmenge aus , die zu Kanten in inzident ist, trennt dann Damit gilt der Standard-Fall, also dass die trennende Menge beim löschen nicht einfach die teilende Menge löschen würde ( weil wir noch ein weiteres haben) Somit gilt:

Fall 2 – Tricky part Es gilt zu zeigen:

Jeder Knoten aus ist zu einer Kante aus inzident.

Beweis: Sei ein beliebiger Knoten und weiterhin die Komponente, die in enthält. Alle Nachbarn von also mit liegen dann in .

Aus dieser Annahme folgen jetzt zwei Betrachtungen: Entweder: oder wir haben den Fall, dass ( also wenn wir die Nachbarn des Knoten betrachten, dann sind damit alle des Graphen gemeint –> wir haben also eine Verbindung zwischen allen Knoten/Graphen Gilt das, dann haben wir einen vollständigen Graphen und ferner gilt dann:


Sei ein 3 zusammenhängender Graph und weiterhin eine Kante.

Wir wollen zeigen, dass ( kontraktiert e, also wird irgendwie gemerged) ist jetzt 3 zusammenhängend genau dann wenn 2 zusammenhängend ist.

Beweis: (da äqui, beidseitig!)

Beweis: ist zusammenhängend ist 3zsh

Ist also 2 zusammenhängend:

-> In gibt es zwischen 2 Konten drei kreuzungsfreie Wege, von denen nur eienr die Menge schneidet. ( ) –> das folgt schon daher, dass wir wissen, dass schon selbst 3-zsh ist! ( Und weil wir dann also die eine Kante wegnehmen, dann ist es nur noch 2zsh weil sie fehlt!)

Dann hat auch diese 3 kreuzungsfreien Wege und ist somit 3zsh!

(Informell: Aus der Vorbetrachtung haben wir am Anfang eine 3ZSH und entweder schneiden wir jetzt beim löschen der Kante diese Struktur, oder wir machen es nicht. Wenn wir sie schneiden bzw löschen haben wir einen weg weniger und sie ist somit definitiv 2ZSH, oder wir schneiden sie nicht, dann ist sie noch da –> Dann gilt also die Grundeigenschaft weiter und wird nicht verletzt)

Wenn keiner der drei Wege x oder y bewegt, ist alles gut.

Wenn es nur einer ist, passt das auch noch.

Beweis Sei jetzt auch 3zsh und ferner sind Dann igbt es jetzt in zwischen den Knoten 3 kreuzungsfreie Wege ( Voraussetzung mit dem neuen Knoten) wovon dann maximal einer über läuft –> das ist der kontrahierte Knoten, der bei der Kombination der beiden Knoten auftritt / passiert.

Es folgt dann, dass wir also 2 kreuzungsfreie Wege in haben ( dabei kann er auch weiterhin 3zsh sein, weil das inklusiv ist!)

[!Important] Diese Aussage gilt tatsächlich für alle Zusammenhängende Graphen

Neuer Beweis der selben Aussage! )_

Beweis in G gibt es kreuzungsfreie Wege zwischen zwei Knoten von denen höchstens einer über läuft. Dadurch folgt: IN gibt es mindestens 2 kreuzunfgsfreie Wegen zwischen .

Beweis: Wenn es jetzt als 2zsm und ohne die Kante gibt, dann gibt es zu zwei Knoten 2 kreuzungsfreie Wege zwischen beiden. In G gibt es zu 2 Knoten 3 kreuzungsfreie Wege von Elemente höchstens oder beide bentutzt da 2 zsm ist Dadurch folgt gibt 3 kreuzunsgfreie Wege!

Übungsblatt: Aufgabe 1b mit Lemma 26 und dem obigen Beweis gut machbar

Aufgabe 2: Widerspruch versuchen?

Aufgabe 3: soll einfach sein.


[!Question] Funktion Gibt es eine Funktion , sodass ein Graph mit Minimalgrad (kleinster Grad im Graph) mindestens -zsh sind?

Wir suchen Graphen mit Zsm k und möchten dann wissen, ob dann dessen zusammenahng gemäß des minimalgrad- steht oder nicht.

Wenn 2-zsh Graph, dann soll mindestens 2 der Minimalgrad sein.

( Wenn wir einen Knoten betrachten, der von X nach Y verbunden ist, dann hat man darüber halt definitiv Wege, sodass das gelten muss!)

Nein das geht nicht, betrachten wir den 2-mal. also zwei davon unabhängig voneinander fliegend. Hierbei gilt: für jeden Graphen.

AAlso: Wir wollen über den Minimalgrad argumentieren, um herauszufinden, ob etwas zsh ist ( was nicht geht!)

Idee dann: hoher minimal-Grad aber dennoch nicht -zsh ( kann mat mit einem Beispiel zeigen:

zeichne zwei die unabhängig voneinander sind. Dabie haben wir einen einzelnen Knoten, der beide verbindet ( mit hohem Grad).

Dadurch folgt jetzt: für stimmt das nicht weil er nur 1 zsm ist!

–> Wir können also nicht darüber argumentieren, ob etwas zsm ist oder nicht

Maximal dass etwas maximal zsh ist ( weil wir maximal viele Verbindungen haben können).


Sei und und wei durch getrennte Knoten.

Zeige, dass sit genau dann eine minimale trennende Knotenmenge, wenn jeder Knoten auch in der Komponente von die enthält, als auch in der Komponente - selbiges Prinzip - einen Nachbar hat.!

Graph G hat Knoten a und b in sich. Irgendwo ist ein Trenner und dann sagen wir. Wenn es ein Minimaler-Trenner ist, dann hat jeder Knoten aus dem Trenner eine Verbindung zu den getrennten Knoten ( eine Aussage die wir oft einfach angenommen haben,)

Beweis Angenommen x e X hat keinen Nachbar in Cb Dann können wir den Knoten x aus dem Trenner entfernen weil er keinen Mekrwert liefert

Das heist: X’ = X ohne X trennt auch a/ b. Das ist analog für Komponente a.

Wenn wir. Einen Trenner haben und ein Knoten, der Nachbar in a und b hat, dann folgt, dass ohne diesen Knozen kein Trenner mehr vorliegt, er also essentiel für den Trenner ist.

Bedingung ist, dass sie unterschiedliche Nachbarn haben –> damit es global gilt.

Sonst geht es um einen minimalen Trenner von X ( kleinste Menge )

Meist nutzen wir aber nur die erste Richtung oft, weil sie über Existenz von Nachbarn spricht

Termin am DayPlanner-20240611

Wir bestimmen die chromatische Zahl des Würfelgraphen , wobei dieser immer Kanten!

Beim sind es nur 2 Farben

Beim sind es auch wieder 2

Wir wollen zeigne dass bipartit ist.

Beweis: Knoten können mit -Tupel aus dargestellt werden und es gibt eine Kante zwischen zwei Knoten, wenn sich die Tupel an genau einer Stelle unterscheiden ( also ungleich sind!) Wir teilen dann . Dabei enthält alle Knoten mit gerade Anahl von sen und übens die ungerade Anzahl von sen. Es gibt nur Kanten zwischen .

[!Attention]

Tatsächlich rechnen sich die 30ECTS pro Semester auf das ganze halbe Jahr, wobei dann also die 2 Monate Pause auch mit reinzählen.

Da wir ja aber nur 14 Wochen haben, wo sich das ganze verteilt, sind das tatsächlich keine 40hr Wochen, sondern eher 60hr xd


Termin am DayPlanner-20240618

Kantenfärbung ist !

Betrachten wir einen , welcher ein -regulärer Graph ist.

Zu Zeigen, dass, wenn einen Schnittknoten hat, dann ist (für Knotenfärbung wäre das einfach), aber wir betrachten hier Kantenfärbung:

Der Term der Schnittknoten bereitet Verwirrung, daher folgend die Definition / Idee eines solchen Knotens.

Wir wollen diese Aussage ferner unter Anwendung des Widerspruches lösens: Angenommen wir haben Kantenfärbung , also mit -Farben. Ferner betrachten wir etwa einen Knoten, dann muss dieser genau -Farben haben, denn er hat ja -Kanten, die an diesem sind. (Dass es sein muss, folgt aus Lemma 23!)

Wir betrachten jetzt ohne den Schnittknoten - welcher den Graphen komplett trennen kann. Dieser besteht dann aus Komponenten - weil wir ja getrennt haben.

Wir wissen, dass dieser Knoten dann zu beiden Komponenten verbunden sein muss und ferner eine Farbe aufweisen muss! Sei dann etwa die Farbe die den Knoten mit der Komponente verbinden kann.

Wenn wir diese jetzt entfernen und ferner schauen, wie viele Knoten in der Komponente dann noch die Farbe 1 und weiter eine Farbe 2 aufweist ( hierbei ist wichitg, dass also garantiert in der anderen Komponente ist!), dann können wir über die Nachbar*innen von diesem Knoten sagen, dass diese diese beiden Farben enthalten, aber unser spezifischer Knoten selbst hat dann eine der Farben nicht –> Dadurch ist er der einzige Knoten mt ungeradem Grad und somit ist es kein valider Graph –> wie wir ganz am Anfang gezeigt haben.

Sei ein adjazenter Knoten zu und die Farbe für die Kante sei dann . Ferner betrachten wir noch einen anderen Knoten adjazent zu

selbiges für Farbe 2

Erstelle jetzt den Teilgraphen H in C1 der alle Kantn mti Farbe 1u und 2 enthlat, dann ist aber der betrachtete Knoten von ungeradem Grad und gleichzeitig der einzige mit dieser Eigenschaft –> damit ist der Teilgraph kein valider Graph!


Fußball-Aufgabe

Das einzige Interessant am Fußball!

Betrachten wir einen Fußball, dieser hat schwarze 5-Ecken und weiße 6-Ecke.

An jeder Ecke eines solchen -Ecks oder 6-Ecks treffen sich genau 1x 5-Eck und 2x 6-Ecken

Wir können diese Struktur als Planaren Graphen betrachten! Und weil er planar ist, können wir dann eulers Formel anwenden! ()

Wir müssen die Menge von Kanten erörtern –> jedes Hexagon gibt 6 Kanten und jedes Fünfeck gibt uns 5 Kanten. Da wir sie ja dann “mergen” und, wenn wir alle abzählen, somit jede Kante zweimal gezählt haben, folgt:

und wir wissen, dass jeder Knoten vo Grad 3 ist, da jeweils eine Kante eines Hexagons, und 2 Fünf-Ecken in diesen hinein-verläuft! es ist also ein regulärer Graph!

bestimmen wir noch :

es folgt für die eulersche Formel dann jetzt: Wenn wir das umformen, kommt heraus; Man hat also 12 schwarze Fünfecke, dann stellt sich die Frage, wie viele weiße Sechsecke man brauch.

Das können wir über die Menge von Ecken bei den 5-Ecken abzählen. Wir wissen, dass sie immer ein 5-Eck und 2-Sechecken aufweisen und ferner, da wir die Menge von -Ecken kennen, können wir dann auflösen: somit und somit !

Übungsaufgabe 5:

Wir sollten für wählen.

Besprechung von Übung 4

Lösung

Lösung


Termin am DayPlanner-20240625

Fortsetzung Aufgabe 2

betrachte eine Induktion über :

IA der Anfang wäre etwa:

  • Für jedes Knotenpaar gibt es einen Kreis - (siehe 1a)
  • Da gibt es zwei kreuzungsfreie Wege zwischen und , also damit ist es auch ein Kreis

IS: G ist -zsh und damit auch zsh Betrachte Knoten Aufgrund der Induktionsvoraussetzung folgt: (also eine Teilmenge der Knoten, obig) auf einem gemeinsamen Kreis . Aufgrund des Satzes von Menger folgt dann: Betrachten wir die -disjunkten Wege zwischen und (Gemäß Satz (20) Satz von Menger müssen es disjunkte Wege sein!) (Also wir betrachten einen gebildeten Kreis - welcher existieren muss nach IV, und weiterhin schauen wir eine neue Menge an, die wir hier anschließen wollen und somit betrachten wir zwei Mengen).

–> hier kann über die gefundenen Wege eingefügt werden und somit der Kreis erweitert

Sofern jetzt gilt also wir haben einen Kreis konstruiert, welcher kleiner ist, und wollen ihn entsprechend erweitern:

Die Argumentation ist gleich, jedoch “in die andere Richtung”

Aufgabe:

[!Question]

Zeige, dass ein Baum höchstens einen 1-Faktor besitzt. (Genauer nur einen spezifischen 1-Faktor!)

Aus der ersten Betrachtung können wir folgern:

  • Sofern die Menge der Knoten ungerade ist, kann es keinen 1-Faktor geben Ferner müssen wir alo die Blätter (meistens) betrachten, weil wir da herausfinden werden, dass ein Knoten über dem Blatt eigentlich gar kein zweites Blatt habne kann ( sonst geht es schon gar nicht mehr!)

Wenn wir bei einem Blatt entsprechend eine Kante finden, kann der Baum u.U. anschließend in verschiedene Subbäume zerfallen.

In diesen können wir dann wieder prüfen, ob sie die Eigenschaften aufweisen.

(weitere Idee: Angenommen man hat 2 1-Faktorisierung, dann gibt es also 2 Faktoren und wenn man eine Faktorisierung anschaut, dann gibt es garantiert eine Kante, die noch nicht gefärbt ist und das steht im Widerspruch, weil dann )

Beweis durch Induktion: Wir haben zwei Anfänge:

  • 1 Knoten -> hat keinen 1-Faktor
  • genau 2 Knoten ( sind gebunden durch eine Kante)

Induktionssschritt:

Bestimmen wir ein beliebiges Blatt , und fügen die inzidente Kante von zum 1-Faktor hinzu. Lösche beide Enden der kante

-> es entsteht dadurch ein (oder auch mehrere Bäume) mit Knoten.

Nach der IV hat jeder dieser Teilbäume höchstens einen 1-Faktor! (Und somit haben wir also genau bestimmt)

Beispiel | Satz von Hall

betrachten wir ein Beispiel für die Aussage, die vom Satz-Von-Hall:

Betrachten wir einen Kontext, wo Personen Jobs zugeteilt werden sollten.

Wir können ein Gegenbeispiel finden, wo die Aussage nicht funktioniert, weil Job von belegt wird und ferner ist somit schon kein Matching möglich.

Satz (39) Satz von Hall (bipartite Graphen)

Zusätzliche Aufgabe

[!Question] Gegeben ist ein bipartiter Graph

wir sagen, eine ungematchte Kante ist eine Kante, welche in keinem der perfekten Matchings vorkommt.

Gib einen Algorithmus an, welcher alle ungematchten Kanten bestimmt.

Mam könnte jedes perfekte Matching finden und anschließend die Menge dieser perfekten Matchings bilden, damit haben wir alle ungenutzten Kanten!


Termin am DayPlanner-20240702

  1. Besprechung von Übungsaufgabe 115.85_uebung05
  • Lösungen wurden vorgestellt

[!Example] Aufgabe

Seien natürliche Zahlen mit also , für

Ein Kneser Grpah ist folgendermaßen definiert: 1, Knotenmenge ist eine Familie von elementigen Untermengen , also

2 Knoten elementige Mengen, sind adjazent wenn

  1. Wie sieht dann aus?
  2. Zeige

Der Graph ist gleich dem Petersson-Graph! Bild

Wir wollen die Färbung folgend konstruieren:

Wir bilden Mengen die alle k-elementigen Mengen mit als dem kleinsten Element enthalten. Dabei bekommt dann die Farbe zugeteilt!

Wir haben jetzt noch übrige Elemente, die wir in einer Menge zusammenfassen wollen. Die Elemente wären demnach: . Die Menge enthält dadurch dann noch Elemente.

Die restliche Mengen sind nicht disjunkt und somit sind sie auch nicht adajzent im Graphen selbst! –> wir geben ihnen also die Farbe !

und somit haben wir den Graphen gefärbt

Termin am DayPlanner-20240716

Beweis von :

Annahme: Minimalgrad : Sei ein Knoten mit

dann ist die Färbung: da k-kritisch ist: Betrachte diese Färbung von . Da höchstens Nachbarn hat, ist eine Farbe für übrig und somit ist färbbar –> Was im Widerspruch steht!

Aufgabe 2: Block-Graph bilden: Was bissschen anders zur Definition ist und man somit da Probleme hätte bekommen können.

Aufgabe 4:

Kann man auf zwei Arten argumentieren / lösen:

Betrachte die optimale Färbung die teilt die Knoten in Menge mit Farbe :

Alle Kanten in sind dabei unabhängig und ferner und somit folgt: