Зачем в решении для поиска минимум двух подходящих групп используется limit(2)?

Если требуется узнать, есть ли хотя бы две подходящие группы, достаточно получить первые две: LIMIT 2 ограничивает объём результата, не заставляя возвращать все совпадения.

Одна найденная группа означает, что условие ещё не выполнено, две — что выполнено независимо от оставшихся. LIMIT применяют после отбора именно групп, например после GROUP BY и HAVING; ограничение исходных строк может поменять смысл. Экономия вычислений зависит от плана: сортировка или агрегация иногда всё равно требует обработать все входные данные. Без исходного запроса нельзя утверждать, что оптимизатор остановит работу раньше.