200 TB Boyutuyla Dünya’nın En Büyük Matematik İspatı
Daha önce matematik sınavında bir formülün ispatını yaptınız mı? Yaptıysanız muhtemelen en fazla 2 sayfa sürmüştür. Peki ya size 200 TB’lık ispatı olan bir soru sorulsaydı?
11.06.2016 tarihli yazı 23994 kez okunmuştur.
Haberimizin konusu anlaşıldığı üzere 200 TB’lık ispatı yapılan bir matematik sorusu. Yazımıza başlamadan önce 1 terabaytın dünyanın en uzun romanı olan “Savaş ve Barış” romanının 337,920 tane kopyasına denk geldiğini açıklarsak 200 TB gözünüzde daha rahat canlanabilir. Bundan önce 2014 yılında yayımlanan bir ispat 13 GB boyutu ile rekora sahipti. 200 TB ispatı olduğunu duyunca merak edilen tek şey matematik sorusunun ne olduğu.
Bu problem yıllarca çözülmeye çalışılan, ilk kez Kaliforniyalı bir matematikçi olan Ronald Graham tarafından 1980'lerde ortaya çıkarılan “Boolen Pisagor Üçlüsü” problemidir.
Bu problem yıllarca çözülmeye çalışılan, ilk kez Kaliforniyalı bir matematikçi olan Ronald Graham tarafından 1980'lerde ortaya çıkarılan “Boolen Pisagor Üçlüsü” problemidir.
Problem Pisagor bağıntısı olan a2 + b2 = c2 formülünden yola çıkmıştır. Buradaki a ve b bir üçgenin iki kısa kenarları iken c hipotenüs olarak adlandırılan en uzun kenardır. Problemin temeli her pozitif tam sayının mavi ya da kırmızıya boyanmasını ancak yukarıda verilen Pisagor bağıntısındaki a, b, ve c tam sayılarının aynı renkte olmamasına dayanıyor. Yani Pisagor bağıntısındaki a ve b sayıları mavi, c sayısı kırmızı olabilir ama a, b ve c sayılarının hepsi mavi ya da hepsi kırmızı olamaz.
Graham bu problemi ilk ortaya attığında çözümü için 100 Dolar ödül koymuştu. Fakat bugüne kadar kimse çözememişti. Texas Üniversitesi’nden Marjin Heule, Kentucky Üniversitesi’nden Victor Marek ve Swansea Üniversitesi’nden Oliver Kullman ismindeki üç matematikçi birleşip bu problemi çözmeyi kafalarına koydu. Problem tam sayıların pek çok farklı kombinasyonlarda boyanmasını gerektirse de bu takım bazı teknik ve simetriler ile bilgisayarın yapacağı kombinasyonları filtreleyerek işlem sayısını azaltabildiler. Bu filtreleme ile bilgisayar 1 trilyon deneyi atlayabildi.
800 tane paralel çalışan işlemci 2 gün süren işlemin ardından Teksas Üniversitesi’ndeki Stampede adlı süper bilgisayar problemin çözümü için 200 terabaytlık dosya oluşturdu. Bir başka bilgisayar ise bu işlemi doğrulamak için kullanıldı. İspat tam sayıların böyle renklendirilmesinin 7824 sayısına kadar yapılabilirliğini gösterdi. Bu sayıdan sonra böyle bir renklendirme yapmanın mümkün olmadığı açıklandı. Rekor sahibi dosya bu problemi çözmesine karşın neden böyle bir renklendirmenin mümkün olamadığını söyleyemiyor. 200 TB’lık ispatın da nedenini açıklamak epey bir zor olsa gerek.
Kaynak:
►Sciencealert
YORUMLAR
ANKET
- Dünyanın En Görkemli 10 Güneş Tarlası
- Dünyanın En Büyük 10 Makinesi
- 2020’nin En İyi 10 Kişisel Robotu
- Programlamaya Erken Yaşta Başlayan 7 Ünlü Bilgisayar Programcısı
- Üretimin Geleceğinde Etkili Olacak 10 Beceri
- Olağan Üstü Tasarıma Sahip 5 Köprü
- Dünyanın En İyi Bilim ve Teknoloji Müzeleri
- En İyi 5 Tıbbi Robot
- Dünyanın En Zengin 10 Mühendisi
- Üretim için 6 Fabrikasyon İşlemi
- Enerji Yönetiminde Ölçümün Rolü: Verimliliğe Giden Yol
- HVAC Sistemlerinde Kullanılan EC Fan, Sürücü ve EC+ Fan Teknolojisi
- Su İşleme, Dağıtım ve Atık Su Yönetim Tesislerinde Sürücü Kullanımı
- Röle ve Trafo Merkezi Testlerinin Temelleri | Webinar
- Chint Elektrik Temel DIN Ray Ürünleri Tanıtımı
- Sigma Termik Manyetik Şalterler ile Elektrik Devrelerinde Koruma
- Elektrik Panoları ve Üretim Teknikleri
- Teknik Servis | Megger Türkiye
- Güneş Enerji Santrallerinde Yıldırımdan Korunma ve Topraklama
- Megger Türkiye Ofisi
Aktif etkinlik bulunmamaktadır.