像是这样的问题:
a1x1+a2x2+...+akxk≡0(modp),∣x1∣,...,∣xk∣≤Ta_1x_1+a_2x_2+...+a_kx_k\equiv0\pmod p,|x_1|,...,|x_k|\leq Ta1x1+a2x2+...+akxk≡0(modp),∣x1∣,...,∣xk∣≤T这样的问题如何较为快速找到一组整数解(x1,...,xk)(x_1,...,x_k)(x1,...,xk)?我现在只发现一些启发式搜索算法比较快,差不多可以满足我的需要,有什么复杂度确定的算法吗?(T比较小,可以认为是一位数)