热门标签 | HotTags
当前位置:  开发笔记 > 编程语言 > 正文

Newton-Raphson分部与大整数

如何解决《Newton-Raphson分部与大整数》经验,为你挑选了1个好方法。

我正在将BigInt课程作为编程练习.它在base-65536中使用2的补码有符号整数的向量(因此32位乘法不会溢出.一旦我完全工作,我将增加基数).

所有基本的数学运算进行编码,其中一个问题:分裂是痛苦的基本算法,我能够创造慢.(对于商的每个数字,它有点像二进制除法......除非有人想看到它,否则我不会发布它.)

而不是我的慢速算法,我想使用Newton-Raphson找到(移位)倒数然后乘以(和移位).我想我已经掌握了基础知识:你给出公式(x1 = x0(2 - x0*除数))一个很好的初始猜测,然后经过一些迭代后,x收敛到倒数.这部分似乎很容易......但是当我尝试将这个公式应用于大整数时,我遇到了一些问题:

问题1:

因为我正在使用整数......好吧......我不能使用分数.这似乎导致x总是发散(x0*除数似乎必须<2)?我的直觉告诉我应该对方程进行一些修改,使其能够整数运算(达到一定的精度),但我真的很难找出它是什么.(我缺乏数学技能在这里打败了我......)我想我需要找到一些等效的等式而不是dd*[base ^ somePower]?可以有一些方程式(x1 = x0(2 - x0*d))与整数一致吗?

问题2:

当我使用牛顿的公式来找到某些数字的倒数时,结果最终只是一个小部分,低于答案应该是...... ex.当试图找到4的倒数(十进制):

x0 = 0.3
x1 = 0.24
x2 = 0.2496
x3 = 0.24999936
x4 = 0.2499999999983616
x5 = 0.24999999999999999999998926258176

如果我代表基数为10的数字,我希望得到25的结果(并记住将产品右移2).使用一些倒数(例如1/3),您可以在知道足够的准确度后截断结果.但是我怎样才能从上面的结果中得出正确的倒数呢?

对不起,如果这太模糊或者我要求太多了.我查看了维基百科和我在谷歌上可以找到的所有研究论文,但我觉得我正在撞墙.我感谢任何人都能给我的帮助!

...

编辑:算法运行,虽然它比我预期的要慢得多.与我的旧算法相比,我实际上失去了很多速度,即使是数千位的数字......我仍然缺少一些东西.这不是乘法的问题,这是非常快的.(我确实使用Karatsuba的算法).

对于任何感兴趣的人,这是我目前的Newton-Raphson算法的迭代:

bigint operator/(const bigint& lhs, const bigint& rhs) {
    if (rhs == 0) throw overflow_error("Divide by zero exception");
    bigint dividend = lhs;
    bigint divisor = rhs;

    bool negative = 0;
    if (dividend <0) {
        negative = !negative;
        dividend.invert();
    }
    if (divisor <0) {
        negative = !negative;
        divisor.invert();
    }

    int k = dividend.numBits() + divisor.numBits();
    bigint pow2 = 1;
    pow2 <<= k + 1;

    bigint x = dividend - divisor;
    bigint lastx = 0;
    bigint lastlastx = 0;
    while (1) {
        x = (x * (pow2 - x * divisor)) >> k;
        if (x == lastx || x == lastlastx) break;
        lastlastx = lastx;
        lastx = x;
    }
    bigint quotient = dividend * x >> k;
    if (dividend - (quotient * divisor) >= divisor) quotient++;
    if (negative)quotient.invert();
    return quotient;
}

这是我的(非常丑陋)旧算法更快:

