F - |LIS| = 3---多个约束条件的dp（难）

题目链接

题解传送门

#include <iostream>
using namespace std;
const int N = 1010,mod=998244353;
int f[N][12][12][12];
//f[i][a][b][c] 前i项的序列中长度为1，2，3的最长上升子序列中结尾最小值为a,b,c的数量 
signed main()
{
	int n,m;
	cin>>n>>m;
	f[0][m+1][m+1][m+1]=1;
	for(int i=1;i<=n;i++)
	{
		for(int a=1;a<=m+1;a++)
		{
			for(int b=a;b<=m+1;b++)
			{
				for(int c=b;c<=m+1;c++)
				{
					for(int x=1;x<=a&&x<=m;x++)(f[i][x][b][c]+=f[i-1][a][b][c])%=mod;
					for(int x=a+1;x<=b&&x<=m;x++)(f[i][a][x][c]+=f[i-1][a][b][c])%=mod;
					for(int x=b+1;x<=c&&x<=m;x++)(f[i][a][b][x]+=f[i-1][a][b][c])%=mod; 
				}
			}
		}
	}
	int res=0;
	for(int a=1;a<=m;a++)
		for(int b=a+1;b<=m;b++)
			for(int c=b+1;c<=m;c++)
				(res+=f[n][a][b][c])%=mod;
	cout<<res<<endl;
}