link

先$\mathfrak{a_i=a_i-1,b_i=b_i-1}$

顯然數比較少的那一列，每個數都應該屬於不同的被運算元集合 考慮上面那一列怎麼做。

$\mathfrak{ab}$ $\mathfrak{cd}$ 不拆，$\mathfrak{(a+b)(c+d)=ac+bc+ad+bd}$ 拆，$\mathfrak{ac+bd}$。 $\cdots$

可以發現不拆總會比拆答案要大

要用$\mathcal{DP}$

#include<cstdio>
#include<cstdlib>
#include<iostream>
#include<algorithm>
using namespace std;
int N,M;
long long A[2005]={},B[2005]={};
long long F[2005][2005]={};
int main()
{
	cin>>N>>M;
	for(int i=1;i<=N;++i)cin>>A[i],--A[i];
	for(int i=1;i<=M;++i)cin>>B[i],--B[i];
	for(int i=0;i<=N;++i)
	for(int j=0;j<=M;++j)
	F[i][j]=2147483647147483647ll;
	F[0][0]=0;
	for(int i=1;i<=N;++i)
	for(int j=1;j<=M;++j)
	F[i][j]=min(min(F[i][j-1],F[i-1][j]),F[i-1][j-1])+A[i]*B[j];
	cout<<F[N][M];
	return 0;
}