iB-InformatikBoard.ch - Benutzer helfen Benutzern   IT-Lohnumfrage ¦ MS-CLIP ¦ Google  


    Diskussionen über Freizeit und Job: Diskussionen über Weiterbildung: Diskussionen über die Computerwelt:  
    Neu hier? Forum für Einsteiger
Wichtige F.A.Q.'s und Regeln
Off Topic
iB-Updates und News
Feedback und Vorschläge
Informatik Job-Forum
Ich suche eine Informatikstelle
Ich biete eine Informatikstelle
Microsoft MCSE Zertifikate
Microsoft Zertifikate Allgemein
CISCO Zertifikate
SIZ-Zertifikaten und Lernhilfen
Zertifikate und Diplome Allgemein
Weiterbildung mit E-Learning
Windows Workstation   Windows Server
Software Allgemein   Linux Software
Programmiersprachen   Webdesign
Security   Internet
Hardware/Netzwerk   Wireless
Pockets, Smartphones, PDA's   Games
Allgemeine Tipps, Bücher und Tools
HowTo    Online Schnäppchen
 
   

Willkommen auf informatikBoard.ch - Benutzer helfen Benutzern
Zurück   iB-Startseite > Informiere dich über Diverses im iB > Off Topic
Willkommen bei InformatikBoard.ch:
Bevor du Schreiben oder Antworten kannst,
musst du dich hier kostenlos Registrieren!

Antwort
 
