Kombinatorikus optimalizálási sejtések számítógépes ellenőrzése
| Témavezető: | Madarasi Péter |
| ELTE TTK, Operációkutatási Tsz. | |
| email: | madarasip@staff.elte.hu |
Projekt leírás
A kombinatorikus optimalizálás témakörében számos olyan sejtés van, amelyek évtizedek óta ellenállnak minden bizonyítási kísérletnek. A projekt célja ezek közül néhányat számítógéppel ellenőrizni kis példákon, illetve a bizonyítási kísérleteket számítógépes teszteléssel támogatni. Ehhez szükséges egy-egy kombinatorikus algoritmust implementálni, ami kapcsán lehetőség van bekapcsolódni a LEMON könyvtár fejlesztésébe. A számításigényes futtatásokat az Atlasz nevű szuperszámítógépen végezzük, így elosztott rendszereken való munkában is lehet tapasztalatot szerezni.
A projekt szorosan kapcsolódik az MTA-ELTE Matroidelméleti kutatócsoport munkájához.
Előfeltételek
A sikeres munkához programozói tapasztalat szükséges.