## Problem Statement

Given a number sequence, find the length of its Longest Increasing Subsequence (LIS). In an increasing subsequence, all the elements are in increasing order (from lowest to highest).

**Example 1:**

```
Input: {4,2,3,6,10,1,12}
Output: 5
Explanation: The LIS is {2,3,6,10,12}.
```

**Example 1:**

```
Input: {-4,10,3,7,15}
Output: 4
Explanation: The LIS is {-4,3,7,15}.
```

**Constraints:**

`1 <= nums.length <= 2500`

- -10<sup>4</sup> <= nums[i] <= 10<sup>4</sup>

## Basic Solution

A basic brute-force solution could be to try all the subsequences of the given number sequence. We can process one number at a time, so we have two options at any step:

- If the current number is greater than the previous number that we included, we can increment our count and make a recursive call for the remaining array.
- We can skip the current number to make a recursive call for the remaining array.

The length of the longest increasing subsequence will be the maximum number returned by the two recurse calls from the above two options.

### Code

Here is the code:

The time complexity of the above algorithm is exponential O(2^n), where 'n' is the lengths of the input array. The space complexity is O(n) which is used to store the recursion stack.

## Top-down Dynamic Programming with Memoization

To overcome the overlapping subproblems, we can use an array to store the already solved subproblems.

The two changing values for our recursive function are the current and the previous index. Therefore, we can store the results of all subproblems in a two-dimensional array. (Another alternative could be to use a hash-table whose key would be a string (currentIndex + "|" + previousIndex)).

### Code

Here is the code:

**What is the time and space complexity of the above solution?** Since our memoization array `dp[nums.length()][nums.length()]`

stores the results for all the subproblems, we can conclude that we will not have more than N*N subproblems (where 'N' is the length of the input sequence). This means that our time complexity will be O(N^2).

The above algorithm will be using O(N^2) space for the memoization array. Other than that we will use O(N) space for the recursion call-stack. So the total space complexity will be O(N^2 + N), which is asymptotically equivalent to O(N^2).

## Bottom-up Dynamic Programming

The above algorithm tells us two things:

- If the number at the current index is bigger than the number at the previous index, we increment the count for LIS up to the current index.
- But if there is a bigger LIS without including the number at the current index, we take that.

So we need to find all the increasing subsequences for the number at index 'i', from all the previous numbers (i.e. number till index 'i-1'), to eventually find the longest increasing subsequence.

If 'i' represents the 'currentIndex' and 'j' represents the 'previousIndex', our recursive formula would look like:

```
if num[i] > num[j] => dp[i] = dp[j] + 1 if there is no bigger LIS for 'i'
```

Let's draw this visually for {-4,10,3,7,15}. Start with a subsequence of length '1', as every number will be a LIS of length '1':

From the above visualization, we can clearly see that the longest increasing subsequence is of length '4' -- as shown by `dp[4]`

.

### Code

Here is the code for our bottom-up dynamic programming approach:

The time complexity of the above algorithm is O(n^2) and the space complexity is O(n).