MIT araştırmacıları, efsanevi platformcu oyun Super Mario'nun teorik bilgisayar biliminin en karmaşık problemlerini içerdiğini ortaya koydular. Oyunun belirli seviyelerde çözülebilir olup olmadığını belirlemek hiçbir bilgisayarın başaramayacağı kadar zordur.

Oyunun Karmaşıklığını Ölçmek

MIT Bilgisayar Bilimleri Profesörü Erik Demaine ve öğrencileri 14 yıllık araştırma sonucunda Super Mario'nun karmaşıklık sınıflandırmasını revize ettiler. İlk olarak PSPACE sınıfına ait olduğu düşünülen oyun, daha sonra RE-Complete kategorisine yerleştirildi. Bu, oyunun çözümü belirlemek açısından en zor kategoride yer aldığı anlamına geliyor.

Sonsuz Bellek ve Sayaçlar

Demaine'in öğrencileri fan tarafından oluşturulan seviyelerde, oyunda kullanılan canavar ve engel sayısını takip eden sayaç sistemleri geliştirdiler. Canavar sayısında herhangi bir sınır olmadığında, teorik olarak sonsuz belleğe sahip bir makine simüle etmek mümkün hale geliyordu. Bu mekanizm, oyunun hesaplamalı açıdan evrensel bir bilgisayar gibi davranmasını sağlıyor.

Halting Problem ve Paradoks

Araştırmanın temeli, 1936'da Alan Turing tarafından tanımlanan Halting Problem'e dayanıyor. Bu matematiksel paradoks, belirli problemlerin hiçbir bilgisayar tarafından çözülemeyeceğini gösteriyor. Super Mario'nun undecidable (karar verilemez) kategorisine girmesi, oyunun bu problemler kadar temel olarak çözülmez bir yapıya sahip olduğunu ifade ediyor.

Oyun Tasarımında Gadgetler

Demaine'in takımı oyun mekaniklerini parçalara ayırmak için 'gadget' adı verilen teknik kullandı. Kapı gadgeti gibi bileşenler, açık-kapalı durumları temsil ederek doğru-yanlış mantığını simüle ettiler. Bu gadgetleri kombinleyerek, oyunun belirli seviyelerde ne kadar zor problem çözmesi gerektiğini matematiksel olarak kanıtladılar.