Codeforces Round #701 (Div. 2)小结

2023大厂真题提交网址(含题解):

www.CodeFun2000.com（http://101.43.147.120/）

最近我们一直在将收集到的机试真题制作数据并搬运到自己的OJ上，供大家免费练习,体会真题难度。现在OJ已录入50+道2023年最新大厂真题，同时在不断的更新。同时，可以关注"塔子哥学算法"公众号获得每道题的题解。

前言：

很硬核的一场比赛。我$C$都磨了一个多小时才出来。让人怀疑人生的是人均会$C$.数论真的是这么容易嘛？

C.Floor and Mod:思维，数论,整数分块

求${\sum }_{i=1}^x{\sum }_{j=1}^y[\lfloor \frac{i}{j}\rfloor ==imodj]$.

$x,y\le 10^9$.

题目思路:

题解思路没太看懂。我的思路比较复杂。。

1.先令$f(j)={\sum }_{i=1}^x[\lfloor \frac{i}{j}\rfloor ==imodj]$.我们的目标要求${\sum }_{j=1}^{y}f(j)$

2.现在问你，如何$O(1)$求特定的$f(j)$.

根据带余除法，我们有以下式子：
$$i=\lfloor \frac{i}{j}\rfloor \ast j+imodj$$
又因为$\lfloor \frac{i}{j}\rfloor =imodj=d$.

所以就是求$i\in [1,x]$内有多少种可能的取值使得$i=d\ast j+d$.

一种朴素的求法就是从1开始枚举$d$，直到$d\ast j+d\le x$.

但是我们也可以直接求,$d(j+1)\le x$.即$1\le d\le min(\lfloor \frac{x}{j+1}\rfloor ,j-1)$

所以$f(j)=min(j-1,\lfloor \frac{x}{j+1}\rfloor )$

所以可以分成两种情况分别处理:

当$j-1<\lfloor \frac{x}{j+1}\rfloor$时，我们发现$j$的取值不超过$\sqrt{x}$.那么这个部分暴力枚举即可。

当$j-1\ge \lfloor \frac{x}{j+1}\rfloor$时，我们可以推出以下式子:

${\sum }_{j=r}^{y}f(j)={\sum }_{j=r}^y\lfloor \frac{x}{j+1}\rfloor ={\sum }_{j=r+1}^{y+1}\lfloor \frac{x}{j}\rfloor$.

这个部分我们类似整数分块的思路二分求解即可。

整体时间复杂度:$O(T\sqrt{x}log\sqrt{x})$.

AC代码：

#include<bits/stdc++.h>
using namespace std;
#define ll long long
const int maxn = 1e5 + 5;
const int mod = 1e9 + 7;
ll calc (ll g , ll up){ return up / (g + 1);}
int main()
{
    ios::sync_with_stdio(false);
    int t; cin >> t;
    while (t--){
        ll x , y ; cin >> x >> y;
        ll ans = 0 , res = 2e9;
        for (ll i = 2 ; i <= y ; i++){
            if ((x / i) <= (i - 1)){
   		        res = i;
	            break;
	         }
	         ans += i - 1；
        }
        for (ll i = res ; i <= y ; ){
            ll now = calc(i , x);
            ll l = i , r = y;
            while (l <= r){
                ll mid = l + r >> 1;
                if (calc(mid , x) == now) l = mid + 1;
                else r = mid - 1;
            }
            ans += (r - i + 1) * now;
            i = r + 1;
        }
        cout << ans << endl;
    }
    return 0;
}

D. Multiples and Power Differences:思维，数论.

题目大意:

给你一个$n,m$的二维矩阵$a_{i,j}$。让你构造出一个矩阵$b_{i,j}$使得:

1. $b_{i,j}\le 1e6$
2. $a_{i,j}|b_{i,j}$
3. 所有与$b_{i,j}$相邻的数和它绝对值的差值都是$k^4$.

注:条件三中k不是固定的。

$n,m\le 500$
$1\le a_{i,j}\le 16$

题目思路：

让每个格子的数都相等.那么这个数就是 l c m { 1 , 2 , . . . , 16 } = 720720 lcm\{1,2,...,16\}=720720 lcm{1,2,...,16}=720720.

黑白染色，对于白色格，填$720720$.
对于黑色格子,填$720720+a_{i,j}^4$