數組單調遞減子序列中的最長值

計蒜客上的一個題目，把別人的代碼copy過來，加上了自己的註釋。

題目：給定一個不超過5000個數的序列，每個數不超過32位帶符號長整型，求序列嚴格單調遞減子序列中的最長序列長度，如果有多個這樣的序列，輸出序列值不重複的總個數。

package lianxi_1;

import java.math.BigInteger;
import java.util.HashSet;
import java.util.Scanner;
import java.util.Set;

public class Exercise_15 {
	public static void main(String[] args) {
		Scanner sc = new Scanner(System.in);
		int n = sc.nextInt();
		long[] arr = new long[n];
		long[] dp = new long[n];// dp[j]表示從0到j最長的遞減序列長度
		BigInteger[] size = new BigInteger[n];// size[i]表示以arr[i]爲末端的遞減序列個數（相同序列值的不算）
		for (int i = 0; i < n; i++)
			arr[i] = sc.nextLong();
		long max = 0;
		for (int i = 0; i < n; i++) {
			dp[i] = 1;
			size[i] = new BigInteger("0");
			for (int j = 0; j < i; j++) {
				if (arr[j] > arr[i]) {
					// 這個意思是第一次arr[j]>arr[i]後，判斷通過dp[i]+1
					// 那麼第二次dp[j]至少得爲2，纔會有2+1>2
					// 而dp[j]要爲2，必須建立在之前的arr[k]>arr[j]上
					// 這樣就構成了arr[k]>arr[j]>arr[i]，此時dp[i]=3
					if (dp[j] + 1 > dp[i])
						dp[i] = dp[j] + 1;
				}
			}
			// 更新max
			if (dp[i] > max)
				max = dp[i];
			if (dp[i] > 1) {
				Set<Long> set = new HashSet<>();
				for (int j = i - 1; j >= 0; j--) {
					// 第一個條件表示遞減，第二個表示長度必須是dp[i]-1，因爲序列的長度是一個個加起來的，第三個表示不能取重複值
					if (arr[j] > arr[i] && dp[j] == dp[i] - 1 && !set.contains(arr[j])) {
						set.add(arr[j]);
						size[i] = size[i].add(size[j]);// size[i]初始爲0，找到一個j，就把對應的數目加起來
					}
				}
			}
			// 前面的數都小於或等於arr[i]
			else {
				size[i] = new BigInteger("1");
			}
		}
		BigInteger nums = new BigInteger("0");
		Set<Long> set = new HashSet<>();
		for (int i = n - 1; i >= 0; i--) {
			// 在上面把以某個arr[i]爲末端的所有最長遞減子序列數目加起來賦給size[i]
			// 所以此時不需要再統計相同末端值的各個情況
			if (dp[i] == max && !set.contains(arr[i])) {
				set.add(arr[i]);
				nums = nums.add(size[i]);
			}
		}
		System.out.println(max + " " + nums.toString());
	}
}