www.wikidata.de-de.nina.az
Der Titel dieses Artikels ist mehrdeutig Fur den Satz in der Mengenlehre siehe Satz von Ramsey Mengenlehre Der Satz von Ramsey geht auf Frank Plumpton Ramsey und dessen Veroffentlichung aus dem Jahr 1930 zuruck Er zahlt zu den klassischen Theoremen der Kombinatorik und stellt eine Verallgemeinerung des dirichletschen Schubfachprinzips dar Der Satz behandelt die Frage ob und unter welchen Bedingungen bei Kantenfarbungen von vollstandigen Graphen und Hypergraphen mit zwei oder mehr Farben einfarbige Teilgraphen auftreten Es ergibt sich dass solche Teilgraphen fur hinreichend grosse vollstandige Graphen und Hypergraphen stets auftreten mussen Das derartige Fragestellungen behandelnde Teilgebiet der Kombinatorik wird Ramseytheorie genannt Neben der reinen Existenzfrage wird in der Diskreten Mathematik auch ein damit zusammenhangendes Quantifizierungsproblem untersucht Es handelt sich hier um die Frage ab welcher Grosse ein vollstandiger Graph bzw Hypergraph im genannten Sinne als hinreichend gross zu betrachten ist und weiter darum wie die in diesem Sinne zu bestimmenden Ramsey Zahlen zu berechnen oder wenigstens abzuschatzen sind Diese Quantifizierungsfrage zu klaren oder gar zu losen hat sich als ausserordentlich schwierig herausgestellt Mit dem Satz von Ramsey lassen sich Existenzsatze der Diskreten Mathematik ableiten und insbesondere kombinatorische Probleme der Geometrie und Zahlentheorie losen Eine praktische Anwendung findet er auch beim Spiel Sim Inhaltsverzeichnis 1 Aussage des Satzes Version fur vollstandige Graphen 2 Ramsey Zahlen fur vollstandige Graphen 2 1 Einfache Beispiele 2 2 Zur Berechnung von R 3 3 2 3 Weitere Identitaten Ungleichungen und Werte zu den Ramsey Zahlen fur vollstandige Graphen 3 Veranschaulichung 4 Der allgemeine Satz von Ramsey endliche Version fur uniforme Hypergraphen 4 1 Hohere klassische Ramsey Zahlen fur uniforme Hypergraphen 4 1 1 Identitaten Ungleichungen und Werte zu den hoheren Ramsey Zahlen 5 Die unendliche Version des Satzes von Ramsey 6 Folgerungen 6 1 Happy Ending theorem 6 2 Satz von Schur erweiterte Version 6 2 1 Zusatz 7 Verallgemeinerung des Satzes von Ramsey fur endliche einfache Graphen 7 1 Verallgemeinerte Ramsey Zahlen fur endliche einfache Graphen 8 Asymptotische Abschatzungen 9 Vermutungen 9 1 Vermutung von Erdos 9 2 Vermutung von Bondy und Erdos 9 3 Baum Vermutung 9 3 1 Erdos Sos Vermutung 9 4 Vermutung von McKay und Radziszowski 10 Siehe auch 11 Literatur 12 Weblinks 13 Einzelnachweise und FussnotenAussage des Satzes Version fur vollstandige Graphen BearbeitenWir betrachten endliche vollstandige Graphen K n displaystyle K n nbsp mit n displaystyle n nbsp Knoten n N displaystyle n in mathbb N nbsp und Kantenfarbungen bei denen jede Kante von K n displaystyle K n nbsp mit einer von zwei Farben etwa rot und blau gefarbt ist 1 Gibt es hierin r displaystyle r nbsp Knoten so dass alle zwischen diesen verlaufenden Kanten rot sind so sagen wir der Graph enthalte einen roten r displaystyle r nbsp Teilgraphen Eine entsprechende Sprechweise gelte fur blaue Teilgraphen Mit dieser Sprechweise lasst sich der Satz von Ramsey in der Version fur Graphen angeben wie folgt Zu je zwei naturlichen Zahlen r b displaystyle r b nbsp gibt es stets eine von r displaystyle r nbsp und b displaystyle b nbsp abhangige naturliche Zahl R displaystyle R nbsp dergestalt dass jeder vollstandige Graph K n displaystyle K n nbsp mit n R displaystyle n geq R nbsp Knoten dessen Kanten entweder rot oder blau gefarbt sind mindestens einen roten r displaystyle r nbsp Teilgraphen oder einen blauen b displaystyle b nbsp Teilgraphen enthalt Ramsey Zahlen fur vollstandige Graphen BearbeitenDie kleinste naturliche Zahl die als ein solches R displaystyle R nbsp bei gegebenen r b displaystyle r b nbsp gewahlt werden kann heisst die zu r displaystyle r nbsp und b displaystyle b nbsp gehorige Ramsey Zahl und wird mit R r b displaystyle R r b nbsp bezeichnet Charakteristisch fur die Ramsey Zahl R r b displaystyle R r b nbsp ist die Eigenschaft dass K R r b 1 displaystyle K R r b 1 nbsp der grosste vollstandige Graph ist welcher eine Rot Blau Kantenfarbung gestattet zu der weder ein roter r displaystyle r nbsp Teilgraph noch ein blauer b displaystyle b nbsp Teilgraph in K R r b 1 displaystyle K R r b 1 nbsp existiert Der Satz von Ramsey fur vollstandige Graphen lasst sich von Kantenfarbungen mit zwei auf solche mit beliebig vielen Farben verallgemeinern Entsprechend gibt es zu beliebigen Kantenfarbungen mit t displaystyle t nbsp Farben t N displaystyle t in mathbb N nbsp und Anzahlen q 1 q t displaystyle q 1 ldots q t nbsp die zugehorige Ramsey Zahl R q 1 q t displaystyle R q 1 ldots q t nbsp Einfache Beispiele Bearbeiten Allgemein gilt R r b R b r displaystyle R r b R b r nbsp wie man durch Vertauschen der Farben erkennt R r 1 1 displaystyle R r 1 1 nbsp Jeder Teilgraph mit nur einer Ecke ist automatisch einfarbig R r 2 r displaystyle R r 2 r nbsp Entweder sind alle Kanten rot oder es gibt eine blaue Kante Zur Berechnung von R 3 3 Bearbeiten nbsp Eine 2 Farbung des K5 ohne monochromatisches K3Das nebenstehende Bild zeigt dass es moglich ist den K 5 displaystyle K 5 nbsp also den vollstandigen Graphen mit funf Ecken so mit zwei Farben rot und blau zu farben dass weder ein rotes noch ein blaues Dreieck auftritt Folglich gilt gewiss R 3 3 gt 5 displaystyle R 3 3 gt 5 nbsp bzw R 3 3 6 displaystyle R 3 3 geq 6 nbsp Betrachtet man umgekehrt einen auf beliebige Weise rot blau gefarbten K 6 displaystyle K 6 nbsp und hierin eine beliebige Ecke v displaystyle v nbsp so tritt bei den funf in v displaystyle v nbsp endenden Kanten eine der beiden Farben oBdA rot mindestens dreimal auf Schubfachprinzip Ist eine der Kanten zwischen den drei entsprechenden Endpunkten rot so haben wir ein rotes K 3 displaystyle K 3 nbsp Andernfalls sind alle Kanten zwischen diesen drei Endpunkten blau und wir haben ein blaues K 3 displaystyle K 3 nbsp In jedem rot blau gefarbten K 6 displaystyle K 6 nbsp findet man also ein rotes K 3 displaystyle K 3 nbsp oder ein blaues K 3 displaystyle K 3 nbsp d h es gilt R 3 3 6 displaystyle R 3 3 leq 6 nbsp Insgesamt erhalt man also R 3 3 6 displaystyle R 3 3 6 nbsp Weitere Identitaten Ungleichungen und Werte zu den Ramsey Zahlen fur vollstandige Graphen Bearbeiten Im Allgemeinen gelten folgende Beziehungen 2 3 4 R r b R b r displaystyle R r b R b r nbsp R r 1 R 1 r 1 displaystyle R r 1 R 1 r 1 nbsp fur r 1 displaystyle r geq 1 nbsp R r 2 R 2 r r displaystyle R r 2 R 2 r r nbsp fur r 2 displaystyle r geq 2 nbsp R r 1 b 1 R r 2 b 2 displaystyle R r 1 b 1 leq R r 2 b 2 nbsp fur r 1 r 2 b 1 b 2 displaystyle r 1 leq r 2 b 1 leq b 2 nbsp R r b R r 1 b R r b 1 displaystyle R r b leq R r 1 b R r b 1 nbsp fur r b 2 displaystyle r b geq 2 nbsp R r b R r 1 b R r b 1 1 displaystyle R r b leq R r 1 b R r b 1 1 nbsp fur r b 3 R r 1 b R r b 1 0 mod 2 displaystyle r b geq 3 R r 1 b equiv R r b 1 equiv 0 pmod 2 nbsp Aus der vorletzten Ungleichung erhalt man so die folgende abgeleitete Ungleichung R r b r b 2 r 1 displaystyle R r b leq binom r b 2 r 1 nbsp fur r b 1 displaystyle r b geq 1 nbsp Fur den Fall r 3 displaystyle r 3 nbsp lasst sich diese noch verscharfen 5 R 3 b 1 2 b 2 3 displaystyle R 3 b leq frac 1 2 b 2 3 nbsp fur b 3 displaystyle b geq 3 nbsp Fur den allgemeinen Fall t 2 3 displaystyle t 2 3 ldots nbsp bei dem beliebige Kantenfarbungen mit zwei drei oder mehr Farben zugelassen sind gilt 6 R q 1 q 2 q t R q 1 1 q 2 q t R q 1 q 2 1 q t R q 1 q 2 q t 1 t 2 displaystyle R q 1 q 2 ldots q t leq bigl R q 1 1 q 2 ldots q t R q 1 q 2 1 ldots q t cdots R q 1 q 2 ldots q t 1 bigr t 2 nbsp fur q 1 q t 2 displaystyle q 1 ldots q t geq 2 nbsp Eine grobe Eingrenzung dieser Ramsey Zahlen geben die folgenden Ungleichungen bei deren Herleitung wesentlich auf probabilistische Methoden zuruckgegriffen wurde 7 2 r 2 lt R r r lt 4 r 1 displaystyle 2 r 2 lt R r r lt 4 r 1 nbsp fur r 3 displaystyle r geq 3 nbsp Die exakten Werte fur diese Ramsey Zahlen zu Kantenfarbungen mit zwei Farben sind von den einfachen Beispielen abgesehen bislang allein fur kleinere Graphen bekannt Es sind 8 9 10 R 3 3 6 displaystyle R 3 3 6 nbsp R 3 4 9 displaystyle R 3 4 9 nbsp R 3 5 14 displaystyle R 3 5 14 nbsp R 3 6 18 displaystyle R 3 6 18 nbsp R 3 7 23 displaystyle R 3 7 23 nbsp R 3 8 28 displaystyle R 3 8 28 nbsp R 3 9 36 displaystyle R 3 9 36 nbsp sowie R 4 4 18 displaystyle R 4 4 18 nbsp R 4 5 25 displaystyle R 4 5 25 nbsp Danach sind nur noch Abschatzungen gelaufig wie etwa 35 R 4 6 41 displaystyle 35 leq R 4 6 leq 41 nbsp oder 43 R 5 5 48 displaystyle 43 leq R 5 5 leq 48 nbsp 11 Uber die Ramsey Zahlen zu Kantenfarbungen mit drei oder mehr Farben ist exaktes Zahlenmaterial nur in sehr geringer Menge vorhanden Hier kennt man nicht viel mehr als R 3 3 3 17 displaystyle R 3 3 3 17 nbsp 12 und dann noch eine obere und untere Schranke zu Kantenfarbungen mit vier Farben 51 R 3 3 3 3 65 displaystyle 51 leq R 3 3 3 3 leq 65 nbsp 13 Veranschaulichung BearbeitenZur Veranschaulichung der Bedeutung einer Ramsey Zahl R r b displaystyle R r b nbsp ist es hilfreich diese in Zusammenhang zu bringen mit der Beantwortung der folgenden Frage Wie viele Gaste mussen zu einer Party zumindest erscheinen wenn gewahrleistet sein soll dass von ihnen entweder r displaystyle r nbsp oder mehr einander nicht kennen oder b displaystyle b nbsp oder mehr einander kennen Setzt man hierbei die Relation des Einander Kennens verstanden im Sinne eines zweiseitigen Miteinander Bekanntseins gleich mit einer irreflexiven symmetrischen aber nicht notwendig transitiven Relation so gelangt man zu einem Graphen mit roten und blauen Kanten indem man in dem Falle dass sich irgendwelche zwei Gaste nicht kennen eine rote Kante jedoch im gegenteiligen Fall wenn sie sich kennen eine blaue Kante zeichnet Damit lasst sich etwa die Ramsey Zahl R 3 2 3 displaystyle R 3 2 3 nbsp sehr leicht bestimmen Hier ist also r 3 displaystyle r 3 nbsp und b 2 displaystyle b 2 nbsp Haben wir dann drei beliebige Gaste so konnen wir den vollstandigen Graphen K 3 displaystyle K 3 nbsp zeichnen und folgende mogliche Kantenfarbungen erzielen Alle Kanten werden rot gefarbt Alle Kanten werden blau gefarbt Zwei Kanten werden blau gefarbt und eine rot Zwei Kanten werden rot gefarbt und eine blau Fur die drei Gaste bedeutet dies Keiner der Gaste kennt einen anderen Alle drei Gaste kennen sich untereinander Ein Gast kennt die beiden anderen Gaste die einander jedoch nicht kennen Zwei Gaste kennen sich sind aber nicht mit dem dritten Gast bekannt Insgesamt heisst dies fur die Bestimmung von R 3 2 3 displaystyle R 3 2 3 nbsp Fur eine Party bei der von den erschienenen Gasten entweder mindestens drei einander nicht kennen oder mindestens zwei einander kennen genugt es wenn drei oder mehr Gaste erscheinen Der allgemeine Satz von Ramsey endliche Version fur uniforme Hypergraphen BearbeitenIn der Version des Satzes von Ramsey fur Graphen waren die zwei Farben Rot und Blau vorgegeben Eine Rot Blau Kantenfarbung eines Graphen ist dabei ihrer mathematischen Bedeutung nach eine Abbildung von der Menge der Kanten des Graphen in die Menge r o t b l a u displaystyle rot blau nbsp An die Stelle der 2 displaystyle 2 nbsp Menge r o t b l a u displaystyle rot blau nbsp lasst sich auch jede andere aus zwei Elementen bestehende Menge zur Markierung der Kanten wahlen und insbesondere die 2 displaystyle 2 nbsp Menge 1 2 N displaystyle 1 2 subset mathbb N nbsp An die Stelle der Rot Blau Kantenfarbung tritt dann die Markierung der Kanten mit den Zahlen 1 displaystyle 1 nbsp und 2 displaystyle 2 nbsp Auf diese Weise wird klar dass eine Rot Blau Kantenfarbung einer Klasseneinteilung der Kanten in zwei Klassen gleichkommt Dieser Ansatz ist in mehrfacher Hinsicht verallgemeinerungsfahig Dabei werden statt zweier Klassen endlich viele Klassen in beliebiger endlicher Anzahl betrachtet also t 1 2 3 displaystyle t 1 2 3 ldots nbsp Stuck statt der Kanten welche nichts weiter sind als 2 displaystyle 2 nbsp elementige Teilmengen der Knotenmenge von Graphen beliebige k displaystyle k nbsp Teilmengen mit k 1 2 3 displaystyle k 1 2 3 ldots nbsp von beliebigen endlichen Mengen X displaystyle X nbsp und statt der zwei Zahlen r b displaystyle r b nbsp beliebig vorgelegte naturliche Zahlen q 1 q 2 q t displaystyle q 1 q 2 ldots q t nbsp Dies fuhrt zum allgemeinen Satz von Ramsey der fur den Fall der vollstandigen k uniformen Hypergraphen gilt 14 15 16 17 Zu jeder naturlichen Zahl t displaystyle t nbsp und je t 1 displaystyle t 1 nbsp beliebig gegebenen naturliche Zahlen k q 1 q 2 q t displaystyle k q 1 q 2 ldots q t nbsp mit k min q 1 q 2 q t displaystyle k leq min q 1 q 2 ldots q t nbsp gibt es stets eine von k q 1 q 2 q t displaystyle k q 1 q 2 ldots q t nbsp abhangende naturliche Zahl R displaystyle R nbsp mit folgender Eigenschaft Ist n displaystyle n nbsp eine naturliche Zahl mit n R displaystyle n geq R nbsp und X displaystyle X nbsp eine n displaystyle n nbsp elementige Menge und liegt irgendeine Zerlegung X k K 1 K 2 K t displaystyle X choose k mathcal K 1 dot cup mathcal K 2 dot cup dots dot cup mathcal K t nbsp dd des Mengensystems aller k displaystyle k nbsp Teilmengen von X displaystyle X nbsp in t displaystyle t nbsp Klassen vor so gibt es stets mindestens einen Index s 1 2 t displaystyle s in 1 2 ldots t nbsp und eine Teilmenge T X displaystyle T subseteq X nbsp dergestalt dass die Bedingungen T q s displaystyle T q s nbsp dd und T k K s displaystyle T choose k subseteq mathcal K s nbsp dd erfullt sind dd Hohere klassische Ramsey Zahlen fur uniforme Hypergraphen Bearbeiten Die kleinste naturliche Zahl die als Zahl R displaystyle R nbsp im allgemeinen Satz von Ramsey bei gegebenem k displaystyle k nbsp und gegebenen q 1 q 2 q t displaystyle q 1 q 2 ldots q t nbsp gewahlt werden kann heisst die zu k displaystyle k nbsp und q 1 q 2 q t displaystyle q 1 q 2 ldots q t nbsp gehorige Ramsey Zahl oder ahnlich Eine solche Zahl nennt man auch eine hohere klassische Ramsey Zahl englisch k hypergraph Ramsey number oder auch classical hypergraph Ramsey number 18 Sie wird vielfach mit R q 1 q 2 q t k displaystyle R q 1 q 2 ldots q t k nbsp oder in ahnlicher Weise bezeichnet 19 Identitaten Ungleichungen und Werte zu den hoheren Ramsey Zahlen Bearbeiten Mit den im obigen Satz genannten Bezeichnungen gelten folgende Identitaten 20 17 21 22 R q 1 q 2 2 R q 1 q 2 displaystyle R q 1 q 2 2 R q 1 q 2 nbsp sowie R q 1 q t R q 1 q t 2 displaystyle R q 1 ldots q t R q 1 ldots q t 2 nbsp 23 R 2 2 2 2 2 displaystyle R 2 2 ldots 2 2 2 nbsp R q 1 q 2 q t 1 q 1 q 2 q t t 1 displaystyle R q 1 q 2 ldots q t 1 q 1 q 2 cdots q t t 1 nbsp R q 1 k k k q 1 displaystyle R q 1 k ldots k k q 1 nbsp fur k q 1 N q 1 k displaystyle k q 1 in mathbb N q 1 geq k nbsp Weiter ist fur den Fall t 2 displaystyle t 2 nbsp noch die folgende Ungleichung gegeben 24 R q 1 q 2 k 1 R R q 1 1 q 2 k R q 1 q 2 1 k k 1 displaystyle R q 1 q 2 k leq 1 R bigl R q 1 1 q 2 k R q 1 q 2 1 k k 1 bigr nbsp fur q 1 q 2 k N 1 lt k lt min q 1 q 2 displaystyle q 1 q 2 k in mathbb N 1 lt k lt min q 1 q 2 nbsp Daneben gilt fur den Fall t 2 3 displaystyle t 2 3 ldots nbsp und k 2 displaystyle k 2 nbsp R q 1 q 2 q t 2 R q 1 1 q 2 q t 2 R q 1 q 2 1 q t 2 R q 1 q 2 q t 1 2 t 2 displaystyle R q 1 q 2 ldots q t 2 leq bigl R q 1 1 q 2 ldots q t 2 R q 1 q 2 1 ldots q t 2 cdots R q 1 q 2 ldots q t 1 2 bigr t 2 nbsp fur q 1 q t 2 displaystyle q 1 ldots q t geq 2 nbsp Fur t 2 displaystyle t 2 nbsp und q 1 3 displaystyle q 1 3 nbsp gibt es noch folgende Verscharfung R 3 q 2 2 1 2 q 2 2 3 displaystyle R 3 q 2 2 leq frac 1 2 q 2 2 3 nbsp fur q 2 3 displaystyle q 2 geq 3 nbsp 25 Exakte Werte fur die hoheren Ramsey Zahlen sind soweit man von den aufgefuhrten einfachen Beispielen und den obigen Werten der Ramsey Zahlen fur kleine Graphen absieht weitgehend unbekannt Eine Ausnahme bildet die Ramsey Zahl fur t 2 k 3 q 1 q 2 4 displaystyle t 2 k 3 q 1 q 2 4 nbsp Hier gilt R 4 4 3 13 displaystyle R 4 4 3 13 nbsp Die unendliche Version des Satzes von Ramsey BearbeitenDie unendliche Version des Satzes von Ramsey ist diejenige welche im Wesentlichen dem ursprunglich von Frank Plumpton Ramsey in 1930 vorgelegten Theorem entspricht Sie lautet 26 Zu beliebig gegebenen naturlichen Zahlen k t displaystyle k t nbsp zu einer beliebig gegebenen unendlichen Menge X displaystyle X nbsp und irgendeiner Zerlegung X k K 1 K 2 K t displaystyle X choose k mathcal K 1 dot cup mathcal K 2 dot cup dots dot cup mathcal K t nbsp dd des Mengensystems aller k displaystyle k nbsp Teilmengen von X displaystyle X nbsp gibt es stets mindestens einen Index s 1 2 t displaystyle s in 1 2 ldots t nbsp und eine unendliche Teilmenge T X displaystyle T subseteq X nbsp mit T k K s displaystyle T choose k subseteq mathcal K s nbsp dd dd Es lasst sich zeigen dass die unendliche Version des Satzes von Ramsey die endliche Version nach sich zieht 27 Folgerungen BearbeitenDieser Satz von Ramsey hat bemerkenswerte Konsequenzen etwa in der Geometrie und in der Zahlentheorie Unter anderem ergibt sich aus ihm das beruhmte Happy Ending theorem von Erdos und Szekeres aus dem Jahre 1935 und eine erweiterte Version des Satzes von Schur 28 29 30 Happy Ending theorem Bearbeiten Zu jeder beliebig vorgegebenen naturlichen Zahl m 3 displaystyle m geq 3 nbsp existiert stets eine allein von m displaystyle m nbsp abhangige naturliche Zahl k displaystyle kappa nbsp mit der Eigenschaft dass je k displaystyle kappa nbsp oder mehr Punkte der euklidischen Ebene welche sich in allgemeiner Lage befinden stets ein konvexes Vieleck mit m displaystyle m nbsp Eckpunkten enthalten Nach Halder und Heise lasst sich dieser Satz sogar noch etwas scharfer fassen 31 Zu jeder beliebig vorgegebenen naturlichen Zahl m 3 displaystyle m geq 3 nbsp existiert stets eine naturliche Zahl k displaystyle kappa nbsp mit der Eigenschaft dass je k displaystyle kappa nbsp oder mehr Punkte der euklidischen Ebene zumindest m displaystyle m nbsp kollineare Punkte oder ein konvexes Vieleck mit m displaystyle m nbsp Eckpunkten enthalten Bezeichnet man die kleinste naturliche Zahl welche zu vorgegebener naturlicher Zahl m 3 displaystyle m geq 3 nbsp dem Happy Ending theorem in der ersten etwas schwacheren Version genugt mit k m displaystyle kappa m nbsp so hat man fur m 3 4 5 6 displaystyle m 3 4 5 6 nbsp folgenden exakten Wert 32 k m 2 m 2 1 displaystyle kappa m 2 m 2 1 nbsp Es sind also k 3 3 displaystyle kappa 3 3 nbsp k 4 5 displaystyle kappa 4 5 nbsp k 5 9 displaystyle kappa 5 9 nbsp k 6 17 displaystyle kappa 6 17 nbsp Daruber hinaus sind keine weiteren exakten Werte bekannt sondern nur noch ein allgemeines Werteintervall 33 2 m 2 1 k m 2 m 5 m 2 2 displaystyle 2 m 2 1 leq kappa m leq binom 2m 5 m 2 2 nbsp fur alle m 3 displaystyle m geq 3 nbsp Satz von Schur erweiterte Version Bearbeiten Zu je zwei beliebig vorgegebenen naturlichen Zahlen m t displaystyle m t nbsp mit m 2 displaystyle m geq 2 nbsp existiert stets eine kleinste naturliche Zahl S S m t displaystyle S S m t nbsp mit folgender Eigenschaft Ist n displaystyle n nbsp eine naturliche Zahl mit n S displaystyle n geq S nbsp und liegt fur das Anfangsstuck A 1 2 n N displaystyle A 1 2 ldots n subset mathbb N nbsp irgendeine ZerlegungA A 1 A 2 A t displaystyle A A 1 dot cup A 2 dot cup dots dot cup A t nbsp dd in t displaystyle t nbsp Klassen vor so enthalt mindestens eine der Mengen A s s 1 2 t displaystyle A s s in 1 2 ldots t nbsp ein m displaystyle m nbsp Tupel a 1 a 2 a m displaystyle a 1 a 2 dots a m nbsp von nicht notwendig verschiedenen Zahlen welche die Gleichung a 1 a 2 a m 1 a m displaystyle a 1 a 2 dots a m 1 a m nbsp dd erfullen dd Zusatz Bearbeiten Aus dem von Halder und Heise gelieferten Beweis geht hervor dass die mit dem schurschen Satz definierte Schur Zahl S m t displaystyle S m t nbsp stets unterhalb der Ramsey Zahl R q 1 q 2 q t 2 displaystyle R q 1 q 2 ldots q t 2 nbsp q 1 q 2 q t m displaystyle q 1 q 2 ldots q t m nbsp liegt 34 Verallgemeinerung des Satzes von Ramsey fur endliche einfache Graphen BearbeitenDer ramseysche Satzes behandelt im Fall der Graphen s Teil 1 die Frage ob und wie sich hinreichend grosse vollstandige Graphen K n displaystyle K n nbsp finden lassen so dass sich in solche K n displaystyle K n nbsp bei jeder Kantenfarbung mindestens einer von t displaystyle t nbsp vorgegebenen vollstandigen Graphen K q i displaystyle K q i nbsp als einfarbiger Teilgraph einbetten lasst Dieses Konzept ist dahingehend verallgemeinert worden dass man nun von den K q i displaystyle K q i nbsp auf beliebige einfache Graphen G i displaystyle mathcal G i nbsp endlicher Ordnung ubergeht Auf diesem Wege erhalt man die folgende Verallgemeinerung des Satzes von Ramsey fur Graphen 35 36 37 Zu jeder naturlichen Zahl t 2 displaystyle t geq 2 nbsp und jeder beliebig vorgegebenen t displaystyle t nbsp Familie G 1 G 2 G t displaystyle mathcal G 1 mathcal G 2 ldots mathcal G t nbsp von endlichen einfachen Graphen existiert stets eine naturliche Zahl r displaystyle r nbsp mit folgender Eigenschaft Ist n N displaystyle n in mathbb N nbsp und n r displaystyle n geq r nbsp und liegt irgendeine Kantenfarbung von K n displaystyle K n nbsp mit t displaystyle t nbsp Farben vor so existiert in K n displaystyle K n nbsp ein einfarbiger Teilgraph welcher das isomorphe Bild zumindest eines der Graphen G 1 G 2 G t displaystyle mathcal G 1 mathcal G 2 ldots mathcal G t nbsp enthalt dd Verallgemeinerte Ramsey Zahlen fur endliche einfache Graphen Bearbeiten Die kleinste naturliche Zahl die als Zahl r displaystyle r nbsp in der Verallgemeinerung des Satzes von Ramsey fur Graphen bei gegebenen G 1 G 2 G t displaystyle mathcal G 1 mathcal G 2 ldots mathcal G t nbsp gewahlt werden kann heisst die zu G 1 G 2 G t displaystyle mathcal G 1 mathcal G 2 ldots mathcal G t nbsp gehorige verallgemeinerte Ramsey Zahl oder ahnlich und wird mit r G 1 G 2 G t displaystyle r mathcal G 1 mathcal G 2 ldots mathcal G t nbsp bezeichnet 38 Fur sie gelten folgende allgemeine Beziehungen 39 35 r K q 1 K q 2 K q t R q 1 q 2 q t R q 1 q 2 q t 2 displaystyle r K q 1 K q 2 ldots K q t R q 1 q 2 ldots q t R q 1 q 2 ldots q t 2 nbsp 40 r G 1 G 2 G t R q 1 q 2 q t 2 displaystyle r mathcal G 1 mathcal G 2 ldots mathcal G t leq R q 1 q 2 ldots q t 2 nbsp wenn n G i q i displaystyle n mathcal G i q i nbsp i 1 2 t displaystyle i 1 2 ldots t nbsp 41 r G s 1 G s 2 G s t r G 1 G 2 G t displaystyle r mathcal G sigma 1 mathcal G sigma 2 ldots mathcal G sigma t r mathcal G 1 mathcal G 2 ldots mathcal G t nbsp fur jede Permutation s 1 2 t 1 2 t displaystyle sigma colon 1 2 ldots t rightarrow 1 2 ldots t nbsp Ebenso wie bei obigen Ramsey Zahlen sind zu den verallgemeinerten Ramsey Zahlen fur einfache Graphen in nur einigen Fallen konkrete Ergebnisse bekannt Dazu gehoren die folgenden r C 3 C 3 6 displaystyle r C 3 C 3 6 nbsp 42 r C 4 C 4 6 displaystyle r C 4 C 4 6 nbsp r C 5 C 5 C 5 17 displaystyle r C 5 C 5 C 5 17 nbsp r C 7 C 7 C 7 25 displaystyle r C 7 C 7 C 7 25 nbsp r B q 1 K q 2 1 q 1 1 q 2 1 displaystyle r B q 1 K q 2 1 q 1 1 q 2 1 nbsp fur q 1 q 2 N displaystyle q 1 q 2 in mathbb N nbsp q 1 2 displaystyle q 1 geq 2 nbsp und Baumgraphen B q 1 displaystyle B q 1 nbsp mit n B q 1 q 1 displaystyle n B q 1 q 1 nbsp 43 r K 1 q 1 K 1 q 2 K 1 q t a t q 1 q 2 q t displaystyle r K 1 q 1 K 1 q 2 ldots K 1 q t alpha t q 1 q 2 cdots q t nbsp fur t 2 displaystyle t geq 2 nbsp Sterngraphen K 1 q i displaystyle K 1 q i nbsp i 1 2 t displaystyle i 1 2 ldots t nbsp wobei a 1 displaystyle alpha 1 nbsp ist sofern unter den naturlichen Zahlen q 1 q 2 q t displaystyle q 1 q 2 ldots q t nbsp zwei oder mehr gerade Zahlen vorkommen und deren Anzahl ihrerseits eine gerade Zahl ist und a 2 displaystyle alpha 2 nbsp sonst 44 Asymptotische Abschatzungen BearbeitenObwohl die klassischen Ramsey Zahlen wie auch die verallgemeinerten Ramsey Zahlen fur Graphen nur in wenigen Fallen exakt bestimmt sind lassen sich gewisse asymptotische Abschatzungen angeben Das folgende Resultat welches insbesondere auf Arbeiten von Miklos Ajtai Janos Komlos und Endre Szemeredi 1980 sowie Jeong Han Kim 1995 zuruckgeht wird haufig genannt 45 46 Es existieren zwei reelle Konstanten C 1 C 2 gt 0 displaystyle C 1 C 2 gt 0 nbsp mit C 1 n 2 ln n R 3 n 2 C 2 n 2 ln n displaystyle C 1 cdot frac n 2 ln n leq R 3 n 2 leq C 2 cdot frac n 2 ln n nbsp n N n 2 displaystyle n in mathbb N n geq 2 nbsp 47 Vermutungen BearbeitenEs gibt zu den klassischen Ramsey Zahlen ebenso wie zu den verallgemeinerten Ramsey Zahlen fur Graphen eine Reihe von Vermutungen Diese sind nicht selten mit Namen und Person von Paul Erdos verbunden Dazu gehoren die folgenden Vermutung von Erdos Bearbeiten Paul Erdos ausserte im Jahre 1973 die folgende Vermutung welche die Ramsey Zahlen die verallgemeinerten Ramsey Zahlen fur Graphen und deren chromatische Zahlen in Verbindung bringt 48 Hat ein endlicher einfacher Graph G displaystyle mathcal G nbsp die chromatische Zahl x G n displaystyle chi mathcal G n nbsp n N displaystyle n in mathbb N nbsp so gilt r G G R n n displaystyle r mathcal G mathcal G geq R n n nbsp 49 Vermutung von Bondy und Erdos Bearbeiten John Adrian Bondy und Paul Erdos stellten im Jahre 1973 die folgende Vermutung von Bondy und Erdos zu den Ramsey Zahlen fur Kreisgraphen auf 50 Es gilt fur Kreisgraphen C n displaystyle C n nbsp sofern n 5 displaystyle n geq 5 nbsp und ungerade ist stets r C n C n C n 4 n 3 displaystyle r C n C n C n 4n 3 nbsp Bislang gesichert ist dass fur derartige ungeraden Zahlen n displaystyle n nbsp immer die Ungleichung r C n C n C n 4 n 3 displaystyle r C n C n C n geq 4n 3 nbsp Bestand hat Baum Vermutung Bearbeiten Stefan A Burr und Paul Erdos ausserten in 1976 die sogenannte Baum Vermutung englisch Tree Conjecture 51 Fur Baumgraphen B p displaystyle B p nbsp und B q displaystyle B q nbsp mit p q 2 displaystyle p q geq 2 nbsp ist stets r B p B q p q 2 displaystyle r B p B q leq p q 2 nbsp Erdos Sos Vermutung Bearbeiten Verknupft mit der und dabei weiterreichend als die Baum Vermutung da sie diese impliziert ist die Erdos Sos Vermutung welche von Paul Erdos und Vera Turan Sos im Jahre 1963 aufgestellt wurde 52 50 In jedem endlichen einfachen Graphen G displaystyle mathcal G nbsp mit n displaystyle n nbsp Knoten und 1 n p 2 2 displaystyle 1 frac n p 2 2 nbsp oder mehr Kanten n p N p 2 displaystyle n p in mathbb N p geq 2 nbsp ist von jedem beliebigen Baumgraphen B p displaystyle B p nbsp mit p displaystyle p nbsp Knoten immer ein isomorphes Bild als Teilgraph enthalten Vermutung von McKay und Radziszowski Bearbeiten Die Vermutung von McKay und Radziszowski aus dem Jahre 1997 besagt 53 r 5 5 43 displaystyle r 5 5 43 nbsp Siehe auch BearbeitenSatz von Ramsey Mengenlehre Literatur BearbeitenOriginalarbeiten Miklos Ajtai Janos Komlos Endre Szemeredi A note on Ramsey numbers In J Combin Theory Ser A Band 29 1980 S 354 360 ac els cdn com PDF MR0600598 Stefan A Burr John A Roberts On Ramsey numbers for stars In Utilitas Math Band 4 1973 S 217 220 onlinelibrary wiley com PDF MR0465920 V Chvatal Tree complete graph Ramsey numbers In J Graph Theory Band 1 1977 S 93 onlinelibrary wiley com PDF MR0465920 Vaclav Chvatal Frank Harary Generalized Ramsey theory for graphs III Small off diagonal numbers In Pacific J Math Band 41 1972 S 335 345 projecteuclid org PDF MR0314696 E J Cockayne Colour classes for r graphs In Canad Math Bull Band 15 1972 S 349 354 MR0340076 Paul Erdos George Szekeres A combinatorial problem in geometry In Compositio Mathematica Band 2 1935 S 463 470 Paul Erdos Some remarks on the theory of graphs In Amer Math Soc Band 2 1947 S 292 294 ams org PDF Robert E Greenwood Andrew M Gleason Combinatorial relations and chromatic graphs In Canad J Math Band 7 1955 S 1 7 cms math ca PDF MR0067467 Jeong Han Kim The Ramsey number R 3 t has order of magnitude t 2 log t In Random Structures Algorithms Band 7 1995 S 173 207 onlinelibrary wiley com PDF MR1369063 Brendan D McKay Stanislaw P Radziszowski The first classical Ramsey number for hypergraphs is computed In Proceedings of the Second Annual ACM SIAM Symposium on Discrete Algorithms San Francisco CA 1991 ACM New York 1991 S 304 308 F P Ramsey On a problem of formal logic In Proc London Math Soc series 2 Band 30 1930 S 264 286 G Toth P Valtr Note on the Erdos Szekeres theorem In Discrete Comput Geom Band 19 1998 S 457 459 MR1615130Monographien Bela Bollobas Modern Graph Theory Graduate Texts in Mathematics Band 184 3 Auflage Springer New York u a 1998 ISBN 0 387 98488 7 MR1633290 J A Bondy U S R Murty Graph Theory with Applications MacMillan London 1976 ISBN 0 333 17791 6 MR0411988 J A Bondy U S R Murty Graph Theory Graduate Texts in Mathematics Band 244 Springer Verlag New York 1976 ISBN 978 1 84628 969 9 MR2368647 Ronald L Graham Bruce L Rothschild Joel H Spencer Ramsey Theory John Wiley amp Sons New York 1980 ISBN 0 471 05997 8 Heinz Richard Halder Werner Heise Einfuhrung in die Kombinatorik Hanser Verlag Munchen u a 1976 ISBN 3 446 12140 4 Google Books Egbert Harzheim Ordered Sets Advances in Mathematics Band 7 Springer Verlag New York NY 2005 ISBN 0 387 24219 8 MR2127991 Konrad Jacobs Dieter Jungnickel Einfuhrung in die Kombinatorik de Gruyter Lehrbuch 2 vollig neu bearbeitete und erweiterte Auflage de Gruyter Berlin u a 2004 ISBN 3 11 016727 1 Stasys Jukna Extremal Combinatorics Texts in Theoretical Computer Science 2 Auflage Springer Verlag Heidelberg u a 2011 ISBN 978 3 642 17363 9 MR2865719 Jorg Neunhauserer Schone Satze der Mathematik Ein Uberblick mit kurzen Beweisen Springer Lehrbuch Springer Spektrum Berlin Heidelberg 2015 ISBN 978 3 642 54689 1 Lutz Volkmann Fundamente der Graphentheorie Springer Spektrum Wien New York 1996 ISBN 3 211 82774 9 Handbucher Jonathan L Gross Jay Yellen Hrsg Handbook of Graph Theory Discrete Mathematics and its Applications CRC Press Boca Raton u a 2004 ISBN 1 58488 090 2 Kenneth H Rosen Hrsg Handbook of Discrete and Combinatorial Mathematics Discrete Mathematics and its Applications CRC Press 2000 ISBN 0 8493 0149 1 Weblinks BearbeitenRamsey Home ist ein BOINC Projekt das durch Verteiltes Rechnen versucht neue untere Schranken fur Ramsey Zahlen zu finden Ramsey Theorie Radziszowski s survey of small Ramsey numbers PDF 109 kB englisch Survey of directed graph Ramsey numbers englisch Einzelnachweise und Fussnoten Bearbeiten Die Wahl der Farben ist unwesentlich Handbook of Discrete and Combinatorial Mathematics S 150 ff Die oben gemachten Uberlegungen zur Bestimmung von R 3 3 deuten bereits einige der wesentlichen Ideen an die zu der genannten rekursiven Abschatzung der Ramsey Zahlen und dann auch zu einem Beweis des Satzes fuhren Diese Abschatzung ist jedoch fur eine exakte Bestimmung der Ramsey Zahlen bei weitem nicht ausreichend Die Ungleichungen gehen zuruck auf die klassische Arbeit von Paul Erdos und George Szekeres aus dem Jahre 1935 mit welchem die beiden Autoren als erste den Satz von Ramsey mit Fragestellungen der Graphentheorie und Geometrie verknupften Vgl 1 Erdos Szekeres A combinatorial problem in geometry In Proc London Math Soc 1935 S 463 ff 2 Graham Rothschild Spencer S 24 ff 3 Handbook of Graph Theory S 838 ff Volkmann S 359 Diese Ungleichung geht gemass Lutz Volkmann auf eine Arbeit von E J Cockayne aus dem Jahr 1972 zuruck Vgl Volkmann S 363 Erdos Some remarks on the theory of graphs In Bull Amer Math Soc 1947 S 292 ff Graham Rothschild Spencer S 75 Handbook of Discrete and Combinatorial Mathematics S 151 592 ff Handbook of Graph Theory S 840 Die untere Schranke von R 5 5 displaystyle R 5 5 nbsp ergibt sich daraus dass ein vollstandiger zweigefarbter Graph mit 42 displaystyle 42 nbsp Knoten gefunden wurde welcher keinen vollstandigen einfarbigen Untergraphen mit 5 displaystyle 5 nbsp Knoten enthalt Vgl Neunhauserer S 31 32 182 183 Weitere aktuelle Abschatzungen zu Kantenfarbungen mit zwei Farben sind im Artikel Ramsey s theorem des englischsprachigen Wikipedia nachzulesen Greenwood Gleason Combinatorial relations and chromatic graphs In Canad J Math 1955 S 1 ff Bondy Murty S 249 Jacobs Jungnickel S 105 Halder Heise S 141 142 Harzheim S 299 301 a b Handbook of Discrete and Combinatorial Mathematics S 150 Graham Rothschild Spencer S 90 Es gibt einige Bezeichnungsvarianten Insbesondere ist die Wahl des bezeichnenden Buchstabens nicht einheitlich und zugleich kann auch die Position des k displaystyle k nbsp im Verhaltnis zu den q i displaystyle q i nbsp wechseln Statt des Grossbuchstabens R displaystyle R nbsp findet man des Ofteren auch den Kleinbuchstaben r displaystyle r nbsp vor dies vor allem in der Graphentheorie Hier etwa tritt die Zahl k displaystyle k nbsp auch als Index auf In diesem Sinne gilt also vgl Handbook of Graph Theory r q 1 q 2 r 2 q 1 q 2 R q 1 q 2 R q 1 q 2 2 displaystyle r q 1 q 2 r 2 q 1 q 2 R q 1 q 2 R q 1 q 2 2 nbsp r q 1 q 2 q t r 2 q 1 q 2 q t R q 1 q 2 q t R q 1 q 2 q t 2 displaystyle r q 1 q 2 ldots q t r 2 q 1 q 2 ldots q t R q 1 q 2 ldots q t R q 1 q 2 ldots q t 2 nbsp r k q 1 q 2 q t R q 1 q 2 q t k displaystyle r k q 1 q 2 ldots q t R q 1 q 2 ldots q t k nbsp Bei manchen Autoren zumindest denen der alteren Literatur etwa bei Halder Heise ist als Funktionsbezeichner sogar der griechische Kleinbuchstabe r displaystyle rho nbsp zu finden und es kommen noch weitere Bezeichnungsvarianten vor Die hiesige Bezeichnung folgt im Wesentlichen der allgemeinen nicht allein auf die Graphentheorie ausgerichteten Bezeichnung bei Jacobs Jungnickel bzw der des Handbook of Discrete and Combinatorial Mathematics Handbook of Graph Theory S 853 Jacobs Jungnickel S 108 McKay Radziszowski The first classical Ramsey number for hypergraphs is computed In Proceedings of the Second Annual ACM SIAM Symposium on Discrete Algorithms 1991 S 304 ff Dies stellt die Verbindung zwischen allgemeinen Ramsey Zahlen und Ramsey Zahlen fur Graphen her Halder Heise S 138 Die letzten beiden Ungleichungen sind von oben ubernommen Jacobs Jungnickel S 109 110 Jacobs Jungnickel S 110 Jacobs Jungnickel S 108 109 Siehe auch im englischsprachigen WIKIPEDIA unter Happy Ending problem Halder Heise S 142 143 Halder Heise S 140 141 Handbook of Discrete and Combinatorial Mathematics S 832 Toth Valtr Note on the Erdos Szekeres theorem In Discrete Comput Geom Band 19 1998 S 457 ff Halder Heise S 143 a b Volkmann S 362 ff Handbook of Discrete and Combinatorial Mathematics S 592 ff Handbook of Graph Theory S 838 ff Diese Bezeichnung mit dem Kleinbuchstaben r displaystyle r nbsp statt mit dem Grossbuchstaben R displaystyle R nbsp entspricht der ublichen Konvention der Graphentheorie s fruhere Fussnote und wird daher an dieser Stelle benutzt Handbook of Graph Theory S 842 ff Diese Gleichung stellt die Verbindung zu den klassischen Ramsey Zahlen fur vollstandige Graphen her und belegt zugleich dass es sich bei den verallgemeinerten Ramsey Zahlen fur endliche einfache Graphen in der Tat um einer Verallgemeinerung handelt Dabei bezeichnet man mit n G displaystyle n mathcal G nbsp fur eine Graphen G displaystyle mathcal G nbsp seine Ordnung also die Anzahl seiner Knoten C n displaystyle C n nbsp ist der Kreisgraph mit n displaystyle n nbsp Knoten und n displaystyle n nbsp Kanten Chvatal Tree complete graph Ramsey numbers In J Graph Theory Band 1 1977 S 93 Burr Roberts On Ramsey numbers for stars In Utilitas Math Band 4 1973 S 217 ff Jukna S 67 Handbook of Graph Theory S 841 ff Weitere Abschatzungen dieser Art finden sich im Artikel des englischsprachigen Wikipedia Siehe hier Bondy Murty Graph Theory with Applications S 250 Ob diese Vermutung von Erdos immer offen ist kann derzeit Stand Dezember 2014 nicht mit letzter Sicherheit gesagt werden In ihrer erweiterten Monographie Graph Theory von 2008 haben Bondy und Murty diese Vermutung jedenfalls nicht mehr in die Liste der Unsolved Problems S 583 ff aufgenommen a b Handbook of Graph Theory S 843 Handbook of Graph Theory S 842 Bollobas S 135 Neunhauserer S 182 183 Abgerufen von https de wikipedia org w index php title Satz von Ramsey amp oldid 227062983