P6771 [USACO05MAR] Space Elevator 太空电梯 題解

[USACO05MAR] Space Elevator 太空电梯

题目描述

奶牛们要去太空了！它们打算用方块建造一座太空电梯。现在它们有 $N$ 种方块，第 $i$ 种方块有一个特定的高度 $h_i$，一定的数量 $c_i$。为了防止宇宙射线破坏方块，第 $i$ 种方块的任何部分不能超过高度 $a_i$。
请用这些方块堆出最高的太空电梯。

输入格式

第一行，一个整数 $N$；
第二行到 $N+1$ 行，第 $i+1$ 行三个整数 $h_i,a_i,c_i$，数字之间用空格分隔。

输出格式

共一行，一个整数，为太空电梯的高度。

样例 #1

样例输入 #1

3
7 40 3
5 23 8
2 52 6

样例输出 #1

48

提示

对于 $100\%$ 的数据：$1\le N\le 400$，$1\le h_i\le 100$，$1\le c_i\le 10$，$1\le a_i\le 4\times 10^4$。

解决方案：

对于这道题，首先想到贪心（因为有“最高”字眼）。但很明显不能使用贪心。

贪心算法在解决此类问题时，通常会采取选择局部最优解的策略，以期望这些局部最优解能构成全局最优解。然而，在某些情况下，贪心算法可能不会得到正确的结果，尤其是在需要考虑多个变量和条件时。

对于这道题目，我们不能保证使用贪心算法能得到正确答案，原因如下：

1. 选择的局部最优解不一定能保证整体最优：在构建太空电梯的过程中，选择每个方块的最优高度（即不超出其安全高度）是重要的。但是，贪心算法可能会导致在某些情况下，选择的方块组合无法达到或接近最大高度。

2. 缺乏全局最优解的考虑：贪心算法通常不会考虑远期的影响，也就是选择的当前方块可能影响到后续的选择。在太空电梯的问题中，需要考虑不同方块组合后的总高度，而不仅仅是单个方块的最大高度。

3.限制条件：题目中提到的方块有一定的安全高度限制，这意味着在构建过程中需要合理规划，确保使用的方块不会在堆叠过程中超过安全高度。贪心算法可能无法妥善处理这些限制条件。

为了得到太空电梯的最大高度，需要考虑整体的高度组合，使用类似动态规划的方法来确保在满足安全高度限制的同时，达到最大的堆叠高度。

So，这道题的正确解法是：

还是dp

状态表示

设f[i,j]表示前i种方块能否达到j高度。

状态转移方程

由于f是bool类型的，所以只要f[i-1][j-k*block[i].h]（$k\in [1,block[i].c]$）之中有一个是true，则f[i][j]为true

把f压维后，得出状态转移方程：
$$f[j]|=f[k-block[i].h]$$

code

#include<bits/stdc++.h>
#define endl '\n'
using namespace std;
/*數據對象*/
const int N=405;
const int H=4e4+5;
int n;
struct Block{
    int h,a,c;
    void input(){
        scanf("%d%d%d",&h,&a,&c);
    }
    bool operator<(const Block&y)const{//按a從小到大排序
        return a<y.a;
    }
}block[N];
bool f[H];//表示能否拼成高度j
/*main*/
int main(){
    scanf("%d",&n);
    for(int i=1;i<=n;i++){
        block[i].input();
    }
    f[0]=true;
    sort(block+1,block+n+1);
    for(int i=1;i<=n;i++){
        for(int j=1;j<=block[i].c;j++){
            for(int k=block[i].a;k>=block[i].h;k--){
                f[k]|=f[k-block[i].h];//轉移方程
            }
        }
    }
    for(int i=block[n].a;i>=0;i--){
        if(f[i]){
            printf("%d\n",i);
            break;
        }
    }
    return 0;//古德拜
}