牛顿迭代法

牛顿迭代法

定义

在一般意义下,牛顿迭代法可以求出一个函数的零点,而在多项式意义下,牛顿迭代能够求出:给定一个G(x)G(x)G(x),求F(x)F(x)F(x),使得G(F(x))≡0(modxn)G(F(x)) \equiv 0\;\;\;(mod\;\;x^n)G(F(x))0(modxn)

推导

n=1n=1n=1时,单独求解F(x)F(x)F(x)的值。
n>1n>1n>1时,假设我们已经求出了F0(x)F_0(x)F0(x)满足G(F0(x))=0(modx⌈n2⌉)G(F_0(x))=0\;\;\;(mod\;\;x^{\lceil \frac{n}{2} \rceil})G(F0(x))=0(modx2n)

考虑如何用F0(x)F_0(x)F0(x)求出F(x)F(x)F(x)
G(F(x))G(F(x))G(F(x))F0(x)F_0(x)F0(x)处泰勒展开。
G(F(x))=G(F0(x))+G(F0′(x))1!(F(x)−F0(x))+G(F0′′(x))2!(F(x)−F0(x))……G(F(x))=G(F_0(x))+\frac{G(F_0'(x))}{1!}(F(x)-F_0(x))+\frac{G(F_0''(x))}{2!}(F(x)-F_0(x))…… G(F(x))=G(F0(x))+1!G(F0(x))(F(x)F0(x))+2!G(F0(x))(F(x)F0(x))
可以发现F(x)−F0(x)F(x)-F_0(x)F(x)F0(x)的非零项大于⌈n2⌉\lceil \frac{n}{2} \rceil2n,因此有(F(x)−F0(x))2(F(x)-F_0(x))^2(F(x)F0(x))2的非零项大于nnn,所以有:
G(F(x))=G(F0(x))+G(F0′(x))(F(x)−F0(x))(modxn)G(F(x))=G(F_0(x))+G(F'_0(x))(F(x)-F_0(x))\;\;\;(mod\;\;x^n) G(F(x))=G(F0(x))+G(F0(x))(F(x)F0(x))(modxn)

因为G(F(x))≡0(modxn)G(F(x)) \equiv 0\;\;\;(mod\;\;x^n)G(F(x))0(modxn),所以:
F(x)=F0(x)−G(F0(x))G(F0′(x))F(x)=F_0(x)-\frac{G(F_0(x))}{G(F_0'(x))} F(x)=F0(x)G(F0(x))G(F0(x))

应用

多项式求逆:

已知多项式A(x)A(x)A(x),求一个多项式F(x)F(x)F(x),使得F(x)A(x)≡1(modxn)F(x)A(x)\equiv 1\;\;\;(mod\;\;x^n)F(x)A(x)1(modxn)
相当于求F(x)F(x)F(x)满足A(x)−1F(x)≡0(modxn)A(x)-\frac{1}{F(x)}\equiv 0\;\;\;(mod\;\;x^n)A(x)F(x)10(modxn)

G(x)=A(x)−1F0(x)G(x)=A(x)-\frac{1}{F_0(x)}G(x)=A(x)F0(x)1
则根据牛顿迭代,有:
F(x)=F0(x)−A(x)−1F0(x)F0(x)−2(modxn)F(x)=F_0(x)-\frac{A(x)-\frac{1}{F_0(x)}}{F_0(x)^{-2}}\;\;\;(mod\;\;x^n) F(x)=F0(x)F0(x)2A(x)F0(x)1(modxn)
因此有:
F(x)=F0(x)(2−F0(x)A(x))(modxn)F(x)=F_0(x)(2-F_0(x)A(x))\;\;\;(mod\;\;x^n) F(x)=F0(x)(2F0(x)A(x))(modxn)
因此递归求解F0(x)F_0(x)F0(x)即可,感觉比倍增法的推导精妙一些(虽然求逆的倍增法和牛顿迭代的推法差不多)。

多项式开方:

已知多项式A(x)A(x)A(x),求一个多项式F(x)F(x)F(x),使得F(x)2≡A(x)(modxn)F(x)^2\equiv A(x)\;\;\;(mod\;\;x^n)F(x)2A(x)(modxn)

相当于求F(x)F(x)F(x)满足F(x)2−A(x)≡0(modxn)F(x)^2-A(x)\equiv 0\;\;\;(mod\;\;x^n)F(x)2A(x)0(modxn)

G(x)=F0(x)2−A(x)G(x)=F_0(x)^2-A(x)G(x)=F0(x)2A(x)
F(x)=F0(x)−F0(x)2−A(x)2F0(x)F(x)=F_0(x)-\frac{F_0(x)^2-A(x)}{2F_0(x)} F(x)=F0(x)2F0(x)F0(x)2A(x)
因此:
F(x)=F0(x)+A(x)2F0(x)(modxn)F(x)=\frac{F_0(x)+A(x)}{2F_0(x)}\;\;\;(mod\;\;x^n) F(x)=2F0(x)F0(x)+A(x)(modxn)
时间复杂度O(nlgn)O(nlgn)O(nlgn),在A(0)=1A(0)=1A(0)=1时,常数项为111,否则还需要二次剩余计算。

多项式exp:

已知多项式A(x)A(x)A(x),求一个多项式F(x)F(x)F(x),使得F(x)=eA(x)(modxn)F(x)=e^{A(x)}\;\;\;(mod\;\;x^n)F(x)=eA(x)(modxn)

相当于求F(x)F(x)F(x)满足ln⁡F(x)≡A(x)(modxn)\ln F(x)\equiv A(x)\;\;\;(mod\;\;x^n)lnF(x)A(x)(modxn)

G(x)=ln⁡F0(x)−A(x)G(x)=\ln F_0(x)-A(x)G(x)=lnF0(x)A(x)

F0(x)F_0(x)F0(x)当做一个常量,因此:
F(x)=F0(x)−lnF0(x)−A(x)1F0(x)F(x)=F_0(x)-\frac{lnF_0(x)-A(x)}{\frac{1}{F_0(x)}} F(x)=F0(x)F0(x)1lnF0(x)A(x)
即:
F(x)=F0(x)(1−ln⁡F0(x)+A(x))F(x)=F_0(x)(1-\ln F_0(x)+A(x)) F(x)=F0(x)(1lnF0(x)+A(x))
时间复杂度O(nlgn)O(nlgn)O(nlgn)A(0)=0A(0)=0A(0)=0时,F(0)=1F(0)=1F(0)=1

多项式k次幂

已知多项式A(x)A(x)A(x)以及一个整数kkk,求一个多项式F(x)F(x)F(x),使得F(x)=A(x)k(modxn)F(x)=A(x)^k\;\;\;(mod\;\;x^n)F(x)=A(x)k(modxn)

相当于求F(x)F(x)F(x)满足ln⁡F(x)−kln⁡A(x)≡0(modxn)\ln F(x)-k\ln A(x)\equiv 0\;\;\;(mod\;\;x^n)lnF(x)klnA(x)0(modxn)
也就是F(x)−ekln⁡A(x)≡0(modxn)F(x)-e^{k\ln A(x)}\equiv 0\;\;\;(mod\;\;x^n)F(x)eklnA(x)0(modxn)

因此先ln⁡\lnln,再乘kkk,再expexpexp回去即可。

时间复杂度O(nlgn)O(nlgn)O(nlgn)

Code详见多项式全家桶

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/315751.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

.NET Core 3.0之创建基于Consul的Configuration扩展组件

经过前面三篇关于.NET Core Configuration的文章之后,本篇文章主要讨论如何扩展一个Configuration组件出来。如果前面三篇文章没有看到,可以点击如下地址访问.NET Core 3.0之深入源码理解Configuration(一).NET Core 3.0之深入源码理解Configuration(二)…

Mono 和 .NET Core比翼双飞

大家好,今天给大家分享.NET 蓝图之下的Mono和.NET Core 话题,微软在Build 2019 大会上给.NET 做了一个五年规划,所以分享的主题就是《Mono和.NET Core 比翼双飞》,将在完成这个五年规划的时候合体。在开始这个主题之前&#xff0c…

在上司面前硬不起来?教你如何快速将字符串转换为可执行代码

老是因为活不好被上司欺凌?在上司面前很没面子?在上司面前硬不起来? 是时候分享一个可以快速将字符串转换为可执行代码的项目给你了 - YACEP !不过,这不是一篇专门对YACEP 做详细介绍的随笔,想知道更详细的的YACEP 细节…

P4827 [国家集训队] Crash 的文明世界

P4827 [国家集训队] Crash 的文明世界 题目描述 Solution 看到这种kkk次幂的式子,就应该往斯特林数的方面想想。 mn∑i{ni}(ni)i!m^n\sum_i \left\{ \begin{aligned} n \\ i \end{aligned} \right\} \left ( \begin{aligned} n \\ i \end{aligned} \right )i!mn∑…

ConcurrentDictionary线程不安全么,你难道没疑惑,你难道弄懂了么?

事情不太多时,会时不时去看项目中同事写的代码可以作个参考或者学习,个人觉得只有这样才能走的更远,抱着一副老子天下第一的态度最终只能是井底之蛙。前两篇写到关于断点传续的文章,还有一篇还未写出,后续会补上&#…

bzoj#4555. [Tjoi2016Heoi2016]求和

bzoj#4555. [Tjoi2016&Heoi2016]求和 题目描述 Solution 有一个关于第二类斯特林数的公式: {nm}1m!∑i(mk)(m−k)n(−1)k\left\{ \begin{aligned} n \\ m \end{aligned} \right\} \frac{1}{m!}\sum_i \left ( \begin{aligned} m \\ k \end{aligned} \right )…

记一次ORM的权衡和取舍

面对ORM的选型,有些人是根据自己熟悉程度来评判,有些人是根据他人的推荐来抉择,有些人觉得都差不多,随便了。当自己要真正做选择的时候,以上的这些依据都无法真正说服自己,因为不同的业务需求,不…

P5395 【模板】第二类斯特林数·行

P5395 【模板】第二类斯特林数行 题目描述 Solution 这题是[Tjoi2016&Heoi2016]求和的前置技能啊…… 我似乎直接跳过这题&#xff0c;去做应用了QAQQAQQAQ。 Code #include <vector> #include <list> #include <map> #include <set> #inclu…

出让执行权:Task.Yield, Dispatcher.Yield

一个耗时的任务&#xff0c;可以通过 Task.Yield 或者 Dispatcher.Yield 来中断以便分割成多个小的任务片段执行。Yield 这个词很有意思&#xff0c;叫做“屈服”“放弃”“让步”&#xff0c;字面意义上是让出当前任务的执行权&#xff0c;转而让其他任务可以插入执行。Task、…

HDU4372 Count the Buildings

HDU4372 Count the Buildings 题目描述 Solution 思路很妙。 考虑从最高的一个楼房将序列分开&#xff0c;左边可以看到FFF个&#xff0c;右边可以看到BBB个&#xff0c;一个楼房可以被看到&#xff0c;则一定是其之前没有比它高的楼房&#xff0c;其之后有若干个比它矮的楼…

VS Code 即将迎来再一次的 logo 更新!已可在 Insiders 版本尝鲜

为什么要说“再一次”&#xff1f; 相信 VS Code 的老用户都还记得两年前的 logo 更新风波吧。当时 VS Code 改了新 logo 之后&#xff0c;VS Code 的用户们一片哀嚎&#xff0c;纷纷觉得新 logo 太丑&#xff0c;在 GitHub 和各种社交媒体上各种吐槽&#xff01;不过幸运的是&…

CF961G Partitions

CF961G Partitions 题目描述 Solution 推式子&#xff1a; AnsAnsAns ∑wi∑s0n(n−1s−1){n−sk−1}\sum w_i\sum_{s0}^n\left ( \begin{aligned} n-1 \\ s-1 \end{aligned} \right ) \left\{ \begin{aligned} n-s \\ k-1 \end{aligned} \right\}∑wi​∑s0n​(n−1s−1​)…

从零开始在 Windows 上部署 .NET Core 到 Kubernetes

本章节所有代码已上传至&#xff1a;https://github.com/Seanwong933/.NET-Core-on-Kubernetes文末附有本人遇到过的 Docker 和 k8s 的故障排除。本文目标&#xff1a;带领大家在 Kubernetes 上部署一个 .NET Core Api 的单节点集群。后续文章会帮助大家继续深入。安装 Kuberne…

bzoj5093: [Lydsy1711月赛]图的价值

bzoj5093: [Lydsy1711月赛]图的价值 题目描述 Solution 考虑每一个点的贡献&#xff0c;枚举它的度数。 Ansn∗2(n−12)∑i1n−1(n−1i)∗ikAnsn*2^{\tbinom{n-1}{2}}\sum_{i1}^{n-1} \left( \begin{aligned} n-1 \\ i\;\;\; \end{aligned} \right)*i^kAnsn∗2(2n−1​)i1∑…

.NET Core微服务 权限系统+工作流(一)权限系统

一、前言实际上权限系统老早之前我就在一直开发&#xff0c;大概在刚毕业没多久就想一个人写一个系统&#xff0c;断断续续一直坚持到现在&#xff0c;毕竟自己亲动手自写的系统才有收获&#xff0c;本篇仅介绍权限。小小系统上不了台面&#xff0c;望各位大神勿喷。二、系统介…

bzoj#3456. 城市规划

bzoj#3456. 城市规划 题目描述 Solution 用组合意义推很简单。 iii个点的简单无向图个数为2(i2)2^{\tbinom{i}{2}}2(2i​)个。 则其EGFEGFEGF为 G(x)∑i>02(n2)i!xiG(x)\sum_{i>0}\frac{2^{\tbinom{n}{2}}}{i!}x^i G(x)i>0∑​i!2(2n​)​xi 令iii个点的简单无向连…

iNeuOS云操作系统,.NET Core全系打造

一.演示地址演示地址&#xff1a; 进入iNeuOS系统。&#xff08;建议使用chrome浏览器&#xff09;http://192.144.173.38:8081/login.html测试名称&#xff1a;admin测试密码&#xff1a;admin下载《iNeuOS云操作系统演示应用手册》 链接&#xff1a;https://pan.baidu.co…

译 | 你到底有多精通 C# ?

点击上方蓝字关注“汪宇杰博客”文&#xff1a;Damir Arh译&#xff1a;Edi Wang即使是具有良好 C# 技能的开发人员有时候也会编写可能会出现意外行为的代码。本文介绍了属于该类别的几个 C# 代码片段&#xff0c;并解释了令人惊讶的行为背后的原因。Null 值我们都知道&#xf…

uoj#422. 【集训队作业2018】小Z的礼物

uoj#422. 【集训队作业2018】小Z的礼物 题目描述 Solution 所有礼物全部取到的方案数并不好求&#xff0c;因此我们考虑min−maxmin-maxmin−max容斥&#xff0c;转化为第一次取到集合中某一个的期望时间。 令pn∗(m−1)m∗(n−1)pn*(m-1)m*(n-1)pn∗(m−1)m∗(n−1)表示有…

[开源] FreeSql AOP 功能模块 - FreeSql

FreeSql 是一个功能强大的 .NETStandard 库&#xff0c;用于对象关系映射程序(O/RM)&#xff0c;支持 .NETCore 2.1 或 .NETFramework 4.6.1&#xff08;QQ群&#xff1a;4336577&#xff09;。据了解&#xff0c;用户使用很少问问题&#xff0c;编码过程中&#xff0c;因业务阻…