c++ - 尝试理解简单的大数计算

标签 c++ math computation-theory bignum

我试图更好地理解“大数字”库的工作原理(例如 GMP)。

我想编写自己的函数 Add()/Subtract()/Multiply()/Divide()

该类按照传统方式定义...

std::vector<unsigned char> _numbers; // all the numbers
bool _neg; // positive or negative number
long _decimalPos; // where the decimal point is located
                  // so 10.5 would be 1
                  //    10.25 would be 2
                  //    10 would be 0 for example

首先我需要对数字进行标准化,这样我就可以做到

使用 2 个号码 10(x) + 10.25(y) = 20.25

为了简单起见,我会让它们的长度相同,

对于 x: _numbers = (1,0,0,0) 小数 = 2

对于 y: _numbers = (1,0,2,5) 小数 = 2

然后我可以在循环中反向将 x 添加到 y

...
// where x is 10.00 and y is 10.25
...
unsigned char carryOver = 0;
int totalLen = x._numbers.size();
for (size_t i = totalLen; i > 1 ; --i )
{
    unsigned char sum = x._numbers[i-1] + y._numbers[i-1] + carryOver;
    carryOver = 0;
    if (sum > _base)
    {
     sum -= _base;
     carryOver = 1;
    }
    numbers.insert( number.begin(), sum);
}

// any left over?
if (carryOver > 0)
{
  numbers.insert( number.begin(), 1 );
}

// decimal pos is the same for this number as x and y

...

上面的示例适用于将两个正数相加,但一旦我需要将负数与正数相加,它很快就会失败。

当涉及到数字减法时,这会变得更加复杂,对于乘法和除法来说,情况会更糟。

有人可以建议一些简单的 Add()/Subtract()/Multiply()/Divide() 函数

我并不是想重写/改进库,我只是想了解它们如何处理数字。

最佳答案

加法和减法非常简单

您需要检查操作数的符号和大小,并根据需要将运算与 +/- 相互转换。我的典型 C++ 实现如下:

//---------------------------------------------------------------------------
arbnum arbnum::operator + (const arbnum &x)
    {
    arbnum c;
    // you can skip this if you do not have NaN or Inf support
    // this just handles cases like adding inf or NaN or zero
    if (  isnan() ) return *this;
    if (x.isnan() ) { c.nan(); return c; }
    if (  iszero()) { c=x; return c; }
    if (x.iszero()) return *this;
    if (  isinf() ) { if (x.isinf()) { if (sig==x.sig) return *this;
                    c.nan(); return c; } return *this; }
    if (x.isinf()) { c.inf(); return c; }
    // this compares the sign bits if both signs are the same it is addition
    if (sig*x.sig>0) { c.add(x,this[0]); c.sig=sig; }
    // if not
    else{
        // compare absolute values (magnitudes)
        if (c.geq(this[0],x)) // |this| >= |x| ... return (this-x)
                {
                c.sub(this[0],x); 
                c.sig=sig;    // use sign of the abs greater operand
                }
        else    {             // else return (x-this)
                c.sub(x,this[0]);
                c.sig=x.sig;
                } 
        }
    return c;
    }
//---------------------------------------------------------------------------
arbnum arbnum::operator - (const arbnum &x)
    {
    arbnum c;
    if (  isnan() ) return *this;
    if (x.isnan() ) { c.nan(); return c; }
    if (  iszero()) { c=x; c.sig=-x.sig; return c; }
    if (x.iszero()) return *this;
    if (  isinf() ) { if (x.isinf()) { if (sig!=x.sig) return *this;
                    c.nan(); return c; } return *this; }
    if (x.isinf()) { c.inf(); c.sig=-x.sig;  return c; }
    if (x.sig*sig<0) { c.add(x,this[0]); c.sig=sig; }
    else{
        if (c.geq(this[0],x))
                {
                c.sub(this[0],x);
                c.sig=sig;
                }
        else    {
                c.sub(x,this[0]);
                c.sig=-x.sig;
                }
        }
    return c;
    }
//---------------------------------------------------------------------------

地点:

  • geq 是无符号比较大于或等于
  • add 未签名 +
  • sub 未签名 -

除法有点复杂

参见:

  • bignum divisions
  • approximational bignum divider

    对于部门,您需要已经实现了 +,-,*,<<,>> 等内容,而对于一些更高级的方法,您甚至需要以下内容:绝对比较(无论如何,您都需要它们来实现 +/-)、sqr,使用的位数通常分为小数部分和整数部分。

    最重要的是乘法,请参阅 Fast bignum square computation,因为它是大多数除法算法的核心。

性能

有关一些提示,请参阅 BigInteger numbers implementation and performance

文本转换

如果您的号码采用 ASCII 或 BASE=10^n 数字,那么这很简单,但如果您出于性能原因而使用 BASE=2^n,那么您需要具有能够在 dechex 字符串之间进行转换的快速函数,以便您实际上可以在类(class)中加载和打印一些数字。请参阅:

关于c++ - 尝试理解简单的大数计算,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/33851842/

相关文章:

c++ - 动态模板实例化

c++ - 如何在不同线程中随机播种

java - 如何使用 Eclipse 查找 Java 代码中潜在的数字溢出?

context-free-grammar - 为最多两个 0 的偶数长度字构造 CFG

time-complexity - 关于旅行商问题中 NP-hard 和 NP-Complete 的混淆

c# - 从C#事件触发C++操作

c++ - Libxml++ : Returning Line/Column number upon validity errors

javascript - D3 中有 "axis equal"吗?

algorithm - 编程: Give the count of all such numbers which have 3 in their decimal representation

automata - 什么是glushkov NFA。 Glushkov NFA 和 Thompson NFA 有什么区别?