可以从最基本的情况开始推，如果m和n的最大公约数为1，那么狼就会遍历所有山洞，兔子就跑不掉了。
附ac代码：
//最大公约数为1时NO
#include <stdio.h>
int main(){
int n, m, t;
while(scanf("%d%d", &n, &m) == 2){
while(m){
t = n % m;
n = m;
m = t;
}
printf("%s\n", n == 1 ? "NO" : "YES");
}
return 0;
}原文：http://blog.csdn.net/chang_mu/article/details/19208283