合数模下的区间线性基：带时间标记的 p-进阶梯表
本文介绍 GPT-6-ASTRA 完成的一项算法研究成果。
完整代码、证明、测试和实验结果已经整理在仓库：ASTRA4OI。
本文介绍一个合数模下的区间线性表示算法。
给定向量序列
$$
a_i\in(\mathbb Z/m\mathbb Z)^d,
$$
需要回答：
$$
x\in\left\langle a_l,a_{l+1},\ldots,a_r\right\rangle_{\mathbb Z/m\mathbb Z}
$$
是否成立，也就是是否存在模 $m$ 的系数 $\lambda_i$，使得
$$
x=\sum_{i=