Testowanie przypuszczenia Beal’a z wykorzystaniem superkomputerów oraz platformy do obliczeń rozproszonych BOINC

Abstract

Praca prezentuje aspekt możliwości testowania przypuszczenia Beal'a (ang. Beal conjecture) z wykorzystaniem zasobów superkomputerowych oraz platformy BOINC (ang. Berkeley Open Infrastructure for Network Computing). Opracowano algorytm poszukujący kontrprzykładu analizowanego problemu matematycznego oraz jego implementację w języku ANSI C. Wykonano testy na takich platformach sprzętowych jak m. in. węzły obliczeniowe superkomputerów IBM BlueGene/P, IBM BlueGene/Q oraz IBM Power 775. Na końcu stworzono projekt rozproszony BealF@Home w oparciu o BOINC (dostępny pod adresem (http://bealf.pl). Zwieńczeniem prac było uruchomienie obliczeń zarówno na superkomputerze ICM, UW „Hydra”, jak i komputerach wolontariuszy.