CF2000 A~C 题解
Codeforces Round 967 (Div. 2) A~C 题解(未完待续)
唐完了,B 构造不会,C 交互不会,整场爆切 题喜提 rating 强势上灰!我还会什么?
I. 2001A - Make All Equal
先找出答案的下界。设众数为 ,其出现的次数为 。由于每次操作只能删除一个数,答案不可能小于 。
下面证明这个下界是可以达到的。用 代表所有的非众数,那么在非众数被删光之前,序列可以表示成 之类 与 的连续段交替出现的形式。只需证明一定存在一对相邻元素(这里的相邻指环上的相邻)满足前者小于后者即可。
反证法,如果不存在,则 。由于序列是一个环,所以可以导出 ,这是不可能的,故得证。
II. 2001B - Generate Permutation
我是傻逼,我没做出来这题
先考察满足要求的序列有什么性质。可以发现(事实上,我并没有发现),对于从左往右的打字员来说,假设他已经打出了 ,要打 ,只有 时他才要按一次回车(其中 表示 的下标)。因此他按回车的次数 。
(这里应该模拟一下打字的过程才能更顺理成章地发现这个结论:假设我已经打出了 ,要打 ,我能直接移动然后打出来,还是必须得回车?显然,只有 在 前面时才要回车,这就对应了 。这样想的话,这个结论并不难得出,但是我为什么没想到呢?)
同样的,对于从右往左的打字员,只有 时他才要按一下回车,因此他按回车的次数 。
合法的序列应该满足 。显然,对于 和 ,要么 成立,要么 成立,所以 ,因此 。这就说明 是偶数时一定没有合法方案。
是奇数时,可以手模出许多合法的方案。以 为例,一种好想的思路是:先用一堆降序的数把 给占满,比如 。那么剩下的数必须是升序的,否则会让 变大。直接填进去即可: 就是可行的。(你会发现 是不可行的,因为 这一对让 变大了)。
因此, 是奇数时, 是一个合法的方案。这里用不同颜色区分构造时分别填入的两段。
void solve()
{
int n;
cin >> n;
if((n & 1) == 0)
{
cout << -1 << endl;
return;
}
vector<int> ans(n);
iota(ans.begin(), ans.end(), 1);
reverse(ans.begin() + (n/2), ans.end());
for(int x: ans) cout << x << ' ';
cout << endl;
}
III. 2001C - Guess The Tree
下面是官方题解的思路。我自己想不出来这个做法,所以不知道用什么语言来引入。
把点划分为两个点集 和 , 中的点是知道其内部边集的点, 中的点是不知道的。
初始时,任意把一个点加入 中(例如 ), 是剩下的 个点。
我们的策略是:每次把一个新的点加入到 中。这个点必须和原来 中的某个点有连边,否则根本无法把它加入 。
任选点 ,,查询 的中点 。如果 ,则令 ,否则令 。这里的要义是,时刻保证 且 。最终当 时,就表明 , 之间有边相连,可以更新答案的边集。由于我们保证了 ,所以可以把 加入到 中,并在 中删掉 。
这里的查找类似二分,每次找到一个新点的查询次数不会超过 ,总次数不超过 ,可以通过此题。
但是我不知道我自己该如何想出这些东西
【推荐】国内首个AI IDE,深度理解中文开发场景,立即下载体验Trae
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步
· 地球OL攻略 —— 某应届生求职总结
· 周边上新:园子的第一款马克杯温暖上架
· Open-Sora 2.0 重磅开源!
· 提示词工程——AI应用必不可少的技术
· .NET周刊【3月第1期 2025-03-02】