二分法拓展与快速幂