首先可以分析出來要求單調下降子序列，那麼下一步需要求滿足最長的數量且不能重複，那麼思考一下，能不能在求出最長序列的同時求出滿足此長度不相同的序列呢？
（這種類型題和子字符串匹配比較類似，也是個人認爲noip範圍內最難的一種線性dp）
滿足兩個條件，線性不會產生後效性，開一個數組記錄，那麼就從i位向前找，凡是滿足條件的就加入，凡是遇見相同值且長度相同就將前面的數組清零，這樣講比較模糊，請結合代碼思考。
#include<iostream>
#include<cstdio>
#include<cstring>
#include<iomanip>
#include<cmath>
#include<algorithm>
using namespace std;
int n,a[5001],b[5001],pre[5001];
int dp2[5001];
int main()
{
cin>>n;
for(int i=1;i<=n;++i)
cin>>a[i];
for(int i=1;i<=n;++i)
b[i]=1;
for(int i=1;i<=n;++i)
{
int l=0;
for(int j=1;j<i;++j)
{
if(a[j]>a[i]&&b[j]>l)
l=b[j];
}
b[i]=l+1;
if(b[i]==1) dp2[i]=1;
for(int j=1;j<i;++j)
{
if(a[j]>a[i]&&b[j]+1==b[i]) dp2[i]+=dp2[j];
if(a[j]==a[i]&&b[j]==b[i]) dp2[j]=0;
}
}
int maxx=0;
for(int i=1;i<=n;++i)
if(b[i]>maxx) maxx=b[i];
int ans=0;
for(int i=1;i<=n;++i)
if(maxx==b[i])ans+=dp2[i];
cout<<maxx<<" "<<ans;
return 0;
}