熟知，任何形如 $4k+1$ 的质数 $p$ 都可以写成 $a^2+b^2\ (a,b\in N^+)$ 的形式，且这种形式是唯一的（不计顺序）。求问如何快速分拆 $($此处 $O(\sqrt{p})$ 显见，但好像有 $O(log\ p)$ 的方法，故发帖求问$)$