2020 icpc 沈阳 i题 Rise of Shadows

题目链接
题意：
一天有$H$小时，一小时有$M$分钟。
问有多少整数分钟满足时针和分钟的夹角小于$\frac{A\times 2\pi }{H\times M}$

很明显的可以列出不等式：
$$t\times (H-1)\le A(\mathrm{m}\mathrm{o}\mathrm{d}HM)$$
定理1：$ax\equiv b(\mathrm{m}\mathrm{o}\mathrm{d}n)$有解，则$\gcd (a,n)|b$。
由此，可以推出当$\gcd (H-1,HM)|K$有解。$K\le A$。
定理2：若$\gcd (a,n)$互质，则在$[0,n-1]$内$ax\equiv b(\mathrm{m}\mathrm{o}\mathrm{d}n)$有唯一解。
对等式两边同时除以$d=\gcd (H-1,HM)$:$$\frac{t\times H-1}{d}=\frac{K}{d}(\mathrm{m}\mathrm{o}\mathrm{d}\frac{HM}{d})$$
此时t在$[0,\frac{HM}{d}-1]$范围内有唯一解。当然这时候$K$要满足$\gcd (H-1,HM)|K$，那么就有$\frac{A}{d}$个$K$。
最后，有推论3：若$\gcd (a,n)=d|b$，则$\frac{a}{d}x=\frac{b}{d}(\mathrm{m}\mathrm{o}\mathrm{d}\frac{n}{d})$有唯一解，且$ax\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}n)$有$d$个对模$n$不同余的解。
这推理证明过程我也没看懂，甚至不知道用在这对不对。
那么我们对于每个有解的$K$就有$d$个解，算是绝对值以及0，总共$2\frac{A}{d}+1$个$K$有解，每个解乘以$d$,那么答案就是：
$$d\times (2\frac{A}{d}+1)$$

特殊情况是$A=HM/2$这时对于每个$t$都有解，答案是：
$$HM$$

#include<bits/stdc++.h>
using namespace std;
//    clock_t start, end;
//    start = clock();
//    end = clock();
//    cout << (double) (end - start) / CLOCKS_PER_SEC << endl;
//ios::sync_with_stdio(false);
#define  int long long
#define rep(i, x, y) for(int i=(x);i<=(y);++i)
#define dep(i, x, y) for(int i=(x);i>=(y);--i)
#define gcd(a, b) __gcd(a,b)
const long long mod = 1e9 + 7;
const int maxn = 1e7 + 10;

int lowbit(int x) { return x & -x; }

bool ispow(int n) { return (n & (n - 1)) == 0; }//O(1) 判断是否是 2^k（2的k次方）
int read() {
    int x = 0, f = 1;
    char c = getchar();
    while (c < '0' || c > '9') {
        if (c == '-') f = -1;
        c = getchar();
    }
    while (c >= '0' && c <= '9') x = x * 10 + c - '0', c = getchar();
    return x * f;
}


signed main(){

    int h,m,a;
    cin>>h>>m>>a;
    if((double)a==((double)h*m/2.0)){
        cout<<h*m<<endl;
        return 0;
    }
    int d=gcd(h-1,h*m);
    cout<<d*(a/(d)*2+1)<<endl;
    return 0;
}