Ramsey Teorisi: Yeterince Büyük Her Kaosun İçinde Düzen Vardır

Partideki Şaşırtıcı Garanti

Bir odada altı kişi olduğunu düşünün. Her iki kişi ya birbirini tanıyordur ya da tanımıyordur. İşte kanıtlanabilir bir gerçek: bu altı kişi arasında ya birbirini karşılıklı tanıyan üç kişi, ya da birbirini hiç tanımayan üç kişi mutlaka vardır. Bundan kaçış yoktur — odaya kimi koyarsanız koyun, bu örüntü her zaman ortaya çıkar.

Bu, Ramsey teorisinin en sevilen örneğidir. Teorinin temel mesajı çarpıcıdır: yeterince büyük herhangi bir yapı, ne kadar rastgele olursa olsun, içinde düzenli adacıklar barındırmak zorundadır. Tam, kusursuz bir düzensizlik imkânsızdır.

Renklerle Düşünelim

Bu sonucu görmenin temiz bir yolu var. Altı kişiyi birer nokta olarak çizin ve her iki noktayı bir çizgiyle birleştirin. Tanışıyorlarsa çizgiyi kırmızı, tanışmıyorlarsa mavi boyayın. Soru şu hâle gelir: bu renklendirmede, hep aynı renkten kenarlardan oluşan bir üçgen (tek renkli üçgen) bulunmak zorunda mı?

Cevap evet. İşte zarif bir akıl yürütme:

Herhangi bir kişiyi seçin — ona Ali diyelim. Ali'nin diğer $5$ kişiye uzanan $5$ çizgisi var. Bu $5$ çizgi kırmızı ya da mavi. Güvercin yuvası ilkesine göre, $5$ çizgiden en az $3$'ü aynı renktedir (çünkü iki renge $5$ çizgi paylaştırılırsa biri en az $\lceil 5/2 \rceil = 3$ tane alır). Diyelim bu üç çizgi kırmızı ve karşıdaki kişiler Beste, Can ve Deniz olsun.

Şimdi bu üçlüye bakın. Eğer aralarında tek bir kırmızı çizgi bile varsa — örneğin Beste ile Can kırmızıyla bağlıysa — o zaman Ali, Beste ve Can kırmızı bir üçgen oluşturur: işte üç tanıdık. Eğer aralarında hiç kırmızı yoksa, o hâlde Beste, Can ve Deniz üçü de birbirine maviyle bağlıdır: işte mavi bir üçgen, üç yabancı. Her iki durumda da tek renkli bir üçgen kaçınılmazdır.

Ramsey Sayıları

Matematikçiler bu fikri sayısallaştırır. Ramsey sayısı $R(m, n)$, "kırmızı bir $m$'li grup ya da mavi bir $n$'li grup bulunmasını garanti eden en küçük kişi sayısı" demektir. Az önce kanıtladığımız sonuç şudur:

$R(3, 3) = 6$

Yani $6$ kişi yeter ve gerektir; $5$ kişiyle kaçınmak mümkündür ama $6$ ile asla. Peki ya daha büyükleri? İşte şaşırtıcı olan: $R(4,4) = 18$ olduğu bilinir, ama $R(5,5)$'in değeri bugün bile bilinmiyor — yalnızca $43$ ile $46$ arasında bir yerde olduğu gösterilebilmiştir.

Ünlü matematikçi Paul Erdős'ün bu konuda meşhur bir benzetmesi vardır: Eğer uzaylılar dünyayı yok etmekle tehdit edip $R(5,5)$'i istese, tüm matematikçileri ve bilgisayarları seferber edip bulmaya çalışmalıyız. Ama $R(6,6)$'yı isteselerdi, onlarla savaşmaya kalkmak daha akıllıca olurdu — o kadar zor bir hesap.

Neden Bu Kadar Derin?

Ramsey teorisi, sezgiye aykırı bir gerçeği matematikselleştirir: rastgelelik bir yere kadardır. Sistemi yeterince büyütürseniz, tamamen kaçmaya çalıştığınız düzen kendiliğinden belirir. Bu fikir; sayılar teorisinde (aritmetik diziler), bilgisayar bilimlerinde (ağ tasarımı) ve hatta iletişim sistemlerinde karşımıza çıkar.

Ramsey teorisi, evrenin küçük ama derin bir kuralını fısıldar: yeterince büyük hiçbir şey tam anlamıyla düzensiz olamaz. Kaosun içinden, isteseniz de istemeseniz de, düzen sızar. Belki de matematiğin en şiirsel teoremlerinden biri budur.