RT，请问这份代码的原理是什么？

个人猜测是将多项式转化为下降幂多项式维护，但是看起来不太像

求解答/kel