• 拉格朗日反演证明


    感谢 BZT 大仙的细心指导: →_→

    求函数 G 满足:

    [G(F(x))=x ]

    **其中 G 和 F 都要满足常数项为 0 且 1 次项不为 0 **

    (G(x)=sum_{i>=1} a_i x^i)

    那么原式就是:

    [sum_{i=1}^infty a_i F^i(x)=x ]

    然后我们两边取导:

    [sum_{i=1}^infty i·a_i F^{i-1}(x) F'(x)= 1 ]

    然后左右除去 (F^n(x))

    [sum_{i=0}^{infty}i·a_i F^{i-n-1}(x) F'(x)={1over F^n(x)} ]

    两边取 x 的 -1 次项:

    [[x^{-1}]sum_{i=0}^{infty}i·a_i F^{i-n-1}(x) F'(x) =[x^{-1}]{1over F^n(x)} ]

    这时候我们江 i 不等于 n 的情况讨论一下:

    [F^{i-n-1}(x)F'(x)={1over i-n} (F^{i-n}(x))' ]

    这里我们从右往左推就好了,用链式法则

    然后我们发现一个多项式求导后的 -1 次项系数为 0 ,就不用考虑了

    对于 i=n 的情况:

    [F^{-1}(x)F'(x)={a_1+2a_2x+2a_3x^2+...over a_1x+a_2x^2+a_3x^3+...} ]

    [={a_1+2a_2x+2a_3x^2+...over a_1x}·{1over 1+{a_2over a_1}x+{a_3over a_1}x^2+...} ]

    后面的多项式常数项为 1,可逆,逆完之后常数项还是 1, 那么前面的式子中 x 的 -1 次项系数为 1

    那么原来的式子就是:

    [a_n = [x^{-1}] {1over F^n(x)} ]

    那么这也就证明出了拉格朗日反演中的定理:

    [[x^n] G(x) = [x^{-1}] {1over n} {1over F^n(x) } ]

    然后我们让 f(x) 表示 F(x) 除去 x 后的多项式,那么原本的答案就是:

    [[x^n] G(x) = [x^{n-1}] {1over n} {1over f^n(x) } ]

    然后我也不知道这玩意儿为什么是对的,反正这样的情况下我们就可以 (O(n log n)) 求解(多项式快速幂+多项式求逆)了

  • 相关阅读:
    十个男人看了,九个成了富人
    win7下编译安装osgearth
    gdal源码编译安装
    win7下编译boost库总结
    everything && executor
    cursor:hand与cursor:pointer的区别介绍
    web程序记录当前在线人数
    汉字转拼音
    40多个非常有用的Oracle 查询语句
    asp.net 使用IHttpModule 做权限检查 登录超时检查(转)
  • 原文地址:https://www.cnblogs.com/Judge/p/10652738.html
Copyright © 2020-2023  润新知