Codeforces 1103 简要题解
文章目录
- A题
- B题
- C题
- D题
传送门
又一场原地爆炸的比赛。
A题
传送门 简单思维题
题意：给一个 4 ∗ 4 4*4 4∗4的格子图和一个01串，你要根据01串放 1 ∗ 2 1*2 1∗2的木块，如果是0就竖放一个，是1就横放一个，一行或者一列满了可以直接消掉。
现在让你每次输出放下木块的坐标，并保证所有操作中没有木块相交。
思路：
可以直接按照自己的思路模拟然后我这个sb想了好久用什么策略
下来之后突然想到一个更简单的做法，我们保证如果竖放先放 ( 1 , 1 ) (1,1) (1,1)，如果横放先放 ( 4 , 4 ) (4,4) (4,4)，这样接下来无论是横放还是竖放都会消掉之前放过的一个。
比赛代码（丑：
#includeB题
传送门 二分答案
题意简述：你需要通过不超过60次询问来猜一个数 a , a ≤ 1 e 9 a,a\le1e9 a,a≤1e9，每次可以问两个数 x , y x,y x,y，如果 ( x m o d a ) ≥ ( y m o d a ) (x\mod a)\ge (y\mod a) (xmoda)≥(ymoda)会返回 0 0 0否则返回 1 1 1
思路：
我们考虑倍增求出 a a a的范围然后再二分求 a a a的准确值。
最开始先让 x = 0 , y = 1 x=0,y=1 x=0,y=1然后问，如果返回 1 1 1就说明 a a a不在区间 ( x , y ] (x,y] (x,y]里，那么令 x = y , y = y ∗ 2 + 1 x=y,y=y*2+1 x=y,y=y∗2+1继续问下去知道返回 0 0 0位置。
返回 0 0 0时说明 a a a的取值在 ( x , y ] (x,y] (x,y]之间，那么我们二分 a a a的值一直问 x , m i d x,mid x,mid来缩小范围即可。
代码：
#includeC题
传送门 结论+构造
题意简述：给一张无重边自环的无向图，每个点度数至少为3，现在给出 k k k，要求你构造出以下两类答案中的任意一种：
- 找到一条路径，使得其长度 ≥ n k \ge\frac nk ≥kn
- 找到 k k k个环，使得每个环长度至少为 3 3 3且不为 3 3 3的倍数，且每个环中至少有一个点在所有输出的环中只出现过一次。
思路：
我们先 d f s dfs dfs构造出图的一个生成树，这个时候如果闲的胃疼可以求一遍直径去构造第一类答案，也可以直接枚举每个点的深度来判断能不能简单构造，如果不行就直接去构造多个环的答案。
然后考虑如何构造出多个环的答案，在生成树上面每个数的深度都不能满足条件的时候说明至少有 k k k个 叶子结点，由于每个点度数至少为 3 3 3，因此这个叶子结点除了连接父亲的树边以外还存在跟自己祖先连接的两条非树边 注意这里说的是祖先，因为如果不是祖先的话dfs的时候会走过去，它就不是叶子节点了
然后说明至少有两个环，且这个叶子结点可以当做那个在所有环中只出现过一次的特殊点。
然后可以用如下方法构造答案。
- 两个环中至少有一个长度不是 3 3 3的倍数，直接输出这个环。
- 两个环的长度都是 3 3 3的倍数，那么设离当前叶子结点近的点是 y y y，原的是 x x x，叶子结点是 z z z，我们把 y − > x y->x y−>x路径上所有点和 z z z拿来构造成一个环，这个环的长度是 3 k + 1 3k+1 3k+1满足题意。
代码（略丑：
#includeD题
传送门 状压dp好题
题意简述：给 n n n个二元组和一个 k k k。
二元组 ( a i , e i ) (a_i,e_i) (ai,ei)表示第 i i i个位置的权值是 a i a_i ai，贡献是 e i e_i ei。
现在对于每个位置可以让它的权值除以它自己一个不超过 k k k的约数，要求从 n n n个数中选择若干个数出来，使得它们的权值在除以约数过后的 g c d gcd gcd为 1 1 1，花费的代价是选出来的选择数的个数乘上选出来的所有数的贡献和。
数据范围： n ≤ 1 e 5 , k , a i ≤ 1 e 12 n\le1e5,k,a_i\le1e12 n≤1e5,k,ai≤1e12
思路：
考虑到 g c d gcd gcd的范围也是 [ 1 , 1 e 12 ] [1,1e12] [1,1e12]，不难证明这个 g c d gcd gcd最多有不超过 12 12 12个不同的质因子。
先思考一个问题：怎么去除自己的约束最优？
我们先令 g c d = a 1 p 1 a 2 p 2 . . . a k p k gcd=a_1^{p_1}a_2{p^2}...a_k^{p_k} gcd=a1p1a2p2...akpk
显然对于一个要计入答案的数 v a l val val，只用关心它和 g c d gcd gcd都有的质因数。
所以令 v a l = t ∗ a 1 q 1 a 2 q 2 . . . a k q k val=t*a_1^{q_1}a_2^{q_2}...a_k^{q_k} val=t∗a1q1a2q2...akqk，其中 ( t , a 1 ) = ( t , a 2 ) = . . . = ( t , a k ) = 1 (t,a_1)=(t,a_2)=...=(t,a_k)=1 (t,a1)=(t,a2)=...=(t,ak)=1
那么对于这个数，我们选择它肯定就要它自己使得若干个幂次不为 0 0 0的质数幂全部去掉，否则不如不选它，即去掉 a 1 q 1 , a 2 q 2 , . . . , a k q k a_1^{q_1},a_2^{q_2},...,a_k^{q_k} a1q1,a2q2,...,akqk中的至少一个 这里去掉的意思指的是用除法除掉，这样之后取gcd的时候如果选这个数这个被除掉的质数幂就不会算进去
这样一来，我们选出来的每个数至少会去掉一种之前没出现过的质数幂，因此最多选择不超过12个数就能够使得它们在除去质因子之后的 g c d gcd gcd为1。
于是可以设计状态 f i , j f_{i,j} fi,j表示现在已经去除的质因子的集合为 i i i，用了 j j j个数。
考虑先把所有相同的数并在一起（因为它们分解之后也是相同的）
转移的话可以先对于每个数预处理出另外一个 d p dp dp数组 g g g， g i g_i gi表示对于这个数要使得被除去的质数幂状态为 i i i所需的最小这个数的个数（因为把相同的并在一起所以每个数的个数不一定是1）。
然后再枚举子集转移就行了。
细节较多。
代码：
#include