每日一题之hiho231周 小Ho的强迫症 （数学题）

描述
小Ho在一条笔直的街道上散步。街道上铺着长度为L的石板，所以每隔L距离就有一条石板连接的缝隙，如下图所示。

小Ho在散步的时候有奇怪的强迫症，他不希望脚踩在石板的缝隙上。（如果小Ho一只脚的脚尖和脚跟分别处于一条缝隙的两侧，我们就认为他踩在了缝隙上。如果只有脚尖或脚跟接触缝隙，不算做踩在缝隙上）

现在我们已知小Ho两只脚的长度F以及每一步步伐的长度D。如果小Ho可以任意选择起始位置，请你判断小Ho能否保持不踩缝隙散步至无穷远处？

输入
第一行是一个整数T，表示测试数据的组数。

每组测试数据包含3和整数L, F和D，含义如上文所述。

对于30%的数据： L <= 1000

对于60%的数据： L <= 100000

对于100%的数据： L <= 100000000, F <= 100000000, D <= 100000000, T <= 20

输出
对于每组数据输出一行YES或者NO，表示小Ho是否能走到无穷远处。

样例输入
2
60 26 60
30 26 75
样例输出
YES
NO

思路：

本题是一道数学题。

首先我们计算L和D的最大公约数G = gcd(L, D)。

假设起始时第一步脚跟与之前最近缝隙的距离是X，我们考虑每一步脚跟与之前最近的缝隙的距离。

那么显然一直走下去之后，X+G，X+2G，X+3G，… 即 {(X+KG) % L | K = 0, 1, … } 这些位置并且仅有这些位置都一定会被踩到。

如果这些位置中有某个位置Y满足 Y + F > L，那么这一步就踩到了缝隙上。考虑到F和L都是定值，显然最大的Y越小越好。

于是有X=0时，位置集合是{0, G, 2G, 3G, … L-G}，最大值是L-G。

X=1时，位置集合是{1, 1+G, 1+2G, 1+3G, … 1+L-G}，最大值是L-G+1。

X=2时，位置集合是{2, 2+G, 2+2G, 2+3G, … 2+L-G}，最大值是L-G+2。

…

显然当X=0时，位置集合最大值L-G是最小的。

这时如果L - G + F > L即F > G时，脚会踩在缝隙上；否则就不会。

关于为什么要求L和D的最大公约数，其实是因为贝祖定理，描述如下：

设a,b是整数，则存在整数x,y，使得ax+by=gcd（a,b），gcd(a,b)代表最大公因数，则设a,b是不全为零的整数，则存在整数x,y，使得ax+by=gcd(a，b)。

解释如下：

定义整数a,b的一个线性组合是指形如ax + by 的整数，其中x,y是整数。那么贝祖定理是说对整数a,b，gcd（a，b）是a,b的一个线性组合

#include <cstdio>
#include <cstring>
#include <iostream>

using namespace std;

int gcd(int a, int b) {
	if (b == 0) return a;
	return gcd(b, a%b);
}

void solve(int l, int f, int d) {

	int g = gcd(l, d);
	if (f > g) cout << "NO" << endl;
	else
		cout << "YES" << endl;

}

int main() {

	int t;
	cin >> t;
	int l, f, d;
	while(t--) {
		cin >> l >> f >> d;
		solve(l, f, d);
	}

	return 0;
}