Question

是否有算法确定具有精确重量W的背包？即这就像正常的0/1背包问题，n个项目各有权重w_i和值v_i。最大化所有物品的价值，但背包中物品的总重量需要具有正确的重量W ！

我知道“普通”0/1背包算法，但这也可以返回一个重量更轻但价值更高的背包。我想找到最高值，但确切的W重量。

这是我的0/1背包实施：

public class KnapSackTest {
    public static void main(String[] args) {
        int[] w = new int[] {4, 1, 5, 8, 3, 9, 2};  //weights
        int[] v = new int[] {2, 12, 8, 9, 3, 4, 3}; //values

        int n = w.length;
        int W = 15; // W (max weight)

        int[][] DP = new int[n+1][W+1];

        for(int i = 1; i < n+1; i++) {
            for(int j = 0; j < W+1; j++) {
                if(i == 0 || j == 0) {
                    DP[i][j] = 0;
                } else if (j - w[i-1] >= 0) {
                    DP[i][j] = Math.max(DP[i-1][j], DP[i-1][j - w[i-1]] + v[i-1]);
                } else {
                    DP[i][j] = DP[i-1][j];
                }
            }
        }
        System.out.println("Result: " + DP[n][W]);
    }
}

这给了我：

Result: 29

（请问我的问题中是否有任何不清楚的地方！）

Answer 1

只需在上一个DP[i][j] = -infinity子句中设置else即可。

它背后的想法是稍微改变递归公式定义来计算：

使用完全权重j直到项目i找到最大值。

现在，感应假设会发生变化，正确性证明与常规背包非常相似，具有以下修改：

DP [i] [j-weight [i]]现在是可以使用j-weight[i]构建的最大值，您可以选择项i，给出值{{1 }或者不接受它，给出DP[i][j-weight[i]]的值 - 这是在使用第一个DP[i-1][j]项时精确加权j时的最大值。

请注意，如果由于某种原因无法构造i-1，则永远不会使用它，因为在查找MAX时，-infinity值总是会被丢弃。

Answer 2

实际上，接受的答案是错误的，正如@Shinchan在评论中发现的那样。

仅更改初始dp状态，而不更改算法本身即可获得精确的重量背包。

初始化，而不是：

            if(i == 0 || j == 0) {
                DP[i][j] = 0;
            }

应为：

            if (j == 0) {
                DP[i][j] = 0;
            } else if (i == 0 && j > 0) { // obviously `&& j > 0` is not needed, but for clarity
                DP[i][j] = -inf;
            }

其余的问题与您一样。

背包但确切的重量

2 个答案: