Matematika

Projekt yoyo@home umožňuje niekoľkým ďalším už existujúcim distribuovaným projektom ich začlenenie do frameworku BOINC pomocou BOINC wrapper technológie.

Projekt Ramsey@Home sa zaoberá Ramseyho teóriou. Základom tejto teórie je myšlienka hľadania usporiadania v náhodných konfiguráciách.

Typický výsledok v Ramseyho teórii začína s určitou matematickou štruktúrou, ktorá sa rozdelí na menšie časti. Otázka znie: aká veľká musí byť pôvodná štruktúra, aby aspoň jedna jej časť mala určenú zaujímavú vlastnosť?

Názorným príkladom je princíp holubníka: vieme, že n holubov býva v m priehradkach holubníka. Aké veľké má byť číslo n aby sme si boli istí že aspoň jedna priehradka obsahuje aspoň dvoch holubov?

SZTAKI Desktop Grid je architektúra otvorená výpočtom, ktoré môžu využívať vedci zaoberajúci sa rôznymi problémami, v súčasnosti však prevádzkuje len dva výskumné projekty.

Rectilinear Crossing Number je matematický projekt, ktorý sa snaží vyriešiť rôzne výpočtové a kombinačné problémy vychádzajúce z konečného počtu bodov v Euklidovej rovine.

Sem patrí niekoľko problémov z teórie grafov, v ktorých spojnice medzi akýmikoľvek dvoma bodmi sú priame (pod pojmom graf v tomto prípade rozumieme abstraktné znázornenie skupiny objektov, kde niektoré z nich sú navzájom spojené).

Základná otázka znie: aký je najmenší počet priesečníkov v grafe, ktorý vznikol vzájomným prepojením všetkých n bodov v rovine priamymi spojnicami? Uvažujeme všeobecné rozloženie bodov v rovine, kde tri rôzne body neležia na jednej priamke.