【Effect CodeForces - 270D】Greenhouse （思维，最长非递减子序列，对偶问题，考虑反面）