Problem D. Cut Tiles - APAC Test 2015 Round A（贪心）

链接

https://code.google.com/codejam/contest/3214486/dashboard#s=p3

题意

想要得到$N$个地砖，边长为$a_i$的正方形（其中$a_i$都是2的指数次幂）。
目前有的地砖大小是$M \cdot M$的正方形，求问需要多少块$M \cdot M$的地砖才能裁出我们需要的？

思路

贪心。先满足最大的，然后再满足小一点的。但是我不能证明其正确性。
具体做法是：将初始正方形看成$M \cdot M$的长方形，先裁出需要的且边长最大的那个正方形，剩下的形状可以裁成两个长方形，然后对于这两个长方形递归的做该裁剪即可。
如图：

代码

#include <bits/stdc++.h>

using namespace std;

inline int in() {int x; scanf("%d", &x); return x;}
#define pr(x) {cout << #x << ' ' << x << endl;}

const int maxn = 32;
int n, m, side[maxn], cnt = 0;

void Init() {
    memset(side, 0, sizeof(side));
}

void Read() {
    n = in();
    m = in();
    for (int i = 0; i < n; i++) {
        int x = in();
        side[x]++;
    }
}

void DFS(int a, int b) {
    if (a < b) swap(a, b);
    if (a <= 0 || b <= 0)
        return;
    int maxl = log(b) / log(2);
    while (!side[maxl] && maxl >= 0)
        maxl--;
    if (maxl < 0) return;
    side[maxl]--;
    cnt++;
    int t = 1 << maxl;
    DFS(a - t, b);
    DFS(t, b - t);
}

void Solve() {
    int ans = 0;
    for (cnt = 0; cnt < n; ans++) {
        DFS(m, m);
    }
    cout << ans << endl;
    ans = 0;
}

int main() {
    int T = in(), kase = 0;
    while (T--) {
        Init();
        Read();
        printf("Case #%d: ", ++kase);
        Solve();
    }
    return 0;
}