Уже найденные решения классифицируются.

При этом идёт попытка найти те классы решений, в которых мы ещё решений не проводили

Мы пытаемся найти границы наших решений и посмотреть, в какую сторону мы ещё не ходили.