Codeforces Round #410 (Div. 2) D. Mike and distribution 思维+数学

链接：

http://codeforces.com/contest/798/problem/D

题意：

给你两个长度为n的数列a和b，让你选n/2+1个下标，使得2*∑ai>suma,2*∑bi>sumb

题解1：

用一个叫random_shuffle的东西，每次都乱选，然后暴力前n/2+1个。

这种做法真的是毫无人性啊。以后不会的就这么办吧

代码：

ll a[MAXN], b[MAXN], c[MAXN];

int main() {
    ios::sync_with_stdio(false);
    int n;
    cin >> n;
    rep(i, 0, n) c[i] = i;
    ll suma = 0, sumb = 0;
    rep(i, 0, n) cin >> a[i], suma += a[i];
    rep(i, 0, n) cin >> b[i], sumb += b[i];
    while (1) {
        random_shuffle(c, c + n);
        ll A = 0, B = 0;
        rep(i, 0, n / 2 + 1) A += a[c[i]], B += b[c[i]];
        if (2 * A > suma && 2 * B > sumb) break;
    }    
    cout << n / 2 + 1 << endl;
    rep(i, 0, n / 2 + 1) cout << c[i] + 1 << ' ';
    return 0;
}

 

题解2：

首先注意到，选出n / 2 + 1个数，2倍的和大于总和，等价于选出n / 2 + 1个数，总和大于剩下的数。

因为可以取n / 2 + 1个，那么先对A排序，B不动，先把A[1]选了（这个是用在证明A数组成立用的），A【1】是当前A中最大的了。当然了也选了一个B，就是选了B[A[1].id]，

然后每两个做一pair，选一个比较大的B，也就是max(B[A[i].id], B[A[i + 1].id])

这样，B数组是满足的，这很容易证明，因为没一对中，都选了一个较大的。然后加上第一个，总和肯定大于剩下 的。

也就是

max(b[1], b[2]) >= min(b[1], b[2])

max(b[3], b[4]) >= min(b[3], b[4])

max(b[5], b[6]) >= min(b[5], b[6])

那么全部相加，不等号方向不变。而且开头还有一个b[A[1].id]加了进来，所以是严格大于的。

 

再来看看A的证明。

第一是选了a[1]

然后选a[2]和a[3]的那个呢？不固定的，还要看B，但是不管，有以下不等式。

a[1] >= any(a[2], a[3])

any(a[2], a[3]) >= any(a[4], a[5])

any(a[4], a[5]) >= any(a[5], a[6])

也就是，你选了一个a[1]，然后a[2]和a[3]选那个是没关系的，可以用a[1]和它比较，然后又因为选了any(a[2], a[3])，那么你a[4]和a[5]选那个是没所谓的，因为可以用any(a[2], a[3])和它比较。

最后，any(a[n - 1], a[n]) > 0，所以是严格大于的。

代码：

struct Node {
    int id, a, b;
    bool operator <(const Node &t) const {
        return a > t.a;
    }
}p[MAXN];

int main() {
    ios::sync_with_stdio(false);
    int n;
    cin >> n;
    VI ans;
    rep(i, 0, n) p[i].id = i;
    rep(i, 0, n) cin >> p[i].a;
    rep(i, 0, n) cin >> p[i].b;
    sort(p, p + n);
    ans.pb(p[0].id);
    for (int i = 1; i < n; i += 2) {
        int t = p[i].id;
        if (p[i].b < p[i + 1].b) t = p[i + 1].id;
        ans.pb(t);
    }
    cout << ans.size() << endl;
    rep(i, 0, ans.size()) cout << ans[i] + 1 << ' ';
    return 0;
}