Geometri denince akla çoğu zaman kusursuz çemberler, kesintisiz eğriler ve sonsuza uzanan doğrular gelir. Ayrık geometri ise masaya bir kutu kibrit çöpü, bir avuç nokta ve birkaç çokgen bırakıp şu soruyu sorar: Bunlarla ne kadar karmaşık bir dünya kurabiliriz? Cevap şaşırtıcıdır: Bilgisayar grafiklerinden şehir planlamasına, kristal yapılardan robot hareketlerine kadar modern yaşamın görünmez iskeletlerinden biri bu alanda yükselir.
Sürekliliği kapının dışında bırakmak
Ayrık geometri, uzayı sürekli bir bütün olarak incelemek yerine sonlu ya da sayılabilir nesnelere odaklanır. Nokta kümeleri, çokgenler, çokyüzlüler, kafesler, paketlemeler ve geometrik graflar başlıca oyunculardır. Burada temel mesele yalnızca uzunluk veya açı hesaplamak değildir. Kaç farklı düzenleme mümkündür? Nesneler çakışmadan nasıl yerleştirilir? Bir bölge en az kaç gözlemciyle bütünüyle görülebilir? Yerel kurallar küresel biçimi nasıl belirler? Bu sorular, geometri ile kombinatoriğin el sıkıştığı yerde ortaya çıkar.
Basit bir örnek düşünelim: Düzleme dağılmış yüzlerce noktayı, her konumu en yakın noktaya bağlayacak biçimde bölgelere ayırmak istiyoruz. Ortaya Voronoi diyagramı çıkar. Her bölge, içindeki belirli bir noktaya diğer tüm noktalardan daha yakın konumları kapsar. Cep telefonu baz istasyonlarının hizmet alanları, hastanelerin erişim bölgeleri, hayvanların yaşam sahaları ve hatta çatlakların yayılma desenleri bu yapıyla modellenebilir. Aynı noktaları uygun üçgenlerle bağladığımızda ise Voronoi diyagramının yakın akrabası olan Delaunay üçgenlemesini elde ederiz. Bu yöntem, üç boyutlu modelleme ve arazi haritalamada son derece kullanışlıdır.
Bir resim ne zaman kanıta dönüşür?
Ayrık geometrinin cazibesi, sorularının çocuk oyuncağı kadar kolay görünmesidir. Örneğin bir sanat galerisinin çokgen biçimli planını düşünün. Her duvarı görebilmek için kaç güvenlik görevlisi gerekir? Sanat galerisi teoremi, n köşeli basit bir çokgen için en fazla taban değeriyle n/3 görevlinin yeterli olduğunu söyler. Sonuç kısa görünür; fakat arkasında üçgenleme, renklendirme ve dikkatli bir kombinatorik akıl yürütme vardır. İyi bir şekil sezgi sağlar, ancak kanıt değildir. Çizim, gözümüzü ikna ederken istisnaları gizleyebilir.
Kafes noktaları da benzer bir sürpriz üretir. Köşeleri kareli kâğıdın kesişimlerinde bulunan bir çokgenin alanı, Pick teoremiyle hesaplanabilir: Alan, içerideki kafes noktalarının sayısına, sınırdaki noktaların yarısı eklenip bir çıkarılarak bulunur. Sürekli görünen alanın yalnızca nokta sayarak elde edilmesi neredeyse bir matematik numarasıdır. Fakat bu numara, ayrık ve sürekli dünyaların birbirinden kopuk olmadığını; doğru bakış açısıyla birbirine çevrilebildiğini gösterir.
Paketleme: Boşluğu ne kadar iyi harcarsınız?
Portakalları bir kasaya dizerken farkında olmadan ayrık geometri yaparız. Küre paketleme problemi, eş büyüklükteki kürelerin uzaya en yoğun biçimde nasıl yerleştirileceğini araştırır. İki boyutta madeni paralar, üç boyutta atomlar, daha yüksek boyutlarda ise hata düzelten kodlar aynı düşünce ailesine katılır. İlginç olan şudur: Boyut arttıkça görsel sezgimiz hızla etkisini kaybeder, fakat cebirsel ve algoritmik yöntemler çalışmayı sürdürür. Matematik burada gözün yerine yapısal mantığı koyar.
Ayrık geometri problemlerini çözerken iyi bir yol haritası izlenebilir: Önce nesneleri ve kısıtları açıkça tanımlayın. Ardından küçük örnekler üretip örüntü arayın. Simetriyi, dışbükeyliği ve değişmezleri belirleyin. Problemi bir grafa, doğrusal eşitsizliklere veya sayma problemine dönüştürmeyi deneyin. Son olarak bilgisayar deneylerini kanıtla karıştırmayın; milyonlarca örneğin doğru çıkması, bir sonraki örneğin isyan etmeyeceğini garanti etmez.
Ayrık geometri bize dünyanın yalnızca pürüzsüz eğrilerden oluşmadığını öğretir. Bazen gerçek güç, aradaki boşlukları yok saymakta değil, onları dikkatle saymaktadır. Birkaç nokta, birkaç çizgi ve kesin kurallar; karmaşık sistemleri anlamak için şaşırtıcı derecede yeterlidir. Belki de evrenin büyük sırlarından bazıları sonsuzluğa bakarken değil, sonlu parçaların nasıl yan yana geldiğini incelerken çözülecektir.