2020 ICPC 沈阳站 - I题 - Rise of Shadows （数论 | 同余+剩余系）

传送门：I题
题意： 一个时钟，时针走一圈就是一天，现在给定时针走一圈要H小时，分针走一圈要M分钟，设 $\alpha =\frac{2\pi A}{HM}$ ，求一天中时针和分针夹角小于等于α的时刻有几次。

这题首先有如下几个注意点：
①分针是按照刻度一格一格走的，因此不能将小数的分钟算入，必须是整的（即不能按照角度来求）。
②两者成角度会有两种情况，分针在时针左边成角度 or 在时针右边成角度

切入点： 一般会最先想到用追及问题的角度去做，但是这样就有两个变量（涉及到分针和时针两个对象），所以我们可以选择将时针作为参照物 （参照物静止不动），运用相对速度只对分针这一个对象做分析。

两者绝对速度： $v_{h绝对}$ = $\frac{2\pi }{HM}$ ， $v_{m绝对}$ = $\frac{2\pi }{M}$ ，
分针相对速度：$v_{m相对}=v_{m绝对}-v_{h绝对}=\frac{2\pi }{HM}\ast (H-1)=(H-1)v_{h绝对}$，
即分针相对于时针以 $H-1/min$ 的恒定速度运动。

要使两者之间夹角小于等于α，也就相当于追及问题中的两针“路程差”≤α，而此处因为时针作为参照物了，所以也就转化成了分针的“路程”≤α=$\frac{2\pi A}{HM}=A\ast v_{h绝对}$
因此我们可以写出一个关于时间 $t\in [0,HM)$ 的不等式：
t$\ast$(H-1)$v_{h绝对}$ mod HM ≤ |α|=|A$\ast v_{h绝对}$|
t$\ast$(H-1) mod HM ≤ |$A$|

根据剩余系定理三：
“若a,b,c为任意3个整数，m为正整数，且（m,c)=1，则当ac≡bc(mod m）时，有a≡b(mod m)”
所以为了满足互质，可将不等式两边同除以$g=gcd(H-1,HM)$ ，不等式可等价为：
t$\ast$ $\frac{H-1}{g}$ mod $\frac{HM}{g}$ ≤ |$\frac{A}{g}$|
$\frac{-A}{g}$ ≤ t$\ast$ $\frac{H-1}{g}$ mod $\frac{HM}{g}$ ≤ $\frac{A}{g}$
------------注意：此处t的取值范围也同时从 [ 0 , HM ) 缩小到 [ 0 , $\frac{HM}{g}$ )-----------

下面就只需求解出 t 的整数解的个数，即为满足条件的时刻的次数。我画在数轴上会比较直观。只需求出正半轴有几个整数解，然后个数$\ast$ 2并且加上零解。

正半轴：因为要mod之后余数≤$\frac{A}{g}$ ，因此一共有余数为1，2，3…$\frac{A}{g}$ 的共计 $\frac{A}{g}$ 个解，并且这些解中没有重复的，即t的值与余数取值一 一对应，下证：
令a=$\frac{H-1}{g}$，b=$\frac{HM}{g}$
假设存在$t_1$和$t_2$两个不同的值满足：$t_1\ast a$ mod $b$ ≡ $t_2\ast a$ mod $b$ ，并且$t\in [0,b]$ ，因此根据同余定义，易证$t_1=t_2$ ，与假设矛盾，因此每个t的解所对应的余数一定是各不相同的。

所以在 t∈[ 0 , $\frac{HM}{g}$ ) 的范围内一共有 $2\ast (\frac{A}{g})+1$ 个不同整数解。把范围还原到 [ 0 , HM ) ，就共有 $g\ast [2\ast (\frac{A}{g})+1]$ 个不同整数解，也就是本题答案之一。

有一种情况需要特判，就是当$A=\frac{HM}{2}$ ，这时α=π ，t ∈ [ 0 , HM )中的每个整数都满足条件，故答案为$HM$

#include<bits/stdc++.h>
using namespace std;
#define ll long long
ll h,m,a;
int main()
{
    scanf("%lld%lld%lld",&h,&m,&a);
    ll g=__gcd(h-1,h*m);
    if(a==h*m/2)  printf("%lld",h*m);
    else printf("%lld",g*(2*(a/g)+1));
    return 0;
}