Beweis von Ramseys Theorem: Die Anzahl der Cliquen oder Anti-Cliquen in einem Diagramm

7

Ramseys Theorem besagt, dass jeder Graph mit n Knoten enthält entweder eine Clique oder eine unabhängige Menge mit mindestens 12log2n Knoten.

Ich habe versucht, es an einigen Stellen nachzuschlagen (einschließlich Sipser), aber ich konnte aus den Beweisen nicht viel Sinn erkennen. Ich würde es begrüßen, wenn mir jemand einen Beweis (oder eine klare Intuition) dafür geben könnte.

Subhayan
quelle
Weiß jemand, wie man den Beweis baut? Ich meine, er hat sicherlich eine Idee, die zu dieser Aussage geführt hat. Kann mir jemand sagen, wie man sie konstruiert (und nicht mit Induktion beweist?)? Ich denke, es sollte etwas Einfaches sein ... etwas Elegantes!
Subhayan

Antworten:

6

Lassen R(s,t) sei die kleinste ganze Zahl k so dass jeder Graph auf k oder mehr Eckpunkte enthalten entweder a s-clique oder unabhängige Größe t.

Es stellt sich heraus, dass diese Nummer gut definiert ist ( Ramsey-Nummer genannt ) und die Aussage in Ihrer Frage lediglich darauf hinausläuft, dies zu sagen

R(t,t)22t.

Eine bekannte Obergrenze für Ramsey-Zahlenzustände

R(s,t)R(s,t1)+R(s1,t)(s+t2t1)(1)
wenn s=tdann reduziert sich das Obige auf den zentralen Binomialkoeffizienten (2t2t1) das ist immer kleiner als 22t

Beweisen (1) man kann Induktion auf verwenden s+t. Verlassen der InduktionsbasisR(1,t),R(s,1) Nehmen wir als Übung für Sie an, dass die Ungleichheit für alle gilt s+t<k und lass G sei ein Graph mit R(s,t1)+R(s1,t) Eckpunkte.

Lassen v sei ein beliebiger Scheitelpunkt von G und unterteilen Sie die verbleibenden Eckpunkte des Diagramms in zwei Gruppen A,N - die angrenzenden mit v und diejenigen, die nicht benachbart sind mit v. Jetzt seit

|A|+|N|+1=R(s,t1)+R(s1,t)
wir haben entweder
|N|R(s,t1) or|A|R(s1,t).
Wenn nun die erste Ungleichung erfüllt ist, wird der Graph durch induziert N enthält entweder a s-clique oder der Graph induziert durch N{v} enthält einen unabhängigen Satz von Größen t. Dies impliziert insbesondere, dass in diesem Fall G enthält entweder a s-clique oder unabhängige Größe t.Der zweite Fall wird analog verifiziert und legt den ersten Teil der angegebenen Grenze fest. Beachten Sie für den letzten Teil das
(s+t3s1)+(s+t3s2)=(s+t2s1).
Jernej
quelle
Ich bin mir nicht sicher. Schon seit|A|<22(t1) es folgt dem |A|+122(t1)
Jernej
Du hast recht, der Schritt ist falsch! Irgendwie war ich mir sicher, dass es möglich war, das Ergebnis nur unter Verwendung der diagonalen Ramsey-Zahlen zu beweisen, aber ich sehe nicht, wie ich es auf diese Weise beheben kann.
Jernej
@ AndrásSalamon Bitte kennzeichnen Sie diese Kommentare als veraltet, sobald Sie zustimmen, dass jetzt alles in Ordnung ist.
Raphael