CF976E Well played!

思路：

参考了http://codeforces.com/blog/entry/59195。

可以证明在最优解中所有的第一种操作都是施加同一个物种上的。那么首先按照hp - dmg对所有物种降序排序，贪心选择前b个进行第二种（赋值）操作。然后枚举所有物种，选择一个进行第一种操作，在所有情况中取最大值。

在选择一个物种进行第一种操作的时候，不要按照(hp << a) - dmg贪心，反例：

3 1 2

20 10

5 1

25 25

实现：

#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
typedef pair<ll, ll> pll;

const int MAXN = 200005;
const ll INF = 0x3f3f3f3f3f3f3f3f;

vector<pll> v;

bool cmp(pll & x, pll & y)
{
    return x.first - x.second > y.first - y.second;
}

int main()
{
    int n, a, b;
    while (cin >> n >> a >> b)
    {    
        v.resize(n);
        ll ans = 0;
        for (int i = 0; i < n; i++) 
        {
            cin >> v[i].first >> v[i].second;
            ans += v[i].second;
        }
        if (!b) { cout << ans << endl; continue; }
        sort(v.begin(), v.end(), cmp);
        int i = 0;
        for ( ; i < v.size(); i++)
        {
            if (v[i].first <= v[i].second) break;
        }
        int pos = min(n, min(i, b));
        ans = 0;
        for (int i = 0; i < pos; i++) ans += v[i].first;
        for (int i = pos; i < n; i++) ans += v[i].second;
        ll maxn = ans;
        for (int i = 0; i < n; i++)
        {
            if (i < pos)
            {
                ll tmp = ans - v[i].first + (v[i].first << a);
                if (tmp > maxn) maxn = tmp;
            }
            else
            {
                ll tmp = ans - v[i].second + (v[i].first << a);
                if (pos && pos == b) tmp += - v[pos - 1].first + v[pos - 1].second;
                if (tmp > maxn) maxn = tmp;
            }
        }
        cout << maxn << endl;
    }
    return 0;
}