Подумайте, как можно выразить условие "Каждого из K видов деревьев требуется сохранить хотя бы по одному экземпляру"? Как поддерживать выполнение этого условия при уменьшении размера отрезка?