Codeforces Round #701 (Div. 2) C. Floor and Mod(数学推导)-CSDN博客

本文链接：https://blog.csdn.net/qq_45377553/article/details/113804531

本文介绍了数学竞赛中的一道题目，涉及到整数除法的地板值与余数的关系。通过转换表达式，得出a = k + bk，其中k为a除以b的余数。进一步分析，得出b的范围限制，并给出解决此类问题的枚举方法。最终提供了一个C++代码实现，用于求解在给定a和b的范围内，满足条件的组合数量。

摘要由CSDN通过智能技术生成

C. Floor and Mod

题意：

给你一个式子 $\lfloor \frac{a}{b}\rfloor$ = a%b。之后再给你两个范围来限制a和b。
问最多有几对组合。

思路：

首先对于a%b，我们可以进行下转换。（主要是翻译下题目条件）

a%b = a - $\lfloor \frac{a}{b} \rfloor * b$
对于题目的要求： $\lfloor \frac{a}{b}\rfloor$ = a%b
我们另 k = $\lfloor \frac{a}{b}\rfloor$ = a%b
那么1式就转换成了 a = k+bk

更加一般地，k在3式中，其实就是代表a%b（ $\lfloor \frac{a}{b}\rfloor$ ）的结果。

那么我们可以由此得到启发，来枚举k(枚举所有可能的余数)

通过观察样例，可以发现：b>k

再结合4式有： $x\ge k^2$ 和 $x\ge a=k+bk > k^2$
（第一个式子是限制枚举k的范围，第二个式子是后面用）

由上式确定b的范围 $\le \frac{x}{k} -1$
再结合题意有 $1\le b\le y$

最后每次枚举ans+= $m a x (0, m i n (y, x / k - 1) - k)$ .

AC

/*
皮卡丘冲鸭！
へ　　　　　／|
　　/＼7　　　 ∠＿/
　 /　│　　 ／　／
　│　Z ＿,＜　／　　 /`ヽ
　│　　　　　ヽ　　 /　　〉
　 Y　　　　　`　 /　　/
　ｲ●　､　●　　⊂⊃〈　　/
　()　 へ　　　　|　＼〈
　　>ｰ ､_　 ィ　 │ ／／
　 / へ　　 /　ﾉ＜| ＼＼
　 ヽ_ﾉ　　(_／　 │／／
　　7　　　　　　　|／
　　＞―r￣￣`ｰ―＿
*/
#include <iostream>
#include <bits/stdc++.h>
#define For(i,x,y) for(int i=(x); i<=(y); i++)
#define fori(i,x,y) for(int i=(x); i<(y); i++)
#define rep(i,y,x) for(int i=(y); i>=(x); i--)
#define mst(x,a) memset(x,a,sizeof(x))
#define pb push_back
#define sz(a) (int)a.size()
#define ALL(x) x.begin(),x.end()
#define mp make_pair
#define fi first
#define se second
#define db double
#define debug(a) cout << #a << ": " << a << endl
using namespace std;
typedef long long LL;
typedef long long ll;
typedef unsigned long long ULL;
const LL INF = 0x3f3f3f3f3f3f3f3f;
const int inf = 0x3f3f3f3f;
typedef pair<int,int>pa;
typedef pair<ll,ll>pai;
typedef pair<db,db> pdd;

const int N = 2e5+10;
const int M = 1e5;
const int maxn=1e6+10;
const db eps = 1e-8;
const db pi = acos(-1.0);

template<class T> bool uin(T &a, T b) { return a > b ? (a = b, true) : false; }
template<class T> bool uax(T &a, T b) { return a < b ? (a = b, true) : false; }

int main()
{
    ios::sync_with_stdio(0); cin.tie(0); cout.tie(0);
    ll tt;
    cin>>tt;
    while(tt--){
        ll x, y;
        cin>>x>>y;
        ll ans = 0;
        for(int i = 1; i*i<=x; i ++ ){
            ll r = min(y,x/i-1);
            ans += max((LL)0,r-i);
        }
        cout<<ans<<'\n';
    }
    return 0;
}