leetcode956. 最高的广告牌（困难）

思路一：暴力，每个元素有三种选择（假设有有两组，一边高‘+’ 一边低‘-’）：+ - 不选，因此可以考虑用暴力dfs，每层有三个分支，然而，O(3^20)的复杂度肯定是会超时的，O(3 ^15)的话还差不多。。。

思路二：dp
刚开始的想法：感觉有点像 leetcode494.目标和（中等）
https://blog.csdn.net/zhangjiaji111/article/details/122262922
这道题，然而：那道题是分两组（+ -）这道题是分三组（+ - 不用），所以这道题找不到跟sum的关系。

1.这道题状态怎么定义？
当选择一个广告牌后，会修改‘+’组和‘-’组的总和，如果将状态定义为：dp[i][左边和][右边和]
的话， dp 20 * 5000 * 5000在空间上就炸了
由于我们需要考虑的是状态中两边差的绝对值，公共的最大高度
因此我们在状态中记录两边差的绝对值 和 公共的最大高度。
因此状态为：dp[i][j]，表示前i个元素，两边差的绝对值为j，值表示最大公共高度。

2.状态转移方程怎么得到？
当加入i 位置的元素后（dp[i-1][j]影响到的状态如下：）
不放：dp[i][j]=dp[i-1][j]
放高的一边（绝对值会增加rods[i]，所以会影响到dp[i][j+rods[i]]）：dp[i][j+rods[i]]=max(dp[i-1][j],dp[i][j+rods[i]])
放低的一边（绝对值j会变为abs(rods[i]-j)，所以会影响到dp[i][abs(rods[i]-j)]）：
dp[i][abs(rods[i] - j)] = max(dp[i - 1][j] + min(rods[i], j), dp[i][abs(rods[i] - j)])

3：ans：dp[n-1][0]

4.如何初始化？
dp[-1][0]是0，其他是-1，表示当前不存在，如果为0的话则表示已经存在一个j，显然不符合。

class Solution {
public:
    int tallestBillboard(vector<int>& rods) {
        
        int n = rods.size(), sum = accumulate(rods.begin(), rods.end(), 0);
        vector<int> dp(sum + 1, -1); //除了[0] 其他都初始化为-1
        dp[0] = 0;
        for (int i = 0; i < n; ++i) { 
            vector<int> pre(dp);
            for (int j = 0; j <= sum; ++j) {
                if (pre[j] == -1) continue; //如果当前无效值，则直接跳过
                if (j + rods[i] <= sum) {
                    dp[j + rods[i]] = max(pre[j], dp[j + rods[i]]);
                }
                dp[abs(rods[i] - j)] = max(pre[j] + min(rods[i], j), 
                                            dp[abs(rods[i] - j)]);
            }
        } 
        return dp[0];
    }
};

难点：
1.初始化：都为0的话就错了，dp[0][3]==0的话表示前面已经出现过3了，然而还并没有，所以不合理，正确的做法是设置一个无效的值（abs不可能出现的值，这里为-1），之后遇到该无效值的话直接continue