C. Chef Monocarp(思维，dp)

C. Chef Monocarp

问题：给出$n$道菜，每道菜有一个预期出锅时间$t_i$，但每分钟只能出一道菜，设第$i$道菜的出锅时间为$T_i$，则会得到$|t_i-T_i|$的不愉悦值，问怎么安排出菜时间，才能使不愉悦值最小，输出最小值。

给出一个引理：
$$\begin{gathered} t_i<t_j且T_i>T_j \\ \Rightarrow \mid t_i-T_i\mid +\mid t_j-T_j\mid >\mid t_i-T_j\mid +\mid t_j-T_i\mid \end{gathered}$$
说明:$T_i$最多到$400$.

因为:$t_i$最多到$200$,$n$最大也是$200$.感性理解一下,最大就是400.

先对每道菜的期望时间排个序。

对第在第$i$个时间点选择第$j$道菜,则第$j+1$道菜只能在时间$i$之后出菜,这样就保证了,无后效性.

然后就确定$dp$状态:

$dp[i][j]$表示第$i$个时间选择前$j$个菜的最小时间.

转移方程:

$dp[i][j]=min(dp[i][j],dp[i-1][j-1]+abs(t_i-i))$

#include<bits/stdc++.h>
using namespace std;
#define int long long
typedef long long ll;
const int N = 4e2+10;
const double eps = 1e-13;
const int inf = 0x7fffffffffffff;
int s[N], dp[N][N];
signed main() {
#ifndef ONLINE_JUDGE 
    freopen("in.txt", "r", stdin);
    freopen("out.txt", "w", stdout);
#endif  
    int t;
    cin >> t;
    while(t--) {
        int n;
        cin >> n;
        for(int i=1; i<=n; i++) {
            cin >> s[i];
        }
        sort(s+1, s+1+n);
        memset(dp, 0x7f, sizeof dp);
        for(int i=0; i<=n; i++) {
            dp[i][0] = 0;
        }
        for(int i=1; i<=400; i++) {
            for(int j=1; j<=n; j++) {
                dp[i][j] = min(dp[i-1][j], dp[i-1][j-1] + abs(s[j]-i));
            }
        }
        cout << dp[400][n] << endl;
    }
    return 0;
}