$n$个形式类似于$ab \equiv c(mod \ m)$的同余方程组，其中$a,c$为已知数，$m$在每组方程组中相同，能以什么复杂度判定$b$是否有解？