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

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

 величиной 

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

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

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

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

 умножений 

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

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