题解 | #好好好数组#

因为 $a_i = a_{i+1} \mod i$ ，

因此除了 $i=n$ 时其余 $a_i$ 都满足 $0\le a_i \le i$ ，则

$a_1 = a_2 \mod 1 = 0$
若 $a_{n} \le n-1$ 则数组的形状为 $\texttt{0 0 ... 0 a_n a_n a_n}$ 。(当 $i = a_{n}$ 时，往前的 $a_i$ 一定为 $0$ )
若 $a_{n} = n$ 则数组的形状为 $\texttt{0 1 1 1 ... n}$

因此有以下结论：

令 $\left | S \right |$ 为数组中的元素数量。

$\left | S \right | = 1$ 时 , $a_n = 0$ ，有 $1$ 种
$\left | S \right | = 2$ 时 , $a_n \in [1, n-1]$ ，有 $n-1$ 种
$\left | S \right | = 3$ 时 , $a_n = n$ ，有 $1$ 种

因此

$m = 1$ 时，答案为 $n+1$ 。
$m = 2$ 时，若 $n = 1$ ,则一定不可能；否则答案为 $n$ 。
$m = 3$ 时，若 $n \le 2$ ,则一定不可能；否则答案为 $1$ 。
否则答案为 $0$


void solve(){
    ll n = read(), m = read();
    if(m == 1){
        print(n+1);
    }
    else if(m == 2){
        print(n>=2?n:0);
    }
    else if(m == 3){
        print(n>=3?1:0);
    }
    else{
        print(0);
    }
}

c++ 火车头

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

#define pb push_back 
#define eb emplace_back 
#define fi first
#define se second
#define ne " -> "
#define sep "======"
#define fastio ios::sync_with_stdio(false);cin.tie(0);
#define all(a) a.begin(), a.end()

typedef long long ll;
typedef unsigned long long ull;
typedef long double db;
typedef pair<long long,long long> PLL;
typedef tuple<ll,ll,ll> TLLL;
const ll INF = (ll)2e18+9;
//const ll MOD = 1000000007;
const ll MOD = 998244353;
const db PI = 3.14159265358979323;

//io functions
inline void rd(ll &x){x=0;short f=1;char c=getchar();while((c<'0'||c>'9')&&c!='-') c=getchar();if(c=='-') f=-1,c=getchar();while(c>='0'&&c<='9') x=x*10+c-'0',c=getchar();x*=f;}  
inline ll read(){ll x=0;short f=1;char c=getchar();while((c<'0'||c>'9')&&c!='-') c=getchar();if(c=='-') f=-1,c=getchar();while(c>='0'&&c<='9') x=x*10+c-'0',c=getchar();x*=f;return x;}  
inline void pt(ll x){if(x<0) putchar('-'),x=-x;if(x>9) pt(x/10);putchar(x%10+'0');}
inline void print(ll x){pt(x), puts("");}
inline void print(PLL x){pt(x.fi), putchar(' '), pt(x.se), putchar('\n');}
inline void print(vector<ll> &vec){for(const auto t:vec)pt(t),putchar(' ');puts("");}
inline void print(const map<ll, ll>& g) {for(const auto& [key, value]:g){cout<<"key: "<<key<<ne<<value<<" ";}puts("");}
inline void print(vector<PLL> &vec){puts(sep);for(const auto v:vec){print(v);}puts(sep);}
inline void print(const map<ll, vector<ll>>& g) {for (const auto& [key, value] : g) { cout << "key: " << key << ne;for (const auto& v : value) {cout << v << " ";}cout << endl;}}

//fast pow
ll ksm(ll a, ll b=MOD-2, ll M=MOD){a%=M;ll res=1;while(b){if(b&1){res=(res*a)%M;}a=(a*a)%M;b>>=1;}return res;}

mt19937_64 rng(chrono::steady_clock::now().time_since_epoch().count());//rng()
ull randint(ull l, ull r){uniform_int_distribution<unsigned long long> dist(l, r);return dist(rng);}


void init(){
    
}

void solve(){

}

int main(){
    init();
    ll t = 1;
    t = read();
    while(t--){
        solve();
    }
}