dp(LIS)