Решение:
Т. к среди любых 12 грибов хотя бы один – рыжик, то груздей
не больше 11. Так как среди любых 20 грибов хотя бы один – груздь, то
рыжиков не больше 19. А так как всего в корзине 30 грибов, то груздей
ровно 11, а рыжиков ровно 19.
Ответ: 11 груздей и 19 рыжиков.