b'\n_START_ARTICLE_\nRamsey-theorie\n_START_PARAGRAPH_\nDe Ramseytheorie maakt deel uit van de combinatoriek een deelgebied van de discrete wiskunde. Ramsey-theorie gaat over de vraag hoeveel elementen uit een met een zekere wiskundige structuur uitgeruste verzameling gekozen moeten worden, opdat dezelfde wiskundige structuur in een deelverzameling teruggevonden kan worden, waarbij tevens aan een bepaalde eigenschap wordt voldaan. De theorie is genoemd naar de vroegtwintigste-eeuwse Britse wiskundige Frank Ramsey.\n_START_SECTION_\nHet postvakprincipe\n_START_PARAGRAPH_\nEen bekend principe uit de combinatoriek betreft het zogenaamde postvakprincipe._NEWLINE_Dit principe stelt dat er ten minste twee ballen in \xc3\xa9\xc3\xa9n bak terechtkomen bij het verdelen van  ballen over  bakken  Meer algemeen geldt dat er een bak met ten minste  ballen moet bestaan na het toewijzen van  ballen aan  bakken  Het postvakprincipe wordt vaak ook zo geformuleerd: Na toekenning van  ballen aan  bakken zal er een bak zijn met (naar boven afgerond) ten minste  ballen _NEWLINE_Het postvakprincipe laat ons zien dat een willekeurige structuur (een willekeurige verdeling van ballen over een vast aantal bakken) vanaf een bepaalde omvang (een bepaald aantal ballen) noodzakelijkerwijs een regelmatige deelstructuur moet bevatten (een bak met minimaal een bepaald aantal ballen). De minimale omvang waarbij een regelmatige deelstructuur noodzakelijkerwijs optreedt kan in sommige gevallen (zoals in het geval van het postvakprincipe) exact berekend worden. Kortgezegd komt het erop neer dat totale chaos onmogelijk is: vanaf een bepaalde omvang moeten willekeurige structuren noodzakelijkerwijs regelmatige deelstructuren bevatten._NEWLINE_In de Ramsey-theorie wordt deze gedachte opgepakt en verder uitgewerkt. De Ramsey-theorie bestaat uit een collectie gelijksoortige stellingen die allemaal het bestaan van regelmatige deelstructuren aantonen in willekeurige structuren van voldoende omvang._NEWLINE_De centrale stelling van de Ramsey-theorie wordt ook wel de stelling van Ramsey genoemd (naar Frank P. Ramsey die deze stelling in 1928 formuleerde en bewees) en is feitelijk een generalisatie van het postvakprincipe. We geven hieronder de eindige versie van deze stelling.\n_START_SECTION_\nRamsey-getallen\n_START_PARAGRAPH_\nDe getallen  worden wel Ramsey-getallen genoemd. Zo is  Dit betekent dus dat een 2-kleuring met 2 kleuren van een verzameling met 6 elementen noodzakelijkerwijs een deelverzameling van drie elementen moet bevatten waarvan alle 2-deelverzamelingen dezelfde kleur hebben._NEWLINE_Deze uitspraak kan ge\xc3\xafnterpreteerd worden als een uitspraak over volledige grafen: Een volledige graaf met 6 punten waarvan iedere lijn rood of blauw is, moet drie punten bevatten waarvan de onderlinge drie verbindingslijnen allemaal rood of allemaal blauw zijn. Op een feestje waar zes mensen aanwezig zijn moeten er dus drie mensen te vinden zijn die elkaar onderling kennen of elkaar onderling niet kennen._NEWLINE_Het is in het algemeen zeer moeilijk om Ramsey-getallen te berekenen en van slechts weinig Ramsey-getallen is dan ook de exacte waarde bekend.'