对于 $n \times m$ 的八数码问题，如果有解，存不存在一种多项式解法呢？如果有，它是怎么做的呢？