【洛谷】P4447 分组

题目描述

#[AHOI2018初中组] 分组

题目描述

小可可的学校信息组总共有 $n$ 个队员，每个人都有一个实力值 $a_i$。现在，一年一度的编程大赛就要到了，小可可的学校获得了若干个参赛名额，教练决定把学校信息组的 $n$ 个队员分成若干个小组去参加这场比赛。

但是每个队员都不会愿意与实力跟自己过于悬殊的队员组队，于是要求分成的每个小组的队员实力值连续，同时，一个队不需要两个实力相同的选手。举个例子：$[1,2,3,4,5]$ 是合法的分组方案，因为实力值连续；$[1,2,3,5]$ 不是合法的分组方案，因为实力值不连续；$[0,1,1,2]$ 同样不是合法的分组方案，因为出现了两个实力值为 $1$ 的选手。

如果有小组内人数太少，就会因为时间不够而无法获得高分，于是小可可想让你给出一个合法的分组方案，满足所有人都恰好分到一个小组，使得人数最少的组人数最多，输出人数最少的组人数的最大值。

注意：实力值可能是负数，分组的数量没有限制。

输入格式

输入有两行：

第一行一个正整数 $n$，表示队员数量。
第二行有 $n$ 个整数，第 $i$ 个整数 $a_i$ 表示第 $i$ 个队员的实力。

输出格式

输出一行，包括一个正整数，表示人数最少的组的人数最大值。

思路分析

首先不妨让我们来模拟这个过程，对于如下样例

9
1 2 3 4 4 5 5 5 6 

应有如下的分组过程：

现态	次态
空	1
1	1 2
1 2	1 2 3
1 2 3	1 2 3 4
1 2 3 4	1 2 3 4 4
1 2 3 4 4	1 2 3 4 4 5
1 2 3 4 4 5	1 2 3 4 5 4 5
1 2 3 4 5 4 5	1 2 3 4 5 4 5 5
1 2 3 4 5 4 5 5	1 2 3 4 5 4 5 5 6

总结模拟时的规律可以发现

1. 对于原有序列应该从小到大排序，才能满足贪心条件
2. 当将某个元素添加到分组中时，应该优先后成立的小组（行数靠下一些的，因为这样才能保证元素个数最少的小组元素最多）
3. 也是最重要的一点，在保证1、2两点的前提下，不难发现，每组的最后一个元素一定满足单调递增关系，满足二分条件。

因此，可以用ans[N]存储每组最后一个元素的大小，idx存储组数的多少，从左到右遍历原序列，对于原序列每个取值$x$，二分得到 $x-1$对应的下标，将其更新为$x$，对于无法找到$x-1$的元素，则建立新的组，并将其插入。

实现代码

#include <cstdio>
#include <iostream>
#include <cstring>
#include <algorithm>
#include <map>
#include <queue>
#include <vector>

#define endl '\n'
using namespace std;
const int N = 1e5 + 10;
typedef pair<int, int> PII;
int n, a[N];
PII ans[N];//first存储该组下标的最大值，second存储该组的元素个数
int idx = 0;

int main()
{
    ios::sync_with_stdio(false);
    cin.tie(0);
    cout.tie(0);
    cin >> n;
    for (int i = 1; i <= n; i++)
        cin >> a[i];
    sort(a + 1, a + 1 + n);

    for (int i = 1; i <= n; i++)
    {
        int x = a[i];
        if (idx == 0)
        {
            ans[idx++] = {x, 1};
            continue;
        }
        int l = 0, r = idx - 1;
        while (l < r)
        {
            int mid = l + r + 1 >> 1;
            if (ans[mid].first > x - 1)
                r = mid - 1;
            else
                l = mid;
        }
        if (ans[l].first == x - 1)
        {
            ans[l].first = x, ans[l].second++;
        }
        else
            ans[idx++] = {x, 1};
    }
    int min1 = 0x3f3f3f3f;
    for (int i = 0; i < idx; i++)
    {
        min1 = min(min1, ans[i].second);
    }

    cout << min1 << endl;
    return 0;
}