www.vorhilfe.de
- Förderverein -
Der Förderverein.

Gemeinnütziger Verein zur Finanzierung des Projekts Vorhilfe.de.
Hallo Gast!einloggen | registrieren ]
Startseite · Mitglieder · Impressum
Forenbaum
^ Forenbaum
Status VH e.V.
  Status Vereinsforum

Gezeigt werden alle Foren bis zur Tiefe 2

Navigation
 Startseite...
 Suchen
 Impressum
Das Projekt
Server und Internetanbindung werden durch Spenden finanziert.
Organisiert wird das Projekt von unserem Koordinatorenteam.
Hunderte Mitglieder helfen ehrenamtlich in unseren moderierten Foren.
Anbieter der Seite ist der gemeinnützige Verein "Vorhilfe.de e.V.".
Partnerseiten
Weitere Fächer:

Open Source FunktionenplotterFunkyPlot: Kostenloser und quelloffener Funktionenplotter für Linux und andere Betriebssysteme
Forum "Uni-Sonstiges" - Graphentheorie
Graphentheorie < Sonstiges < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Uni-Sonstiges"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Graphentheorie: Springer-Graph
Status: (Frage) beantwortet Status 
Datum: 15:58 Mi 06.01.2010
Autor: Drechen

Aufgabe
Beweise: dass jeder Springer Graph bipartit ist.

Hallo!
Also, dass jeder Springer bipartit ist, ist ja klar.. denn der Springer-Graph ist ja quasi ein Schachfeld und zwischen den Feldern, wo man durch einen Springerzug hingelangen kann gibt es graphentheoretisch modelliert Kanten... Man gelangt jedoch immer von einem schwarzen auf ein weißes Feld und umgekehrt..
jedoch habe ich ka, wie ich das graphentheoretisch beweisen kann?
Über Ansätze wäre ich sehr dankbar.

Liebe Grüße
Andrea

Ich habe diese Frage in keinem anderen Forum und auf keiner anderen Internetseite gestellt.

        
Bezug
Graphentheorie: Antwort
Status: (Antwort) fertig Status 
Datum: 16:07 Mi 06.01.2010
Autor: reverend

Hallo Andrea,

> Beweise: dass jeder Springer Graph bipartit ist.
>  Hallo!
>  Also, dass jeder Springer bipartit ist, ist ja klar.. denn
> der Springer-Graph ist ja quasi ein Schachfeld und zwischen
> den Feldern, wo man durch einen Springerzug hingelangen
> kann gibt es graphentheoretisch modelliert Kanten... Man
> gelangt jedoch immer von einem schwarzen auf ein weißes
> Feld und umgekehrt..

Ja eben. Es sind also keine zwei schwarzen Felder untereinander duch eine Kante verbunden, und auch keine zwei weißen Felder.
Genau das nennt man []bipartit.

>  jedoch habe ich ka, wie ich das graphentheoretisch
> beweisen kann?

Ich finde, das hast Du schon. Du musst es nur noch etwas mathematischer aufschreiben...

>  Über Ansätze wäre ich sehr dankbar.
>  
> Liebe Grüße
>  Andrea

lg
reverend

Bezug
                
Bezug
Graphentheorie: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 16:22 Mi 06.01.2010
Autor: Drechen

Aufgabe
Beweise, dass jeder Springer Graph bipartit ist

Hey..
okay.. mir fehlte da halt auch das mathematische.. ich hab das probiert mal etwas in Formeln etc aufzuschreiben aber ich weiß immer noch nicht ob man das als Beweis so stehen lassen kann..

Annahme: Jeder Springer Graph ist bipartit.

Es gibt also zwei Teilmengen U und V
U = (weiße Felder des Schachfeldes)
V = (schwarze Felder des Schachfeldes)
E = die disjunkte Verieningungder zwei nichtleeren Teilmengen (hab gerad unten das mathematische Zeichen nicht gefunden)

Da keine Kanten zwischen U und V bestehen ist meine Annahme richtung und der Graph daher bipartit.

Irgendwie kommt mir das immer noch so vor, dass etwas mathematisches fehlt.. hier ein kleiner Tipp wäre super :)

Bezug
                        
Bezug
Graphentheorie: Antwort
Status: (Antwort) fertig Status 
Datum: 17:03 Mi 06.01.2010
Autor: reverend

Hallo nochmal,

das sieht doch schon ganz gut aus.

> Beweise, dass jeder Springer Graph bipartit ist
>  Hey..
>  okay.. mir fehlte da halt auch das mathematische.. ich hab
> das probiert mal etwas in Formeln etc aufzuschreiben aber
> ich weiß immer noch nicht ob man das als Beweis so stehen
> lassen kann..
>  
> Annahme: Jeder Springer Graph ist bipartit.
>  
> Es gibt also zwei Teilmengen U und V
>  U = (weiße Felder des Schachfeldes)
>  V = (schwarze Felder des Schachfeldes)

, die disjunkt sind. Es gilt also [mm] U\cap V=\emptyset. [/mm]

> E = die disjunkte Verieningungder zwei nichtleeren
> Teilmengen (hab gerad unten das mathematische Zeichen nicht
> gefunden)

[mm] E=U\dot{\cup}V [/mm]

> Da keine Kanten zwischen U und V bestehen

Nicht doch. Alle Kanten verlaufen zwischen U und V.
Das ist gleichbedeutend mit: Keine Kante verläuft innerhalb von U und keine innerhalb von V. Eine ausführlichere Notation findest Du im schon verlinkten []Wikipedia-Artikel.

> ist meine Annahme
> richtungig und der Graph daher bipartit.

Da Du die Annahme für den Nachweis doch gar nicht brauchst, würde ich sie weglassen. Unbedingt nötig sind Annahmen nur bei Widerspruchsbeweisen.

> Irgendwie kommt mir das immer noch so vor, dass etwas
> mathematisches fehlt.. hier ein kleiner Tipp wäre super :)

Die verwendeten Zeichen und ihre Schreibweise:
[mm] \emptyset[/mm]  \emptyset
[mm] \cap[/mm]  \cap
[mm] \cup[/mm]  \cup
[mm] \dot{\cup}[/mm]  \dot{\cup}

lg
reverend


Bezug
                                
Bezug
Graphentheorie: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 17:07 Mi 06.01.2010
Autor: Drechen

Hey..
danke für die Erklärung der Zeichen.. ja klar das war irgendwie ein Fehler in der Eile.. eigentlich weiß ich was bipartit heißt ;)
danke, danke!!!

:)

Bezug
Ansicht: [ geschachtelt ] | ^ Forum "Uni-Sonstiges"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien


^ Seitenanfang ^
ev.vorhilfe.de
[ Startseite | Mitglieder | Impressum ]