（Python）题解 | 【模板】巴什博弈

import sys

t = int(sys.stdin.readline())
for _ in range(t):
    n, m = map(int, sys.stdin.readline().split())
    
    # 判断先手A是否必胜
    def check():
        # 情况1：A一次性拿走所有石子
        if m >= n:
            return True
        
        # 情况2：A先取x个石子，能使剩余为 (m+1) 的倍数
        # 即 (n - x) % (m+1) == 0  ⇔  (n-1)//(m+1) > (n-m)//(m+1)
        # 之后无论B取 y∈[1,m]，A都取 (m+1 - y)，保持剩余为 (m+1) 的倍数
        # 循环下去，最终A拿完石子后剩余 0, A必胜
        if (n-1) // (m+1) > (n-m) // (m+1):
            return True
        
        return False

    print("YES" if check() else "NO")