类扩展欧几里德 D - It‘s a Mod, Mod, Mod, Mod World

D - It’s a Mod, Mod, Mod, Mod World

化简
${\sum }_{i=1}^n\lfloor (p\ast i\mathrm{m}\mathrm{o}\mathrm{d}q)\rfloor$=
${\sum }_{i=1}^{n}p\ast i-\lfloor \frac{p\ast i}{q}\rfloor$*q=
$\frac{(n+1)n}{2}$*p-q${\sum }_{i=1}^n\lfloor \frac{p\ast i}{q}\rfloor$
后面那部分式子就可以用类欧几里德来计算。

#include <iostream>
#include <algorithm>
#include <cstdio>
#include <cstring>
#include <algorithm>
#include <cmath>
#include <map>
using namespace std;

typedef long long ll;

ll lexgcd(ll a,ll b,ll c,ll n)
{
    if(!a)
    {
        return (n+1)*(b/c);
    }
    if(a>=c||b>=c)
    {
        return (n*(n+1)/2*(a/c))+(n+1)*(b/c)+lexgcd(a%c,b%c,c,n);
    }
    int m=(a*n+b)/c;
    return n*m-lexgcd(c,c-b-1,a,m-1);
}
int main()
{
    int t;
    cin>>t;
    while(t--)
    {
        ll p,q,n;
        cin>>p>>q>>n;
        ll ans=0;
        ans=(n+1)*n/2*p-q*lexgcd(p,0,q,n);
        cout<<ans<<endl;
    }
    return 0;
}