Автоматизация анализа вычислительной и емкостной сложности алгоритмов на множествах и графах