codeforces 贪心+优先队列_在打CodeForces的过程中发现的一个小模型

最新推荐文章于 2023-11-08 09:20:31 发布

最新推荐文章于 2023-11-08 09:20:31 发布 · 104 阅读

文章标签：

#codeforces 贪心+优先队列 #找出给定的n个数中的最大值和最小值 #找出给定的n个数中的最大值和最小值。 #找数组中与其他数绝对值差和最小的数 #用数组求一个数的各个位数

本文介绍了一种用于解决特定类型编程竞赛问题的有效模型，并提供了两个实例应用，包括如何通过优化算法将复杂度从指数级降低到线性级。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

不久前的Grakn Forces 2020上，我想出了这个方法，我本来以为这个模型不会很常见。然而，今天的CodeForces #679 Div2上，我第二次碰到了可以用这个模型解决的问题，气人的是，这次我却在代码细节上写挂了，最终掉分，愤而决定当作模板记录下来，以免再犯。

问题

有

个有序对

，对于每个有序对，可以选择将

加入集合

或将

加入集合

，试最小化

。（规定

）

算法

首先注意到对于

和

，如果在

的同时有

，那么就可以舍弃

。于是可以将有序对以

为第一关键词、

为第二关键词排序，这样可以保证

是随

单调不减的：

显然，

应该随

单调减。如何保证呢？注意到最后一个有序对肯定要保留，所以我们只需要从后往前遍历，划掉破坏

单调性的元素即可：

当然，在编程中，删除数组中的元素还是太浪费时间了，我们转而把无需删除的有序对加入一个新的数组。只不过，因为我们是从后往前遍历，这样会导致顺序颠倒过来。

这时我们发现，如果我们选了某个

，那么可以无代价地选择它

下方的所有

；如果我们选了某个

，那么可以无代价地选择它

上方的所有

。相当于，我们只需要选择左边的

开头和右边的结尾，而且它们应该是相邻的：

这样一来，我们一共就只有

种选法了（

为新数组的长度），把原来的指数级问题降成了线性。

代码

int minsum(vector<pair<int, int>> &V)
{
    if (V.empty())
        return 0;
    sort(V.begin(), V.end());
    vector<pair<int, int>> U{V[V.size() - 1]};
    for (int i = V.size() - 2; i >= 0; --i)
        if (V[i].second > U[U.size() - 1].second)
            U.push_back(V[i]);
    int mi = min(U[0].first, U[U.size() - 1].second);
    for (int i = 0; i < U.size() - 1; ++i)
        mi = min(mi, U[i].second + U[i + 1].first);
    return mi;
}