https://vjudge.net/problem/QOJ-15814/origin
这个题目很简单，但是我没有做出来，应该去补一下白草净华才行。
其实就是倍增，发现这种有循环的题目经常使用倍增方式，我们先倍增找到合法的区间，然后在这个区间里面二分。
https://vjudge.net/problem/QOJ-16101/origin
随机399 次排列然后发现这些输出的点都是独立集，他们之间一定没有边，最后一次给所有环定向。
https://vjudge.net/problem/QOJ-16775/origin
stable sort 或者二分 Acwing 讲过
https://vjudge.net/problem/QOJ-18174/origin
考虑问出一个十字架，接下来就每个位置一次询问了，首先问出一列，每次向下增加 0/1 如果增加了 0/1 都不行，那么说明这条链到头了，我们就向上增加，接下来带着这条列拓展出一行就找到了十字架，于是我们就做完了。
https://vjudge.net/problem/QOJ-17668/origin
没有做出来。
但是我想这种题目答案不是 n/2 就是 n/3，我猜的是 n/2 报废了。考虑把这个点集分成基本上差不多大的点集。然后经过一些调整我们发现答案的上界是 floor((n+1)/3) 接下来构造还是有点难度。第一反应是构造三元环，但是不行，万一问出出来都是 0/1 就完蛋了，于是我们考虑先问两个点的链
那么他们两个人中间可能是好朋友也可能不是
- 如果他们呢都是好朋友，那么直接输出
- 如果都不是好朋友，直接输出
- 不然我们将一对是好朋友的，和一对不是好朋友的合并，然后转化成前两种情况
https://vjudge.net/problem/洛谷-P15168/origin
神秘 ad-hoc
结论: 如果存在 \(a_i > \lfloor m/i \rfloor\) 那么就会 B 获胜
考虑证明这个结论，我只会用构造证明。
满足条件，就会有 \(i > \lfloor m/a_i \rfloor\)，所以每次选取 \(a_i\) 的倍数就行。
不满足，根据鸽巢原理，一定能找到一个长度大于等于 \(a_i\) 的未选段，给出这个段就行。
https://vjudge.net/problem/洛谷-P14395/origin
分类讨论题目，不说了。