Зеленым отмечены синонимы, присутствующие в словаре. Красным отмечены синонимы, отсутствующие в словаре.
Зеленым отмечены антонимы, присутствующие в словаре. Красным отмечены антонимы, отсутствующие в словаре.
Алгоритм был выбран достаточно "в лоб" - получались все подформулы данной формулы (без повторений) и они искались у себя и противника.
Источник: 032847 ICFPC'11 newbie. Part 2. Уминание снежного кома.