$$\text{Decide if the following equation has solution:}$$ $$A_{m \times n} \cdot B_{n \times k} = X_{m \times k}$$ $$M \preceq A \preceq N, P \preceq B \preceq Q$$ $$\text{Where } F\preceq G \text{ means every element in }F\text{ is }$$ $$\text{smaller than the value on same position of }G$$ $$ X, M, N, P, Q \text{ are known}$$

EDIT@23/02/15 13:27: 用机械结构求解会卡住吗？

我看#34的榜，double做法都是 $$x_i=a_{2i}+ia_{2i+1}\\Z_i=X_iY_i-\frac 14\left(1+w_N^i\right)\left(X_i-\overline{X_{N-i}}\right)\left(Y_i-\overline{Y_{N-i}}\right)$$ 而不是 $$x_i=a_iu^i+a_{i+n}u^{i+n}\\Z_i=X_iY_i$$ 这两个方法，哪个更显然？哪个效率高？（我提交改了输出挂还去了swap过程，但另一种方法也能做）

$$\begin{matrix}&&&O\\&&／&&＼\\&O&&&&O\\~/&&\backslash~&&~/&&\backslash~\\O~&&~O&&~O&&~O \end{matrix}$$ 这样如果层数再多，倾斜度就不够了……

http://uoj.ac/submission/392208 即使保证$n>0$，如果$m$足够小，有可能第5,7行都出错，第6,8行又缩小很多，然后就碰撞了