Mravci v horolezeckom algoritme - Molnár, Lukáš, 1983- (STU v Bratislave FIIT, 2008)