树上路径（组合数）

题目

简化题意：

求$1,2,\cdots ,n$中多少个长为$m$的序列$a$满足：

• $a_1=1,a_m=n$
• $\forall i,a_{i+1}-a_i\ge k$
  求方案数的奇偶性，数据有$T$组，满足：
  $n,m,q\le 10^9,T\le 2\ast 10^6$

样例输入
3
10 3 2
5 3 1
15 5 3

样例输出
No
Yes
No

题解

• 考虑$k=1$
  方案数显然为$\left(\genfrac{}{}{0ex}{}{n-2}{m-2}\right)$
• 考虑$k≠1$，即$k\ge 1$
  根据题意分析：令所选出的数字集合为$b_i$，对于所选集合的每个数字都应满足$b_{i+1}-b_i\ge k$，那么在原本的$a_i$中肯定不能选的数字有$(m-1)\ast (k-1)$个，且开头结尾不能选，那么方案数为$\left(\genfrac{}{}{0ex}{}{n-(m-1)\ast (k-1)-2}{m-2}\right)$
  由卢卡斯定理$\left(\genfrac{}{}{0ex}{}{n}{m}\right)\mathrm{m}\mathrm{o}\mathrm{d}p=\left(\genfrac{}{}{0ex}{}{n\mathrm{m}\mathrm{o}\mathrm{d}p}{m\mathrm{m}\mathrm{o}\mathrm{d}p}\right)\ast \left(\genfrac{}{}{0ex}{}{n/p}{m/p}\right)\mathrm{m}\mathrm{o}\mathrm{d}p$
  令$p=2$：$\left(\genfrac{}{}{0ex}{}{n\mathrm{m}\mathrm{o}\mathrm{d}2}{m\mathrm{m}\mathrm{o}\mathrm{d}2}\right)$只有四种取值，且只有当$(n\mathrm{m}\mathrm{o}\mathrm{d}2)\ge (m\mathrm{m}\mathrm{o}\mathrm{d}2)$时有值，而$\mathrm{m}\mathrm{o}\mathrm{d}2$就相当于取出该数字在二进制下的最后一位，若满足$n$的每一位都大于等于$m$的每一位只需满足$nandm=m$即可

code

#include <bits/stdc++.h> 
using namespace std; 

template <class T> 
inline void read(T &s) {
	s = 0; 
	T w = 1, ch = getchar(); 
	while (!isdigit(ch)) { if (ch == '-') w = -1; ch = getchar(); }
	while (isdigit(ch)) { s = (s << 1) + (s << 3) + (ch ^ 48); ch = getchar(); }
	s *= w; 
}

int n, m, t, k; 

int main() {
	read(t); 
	while (t--) {
		read(n), read(m), read(k); 
		int x = n - (m - 1) * (k - 1) - 2; 
		int y = m - 2; 
		if ((x & y) == y) puts("Yes"); 
		else puts("No"); 
	}
	return 0; 
}