NC19158失衡天平

思路：dp

可以证明分几次拿的东西是可以一次性拿完的，简单证明一下拿两次，设x,y<m，假设第一次拿a,a+x,第二次拿b,b+y，可以一次拿a+b+x,a+b+y
如何写转移方程？我们关心的是武器重量，重量差值，还要有一个递推的i，

dp[i][j]表示前i次个物品里选物品重量差值不大于j的最大重量和

有转移方程dp[i][j] = max(dp[i-1][j],dp[i-1][abs(j-a[i])],dp[i-1][j+a[i]])

对于当前第i个物品我们有选和不选两种选择dp(i-1,j)表示不选的最大重量，dp(i-1,j+a[i])表示将a[i]放在dp(i-1,j+a[i])状态时天平重量少的一端，使得原来的重量差值变小，dp(i-1,abs(j-a[i]))表示将a[i]放在dp(i-1,j-a[i])状态时天平重的一端，使得天平两段重量差值更大，由于j-a[i]会出现负值，需要加绝对值，由于第二维的意思表示的差值所以肯定为正，且负值是可以去更新正值的（这个地方还是需要想一下的），因为天平两段物品互换一下是等效的 = =。

#pragma GCC optimize(2)
#define _CRT_SECURE_NO_WARNINGS
#include <iostream>
#include <cstring>
#include <cmath>
#include <cstdio>
#include <cstdlib>
#include <algorithm>
#include <map>
#include <vector>
#include <queue>
#include <set>
using namespace std;
#define _for(i,a,b) for(int i=(a) ;i<=(b) ;i++)
#define _rep(i,a,b) for(int i=(a) ;i>=(b) ;i--)
#define mst(v,s) memset(v,s,sizeof(v))
#define pb push_back
#define IOS ios::sync_with_stdio(false)
#define int long long
#define inf 0x3f3f3f3f
#define INF 0x3f3f3f3f3f3f3f3f
#define ls p<<1
#define rs p<<1|1
#define lson p<<1,l,mid
#define rson p<<1|1,mid+1,r
#define sf scanf
typedef long long ll;
typedef unsigned long long ull;
const int N = 1e6 + 10;
int dp[105][10100];//前i物品中选则重量差在j内的最大物品个数
//可以01滚动
int a[110];
int n, m;
signed main(void)
{
    //!!!
    //freopen("data.txt", "r", stdin);
    //!!!
    IOS;
    cin >> n >> m;
    int sum = 0;
    _for(i, 1, n)
    {
        cin >> a[i];
        sum += a[i];
    }
    mst(dp, -0x3f);//一开始要赋值为负无穷
    //防止从前面未出现过的状态转移
    dp[0][0] = 0;
    _for(i, 1, n)
    {
        _for(j, 0, sum)
        {
            dp[i][j] = max(dp[i - 1][j + a[i]], dp[i - 1][abs(j - a[i])]) + a[i];//当前i物品选
            dp[i][j] = max(dp[i][j], dp[i - 1][j]);//当前i物品不选
        }
    }
    ll ans = 0;
    _for(i, 0, m) ans = max(ans, dp[n][i]);
    cout << ans << endl;
}