bigint operator/(const bigint& lhs, const bigint & rhs) {
    if (rhs == 0) throw overflow_error("Divide by zero exception");
    bigint dividend = lhs;
    bigint divisor = rhs;

    bool negative = 0;
    if (dividend <0) {
        negative = !negative;
        dividend.invert();
    }
    if (divisor <0) {
        negative = !negative;
        divisor.invert();
    }

    bigint remainder = 0;
    bigint quotient = 0;
    while (dividend.value.size() > 0) {
        remainder.value.insert(remainder.value.begin(), dividend.value.at(dividend.value.size() - 1));
        remainder.value.push_back(0);
        remainder.unPad();
        dividend.value.pop_back();

        if (divisor > remainder) {
            quotient.value.push_back(0);
        } else {
            int count = 0;
            int i = MSB;
            bigint value = 0;
            while (i > 0) {
                bigint increase = divisor * i;
                bigint next = value + increase;
                if (next <= remainder) {
                    value = next;
                    count += i;
                }
                i >>= 1;
            }
            quotient.value.push_back(count);
            remainder -= value;
        }
    }

    for (int i = 0; i 

ohad.. 7

首先,你可以实现时间上的划分O(n^2)和合理的常数,因此它不会比天真的乘法慢得多.但是,如果你使用类似Karatsuba的算法,甚至是基于FFT的乘法算法,那么你确实可以使用Newton-Raphson加速你的除法算法.

甲牛顿-拉夫逊迭代计算的倒数的xq[n+1]=q[n]*(2-q[n]*x).

假设我们要计算floor(2^k/B)其中B是一个正整数.WLOG , B?2^k; 否则,商是0.x=B/2^k收益率的Newton-Raphson迭代q[n+1]=q[n]*(2-q[n]*B/2^k).我们可以重新安排它

q[n+1]=q[n]*(2^(k+1)-q[n]*B) >> k

这种迭代只需要整数乘法和位移.它会收敛floor(2^k/B)吗?不必要.然而,在最坏的情况下,它最终在floor(2^k/B)和之间交替ceiling(2^k/B)(证明它!).所以你可以使用一些不那么聪明的测试,看看你是否在这种情况下,并提取floor(2^k/B).(这个"不那么聪明的测试"应该比每次迭代中的乘法更快;但是,优化这个东西会很好).

实际上,计算floor(2^k/B)足以计算floor(A/B)任何正整数A,B.就拿k这样A*B?2^k,和验证floor(A/B)=A*ceiling(2^k/B) >> k.

最后,这种方法的一个简单但重要的优化是在Newton-Raphson方法的早期迭代中截断乘法(即仅计算乘积的较高位).这样做的原因是,早期迭代的结果远非商,并且不正确地执行它们并不重要.(优化这个论点,并表明如果你适当地做这件事,你可以及时划分两位?n整数O(M(2n)),假设你可以及时乘以两位?k整数M(k),并且M(x)是一个增加凸函数).



1> ohad..:

首先,你可以实现时间上的划分O(n^2)和合理的常数,因此它不会比天真的乘法慢得多.但是,如果你使用类似Karatsuba的算法,甚至是基于FFT的乘法算法,那么你确实可以使用Newton-Raphson加速你的除法算法.

甲牛顿-拉夫逊迭代计算的倒数的xq[n+1]=q[n]*(2-q[n]*x).

假设我们要计算floor(2^k/B)其中B是一个正整数.WLOG , B?2^k; 否则,商是0.x=B/2^k收益率的Newton-Raphson迭代q[n+1]=q[n]*(2-q[n]*B/2^k).我们可以重新安排它

q[n+1]=q[n]*(2^(k+1)-q[n]*B) >> k

这种迭代只需要整数乘法和位移.它会收敛floor(2^k/B)吗?不必要.然而,在最坏的情况下,它最终在floor(2^k/B)和之间交替ceiling(2^k/B)(证明它!).所以你可以使用一些不那么聪明的测试,看看你是否在这种情况下,并提取floor(2^k/B).(这个"不那么聪明的测试"应该比每次迭代中的乘法更快;但是,优化这个东西会很好).

实际上,计算floor(2^k/B)足以计算floor(A/B)任何正整数A,B.就拿k这样A*B?2^k,和验证floor(A/B)=A*ceiling(2^k/B) >> k.

最后,这种方法的一个简单但重要的优化是在Newton-Raphson方法的早期迭代中截断乘法(即仅计算乘积的较高位).这样做的原因是,早期迭代的结果远非商,并且不正确地执行它们并不重要.(优化这个论点,并表明如果你适当地做这件事,你可以及时划分两位?n整数O(M(2n)),假设你可以及时乘以两位?k整数M(k),并且M(x)是一个增加凸函数).


推荐阅读
  • 本文由编程笔记#小编为大家整理,主要介绍了logistic回归(线性和非线性)相关的知识,包括线性logistic回归的代码和数据集的分布情况。希望对你有一定的参考价值。 ... [详细]
  • Iamtryingtomakeaclassthatwillreadatextfileofnamesintoanarray,thenreturnthatarra ... [详细]
  • CSS3选择器的使用方法详解,提高Web开发效率和精准度
    本文详细介绍了CSS3新增的选择器方法,包括属性选择器的使用。通过CSS3选择器,可以提高Web开发的效率和精准度,使得查找元素更加方便和快捷。同时,本文还对属性选择器的各种用法进行了详细解释,并给出了相应的代码示例。通过学习本文,读者可以更好地掌握CSS3选择器的使用方法,提升自己的Web开发能力。 ... [详细]
  • 本文介绍了C++中省略号类型和参数个数不确定函数参数的使用方法,并提供了一个范例。通过宏定义的方式,可以方便地处理不定参数的情况。文章中给出了具体的代码实现,并对代码进行了解释和说明。这对于需要处理不定参数的情况的程序员来说,是一个很有用的参考资料。 ... [详细]
  • 本文讨论了使用差分约束系统求解House Man跳跃问题的思路与方法。给定一组不同高度,要求从最低点跳跃到最高点,每次跳跃的距离不超过D,并且不能改变给定的顺序。通过建立差分约束系统,将问题转化为图的建立和查询距离的问题。文章详细介绍了建立约束条件的方法,并使用SPFA算法判环并输出结果。同时还讨论了建边方向和跳跃顺序的关系。 ... [详细]
  • 本文讨论了一个关于cuowu类的问题,作者在使用cuowu类时遇到了错误提示和使用AdjustmentListener的问题。文章提供了16个解决方案,并给出了两个可能导致错误的原因。 ... [详细]
  • 本文介绍了P1651题目的描述和要求,以及计算能搭建的塔的最大高度的方法。通过动态规划和状压技术,将问题转化为求解差值的问题,并定义了相应的状态。最终得出了计算最大高度的解法。 ... [详细]
  • 本文介绍了UVALive6575题目Odd and Even Zeroes的解法,使用了数位dp和找规律的方法。阶乘的定义和性质被介绍,并给出了一些例子。其中,部分阶乘的尾零个数为奇数,部分为偶数。 ... [详细]
  • Linux环境变量函数getenv、putenv、setenv和unsetenv详解
    本文详细解释了Linux中的环境变量函数getenv、putenv、setenv和unsetenv的用法和功能。通过使用这些函数,可以获取、设置和删除环境变量的值。同时给出了相应的函数原型、参数说明和返回值。通过示例代码演示了如何使用getenv函数获取环境变量的值,并打印出来。 ... [详细]
  • ALTERTABLE通过更改、添加、除去列和约束,或者通过启用或禁用约束和触发器来更改表的定义。语法ALTERTABLEtable{[ALTERCOLUMNcolu ... [详细]
  • 本文介绍了一个题目的解法,通过二分答案来解决问题,但困难在于如何进行检查。文章提供了一种逃逸方式,通过移动最慢的宿管来锁门时跑到更居中的位置,从而使所有合格的寝室都居中。文章还提到可以分开判断两边的情况,并使用前缀和的方式来求出在任意时刻能够到达宿管即将锁门的寝室的人数。最后,文章提到可以改成O(n)的直接枚举来解决问题。 ... [详细]
  • Java学习笔记之面向对象编程(OOP)
    本文介绍了Java学习笔记中的面向对象编程(OOP)内容,包括OOP的三大特性(封装、继承、多态)和五大原则(单一职责原则、开放封闭原则、里式替换原则、依赖倒置原则)。通过学习OOP,可以提高代码复用性、拓展性和安全性。 ... [详细]
  • 本文讨论了clone的fork与pthread_create创建线程的不同之处。进程是一个指令执行流及其执行环境,其执行环境是一个系统资源的集合。在调用系统调用fork创建一个进程时,子进程只是完全复制父进程的资源,这样得到的子进程独立于父进程,具有良好的并发性。但是二者之间的通讯需要通过专门的通讯机制,另外通过fork创建子进程系统开销很大。因此,在某些情况下,使用clone或pthread_create创建线程可能更加高效。 ... [详细]
  • 本文介绍了最长上升子序列问题的一个变种解法,通过记录拐点的位置,将问题拆分为左右两个LIS问题。详细讲解了算法的实现过程,并给出了相应的代码。 ... [详细]
  • 浏览器中的异常检测算法及其在深度学习中的应用
    本文介绍了在浏览器中进行异常检测的算法,包括统计学方法和机器学习方法,并探讨了异常检测在深度学习中的应用。异常检测在金融领域的信用卡欺诈、企业安全领域的非法入侵、IT运维中的设备维护时间点预测等方面具有广泛的应用。通过使用TensorFlow.js进行异常检测,可以实现对单变量和多变量异常的检测。统计学方法通过估计数据的分布概率来计算数据点的异常概率,而机器学习方法则通过训练数据来建立异常检测模型。 ... [详细]
author-avatar
mobiledu2502861463
这个家伙很懒,什么也没留下!
PHP1.CN | 中国最专业的PHP中文社区 | DevBox开发工具箱 | json解析格式化 |PHP资讯 | PHP教程 | 数据库技术 | 服务器技术 | 前端开发技术 | PHP框架 | 开发工具 | 在线工具
Copyright © 1998 - 2020 PHP1.CN. All Rights Reserved | 京公网安备 11010802041100号 | 京ICP备19059560号-4 | PHP1.CN 第一PHP社区 版权所有