| 14 | } |
| 15 | |
| 16 | void check(int n) { |
| 17 | vi arr(n); |
| 18 | rep(i,0,n) arr[i] = rng() % 100; |
| 19 | |
| 20 | mem.clear(); |
| 21 | int mx = 0; |
| 22 | rep(i,0,n) { |
| 23 | mx = max(mx, lis_dp(arr, i)); |
| 24 | } |
| 25 | |
| 26 | vi res = lis(arr); |
| 27 | assert_equal(mx, (int)res.size()); |
| 28 | rep(i,1,res.size()) { |
| 29 | assert_true(arr[res[i-1]] < arr[res[i]]); |
| 30 | } |
| 31 | } |
| 32 | |
| 33 | void test() { |
| 34 | check(0); |
no test coverage detected