Süperpermütasyon Problemi: Bir Anime Forumundan Çıkan Matematik Buluşu

Masum Bir Soru

Diyelim ki üç bölümlük bir diziniz var: $1$, $2$, $3$. Bu bölümleri her olası sırada en az bir kez izlemek istiyorsunuz. Toplam $6$ farklı sıralama (permütasyon) var: $123$, $132$, $213$, $231$, $312$, $321$.

En tembel yol, altı sıralamayı uç uca eklemek olurdu: $123\,132\,213\,\dots$ — bu $6 \times 3 = 18$ bölüm uzunluğunda olur. Ama akıllıca davranıp örtüşmelerden yararlanabilirsiniz. Örneğin $123$ izledikten sonra, sadece bir $1$ ekleyip $1231$ yaparsak, içinde hem $123$ hem de $231$ sıralamaları gizlidir. Bu mantıkla devam edince, üç bölüm için tüm sıralamaları içeren en kısa dizi sadece $9$ bölüm uzunluğundadır:

$123121321$

Bu tür "tüm permütasyonları içinde barındıran en kısa diziye" süperpermütasyon denir. Ve "en kısası ne kadar olur?" sorusu, bölüm sayısı arttıkça şaşırtıcı derecede zorlaşır.

Beklenmedik Bir Kaynak: Anime Forumu

İşte bu hikâyenin en sıra dışı yanı. Haruhi Suzumiya'nın Melankolisi adlı Japon animesinin bir sezonu, internette ünlü bir tartışmaya yol açmıştı: bölümler farklı sıralarda izlenebiliyordu ve hayranlar "hepsini her sırada izlemek için en kısa yol nedir?" diye merak etti. Bu, $14$ bölüm için bir süperpermütasyon sorusuydu.

$2011$'de, bir anime forumunda (4chan) isimsiz bir kullanıcı, bu tür süperpermütasyonların en az ne kadar uzun olması gerektiğine dair bir alt sınır ispatı yazdı. Yıllar sonra matematikçiler bu anonim gönderiyi fark etti ve onun aslında ciddi, geçerli ve o güne dek bilinmeyen bir matematiksel sonuç olduğunu anladı. Yani kombinatorikteki gerçek bir teoremin ilk ispatı, ismini bile bilmediğimiz bir forum kullanıcısına aitti.

Hikâyenin Diğer Yarısı

Aynı dönemde, bilim kurgu yazarı Greg Egan problemin diğer ucunu ilerletti: o güne kadar bilinenden daha kısa süperpermütasyonlar inşa etmenin bir yolunu buldu — yani bir üst sınır sağladı. Bir alt sınır "bundan kısası imkânsız" der; bir üst sınır "işte bu kadar kısası mümkün" der. İkisi birleşince, gerçek cevabın hangi aralıkta olduğunu daraltırız.

Anonim 4chan kullanıcısının alt sınırı ile Egan'ın üst sınırı, bu uzun süredir açık olan problemde aynı anda ileri adımlar oldu — biri amatör bir forumdan, diğeri ünlü bir romancıdan. Bu beklenmedik ikili, matematik dünyasında geniş yankı buldu.

Neden Bu Kadar Zor?

Permütasyon sayısı, bölüm sayısıyla birlikte faktöriyel hızında patlar. $n$ bölüm için $n!$ farklı sıralama vardır; $14$ bölüm için bu, $87$ milyardan fazla sıralama demektir. Tüm bu sıralamaları içinde barındıran en kısa diziyi bulmak, devasa bir optimizasyon problemidir ve bilinen kesin formüller yalnızca küçük $n$ değerleri için vardır. Daha büyük $n$'ler için bugün hâlâ yalnızca alt ve üst sınırlar arasında sıkıştırılmış tahminlerimiz var; kesin değer bilinmiyor.

Asıl Ders

Süperpermütasyon hikâyesi, modern matematiğin değişen yüzünü gösterir. Bir zamanlar keşifler yalnızca üniversite kürsülerinden gelirken, bugün ciddi bir matematiksel katkı bir anime forumundan, anonim bir kullanıcıdan çıkabiliyor. İnternet, problemleri ve meraklı zihinleri benzeri görülmemiş biçimde buluşturuyor.

Süperpermütasyon problemi, "tüm sıraları en kısa nasıl gezeriz?" gibi çocukça basit bir sorunun nasıl yıllarca matematikçileri uğraştırabileceğini gösterir. Ama asıl güzelliği, çözümün geldiği yerdir: bazen büyük fikirler en beklenmedik kapılardan, hatta ismini hiç öğrenemeyeceğimiz birinden gelir.