А мне вот интересно, можно ли делать как-то так:
Возвести в степень число

, а затем собирать биномиальные коэффициенты в различных разрядах?
Сделать-то можно (причем лучше работать с двоичной системой счисления), вот только будет ли от этого прок. Прикинуть сложность можно так:
Для простоты оценим биномиальные коэффициенты

величиной

. Тогда число которое нам нужно возводить в степень

нужно брать равным

. Сложность его возведения в степень

можно оценить сложностью

умножений

-битных чисел, что суммарно дает сложность

, что хуже чем у метода, основанного на рекуррентной формуле.