Themen-Optionen
Beweis zu Graphen
Alt
  (#1)
Inaktiver Benutzer
 
Status: Offline
Beiträge: 0
Registriert seit: 17.07.2005
Standard Beweis zu Graphen - 17.07.2005, 09:52

Hallo!

Wir haben in der Uni folgenden Aufgabe bekommen:

Beweisen Sie:
Sei G=(V,E) ein ungerichteter, zusammenhängender Graph und e (element) E eine Kante, die auf keinem Kreis in G liegt: Dann ist e in jedem minimalen Spannbaum von G enthalten.

Wenn man darüber nachdenkt, ist das ja auch ganz logisch so. Mein Problem ist nur, dass ich das nicht in einem formalen Beweis ausdrücken kann. Vielleicht könnt ihr mir da ein paar Tips geben, wie ich da in etwa vor gehen könnte.

Danke schon mal!
   
Mit Zitat antworten
Beweis zu Graphen
 
Links zum gleichem Thema:

GeschenkeNews die besondere Art zu schenken
Geschenke der besonderen Art.
Alt
  (#2)
Moderator
 
Benutzerbild von remix
 
Status: Offline
Beiträge: 725
Registriert seit: 15.01.2005
Ort: Oberbuchsiten
Alter: 36
Standard 17.07.2005, 14:15

Nur mal so gefragt:

Denkst Du, ein Informatiker weiss überhaupt wovon Du sprichst?

Ich habe mal ein paar Semester Mathematik absolviert und habe da auch mal Graphentheorie gehabt, habe aber die Unterlagen momentan nicht greifbar.


Dieses Posting wurde aus 100% rezyklierten Elektronen hergestellt
und kann für die Umwelt absolut unschädlich gelöscht werden.
   
Mit Zitat antworten
Alt
  (#3)
Moderator
 
Benutzerbild von HAMSTER
 
Status: Offline
Beiträge: 1,443
Registriert seit: 14.10.2004
Ort: Volketswil
Alter: 24
Standard 17.07.2005, 14:38

Zitat:
Original geschrieben von remix
Nur mal so gefragt:

Denkst Du, ein Informatiker weiss überhaupt wovon Du sprichst?

*biglol* Du sprichst mir aus der Seele!!!
Ach kommt, er sucht hilfe, und vertraut uns sein Problem an! Ich find das toll! Obwohl ich leider bei disem Problem passen muss


Greezli HAMSTER

---------------------------------------------
Status: MCP
Passed: 70-270; 70-290; 70-284
Next: 70-291
---------------------------------------------
  HAMSTER eine Nachricht über MSN schicken  
Mit Zitat antworten
Alt
  (#4)
Moderator
 
Benutzerbild von swizz
 
Status: Offline
Beiträge: 3,031
Blog-Einträge: 1
Registriert seit: 13.01.2004
Ort: Swizzerland
Alter: 30
Standard 17.07.2005, 15:23

Die Problemstellung tönt interessant, aber ich habe leider auch absolut keine Ahnung was damit gemeint ist resp. was ein Graph ist. Vielleicht Graf falsch geschrieben? Das würde bedeuten:
G=(V,E) entspricht Graf=(Verlobte, Erzprinz) ?


Gruess
der Herr Moderator


Du hast mindestens zwei gute Freunde: Freund 1, Freund 2
   
Mit Zitat antworten
Alt
  (#5)
Moderator
 
Benutzerbild von remix
 
Status: Offline
Beiträge: 725
Registriert seit: 15.01.2005
Ort: Oberbuchsiten
Alter: 36
Standard 17.07.2005, 16:06

Also mal für alle Nicht-Mathematiker:

einen (2-dimensionalen) ungerichteten, zusammenhängenden Grafen G=(V,E) seht ihr im angehängten Bild. Dabei entspricht die Menge V den roten Eckpunkten und die Menge E den blauen Kanten (sorry, thorsten_upb, für die laienhafte Erklärung, aber die Informatiker sollen doch verstehen, wovon wir reden )

Mit einem Kreis ist einfach ein in sich geschlossener Linienzug gemeint. Ein Spannbaum ist eine minimale Anzahl von Kanten, die den Graphen "aufspannt".

Man muss jetzt zeigen, dass eine Kante, die nicht auf einem Kreis liegt (also eine, die eine "freie" Ecke hat, z.b. die ganz unten) in jedem minimalen Spannbaum enthalten sein muss.

Also eigentlich ist das doch gar keine schwere Aufgabe, wenn man es über die Mengenlehre macht:

Wenn die unterste Ecke mit dem Spannbaum abgedeckt werden muss, dann muss mindestens eine Kante in dem Spannbaum enthalten sein, die wiederum diese besagte Ecke als Element enthält und das ist ja gerade nur diese eine Kante e (da es ja keinen Kreis gibt!)

Ich hoffe, dass das einigermassen verständlich war. Ansonsten würde ich Dir, thorsten_upb, mal empfehlen deine Mit-Studenten zu fragen, da deren Graphentheorie wesentlich präsenter ist als meine Erinnerungen.
Angehängte Grafiken
Dateityp: gif graf.gif‎ (1.7 KB, 39x aufgerufen)


Dieses Posting wurde aus 100% rezyklierten Elektronen hergestellt
und kann für die Umwelt absolut unschädlich gelöscht werden.
   
Mit Zitat antworten
Alt
  (#6)
Super Profi Benutzer
 
Benutzerbild von sidi
 
Status: Offline
Beiträge: 1,161
Registriert seit: 06.06.2004
Ort: Zürich
Alter: 44
Standard 17.07.2005, 17:16

Bahnhof

Grs Jürg
   
Mit Zitat antworten
Alt
  (#7)
Moderator
 
Benutzerbild von Gandalf
 
Status: Offline
Beiträge: 1,310
Registriert seit: 27.10.2004
Ort: Gossau SG
Alter: 54
Standard 17.07.2005, 17:18

Zitat:
Original geschrieben von sidi
Bahnhof

Grs Jürg
Bei mir Hauptbahnhof


Gruss
Gandalf
   
Mit Zitat antworten
Alt
  (#8)
Moderator
 
Benutzerbild von HAMSTER
 
Status: Offline
Beiträge: 1,443
Registriert seit: 14.10.2004
Ort: Volketswil
Alter: 24
Standard 17.07.2005, 17:20

@remix
danke für die erklärung...
.
.
.
.
.
....aber ich schliese mich meinen vorrednern an

Greezli HAMSTER


Greezli HAMSTER

---------------------------------------------
Status: MCP
Passed: 70-270; 70-290; 70-284
Next: 70-291
---------------------------------------------
  HAMSTER eine Nachricht über MSN schicken  
Mit Zitat antworten
Alt
  (#9)
Moderator
 
Benutzerbild von swizz
 
Status: Offline
Beiträge: 3,031
Blog-Einträge: 1
Registriert seit: 13.01.2004
Ort: Swizzerland
Alter: 30
Standard 17.07.2005, 17:49

Zumal ich auch nur Bahnhof verstehe bitte noch eine Info: Wozu ist das Ganze eigentlich gut?


Gruess
der Herr Moderator


Du hast mindestens zwei gute Freunde: Freund 1, Freund 2
   
Mit Zitat antworten
 
Links zum gleichem Thema:

GeschenkeNews die besondere Art zu schenken
Geschenke der besonderen Art.
Alt
  (#10)
Moderator
 
Benutzerbild von remix
 
Status: Offline
Beiträge: 725
Registriert seit: 15.01.2005
Ort: Oberbuchsiten
Alter: 36
Standard 17.07.2005, 18:34

Zitat:
Original geschrieben von swizz
Zumal ich auch nur Bahnhof verstehe bitte noch eine Info: Wozu ist das Ganze eigentlich gut?
Damit kann man z.B. beweisen, dass max. vier Farben genügen um eine bel. Landkarte einzufärben, ohne dass zwei benachbarte Länder die gleiche Farbe haben.
Oder man kann berechnen wieviele Kugeln maximal in einen Hohlkörper beliebiger Form passen (interessant für die Chemie, bzw. Kristallographie.

Mathematik ist die Grundlage aller technischen Wissenschaften (einschliesslich Informatik) und ist nicht immer auf den ersten Blick offensichtlich.


Dieses Posting wurde aus 100% rezyklierten Elektronen hergestellt
und kann für die Umwelt absolut unschädlich gelöscht werden.
   
Mit Zitat antworten
Alt
  (#11)
Super Expert Benutzer
 
Benutzerbild von schubo
 
Status: Offline
Beiträge: 5,445
Registriert seit: 09.03.2004
Ort: Raum Zürich
Alter: 32
Standard 17.07.2005, 19:15

remix

Wow, das find ich wieder mal Klasse. Da kommt jemand mit einer Frage aus der Mathewelt und die wird dann noch beantwortet. Ich find dieses Board klasse


Der PC rechnet mit allem, nur nicht mit seinem Besitzer.

Der beste Weg einen schlechten Vorschlag vom Tisch zu wischen, besteht darin,
einen besseren zu machen.
   
Mit Zitat antworten
Antwort



Unsere iB-Sponsoren:
itrain.ch
klubschule.ch
iB-Sponsor: inside-it.ch
ARP DATACON - PC Onlineshop für Computer, Computerbedarf und Software


Sponsor-Links: