zoukankan      html  css  js  c++  java
  • 乘法逆元+模的运算规则

    模的运算规则

    运算规则

    模运算与基本四则运算有些相似,但是除法例外。其规则如下:
    (a + b) % p = (a % p + b % p) % p (1)
    (a - b) % p = (a % p - b % p) % p (2)
    (a * b) % p = (a % p * b % p) % p (3)
    (a^b) % p = ((a % p)^b) % p (4)

    %运算法则 

    1. (a*b) %p= ( a%p) *(b%p) 乘法的

    2. (a/b) %p= ( a *b^(-1)%p) 除法的

    结合律:
    ((a+b) % p + c) % p = (a + (b+c) % p) % p (5)
    ((a*b) % p * c)% p = (a * b*c) % p (6)// (a%p*b)%p=(a*b)%p
    交换律:
    (a + b) % p = (b+a) % p (7)
    (a * b) % p = (b * a) % p (8)
    分配律:
    ((a +b)% p * c) % p = ((a * c) % p + (b * c) % p) % p (9)
    重要定理:
    若a≡b (% p),则对于任意的c,都有(a + c) ≡ (b + c) (%p);(10)
    若a≡b (% p),则对于任意的c,都有(a * c) ≡ (b * c) (%p);(11)
    若a≡b (% p),c≡d (% p),则 (a + c) ≡ (b + d) (%p),(a - c) ≡ (b - d) (%p),
    (a * c) ≡ (b * d) (%p),(a / c) ≡ (b / d) (%p); (12)
     
    乘法逆元:
    定义: 满足a*k≡1 (mod p)的k值就是a关于p的乘法逆元。
    为什么要有乘法逆元呢?
    当我们要求(a/b) mod p的值,且a很大,无法直接求得a/b的值时,我们就要用到乘法逆元。 我们可以通过求b关于p的乘法逆元k,将a乘上k再模p,
    即(a*k) mod p。其结果与(a/b) mod p等价。
    证:(其实很简单。。。)  根据b*k≡1 (mod p)有b*k=p*x+1。 k=(p*x+1)/b。 
    把k代入(a*k) mod p,得:
    (a*(p*x+1)/b) mod p  =((a*p*x)/b+a/b) mod p 
    =[((a*p*x)/b) mod p +(a/b)] mod p 
    =[(p*(a*x)/b) mod p +(a/b)] mod p 
    //p*[(a*x)/b] mod p=0
    所以原式等于:(a/b) mod p
     
     
    ((a^k-1)/x)%mod=((((a%mod)^k -1)%mod)*x^-1)%mod;
    不知道这个公式是否成立,先这么用着了。。。。。orz
     
     转载:
    在计算一个很大的组合数modP时会用到乘法逆元。即把/a变成*(f(a)),其中f(a)为a在模P意义下的乘法逆元,即a*f(a) mod P=1
    计算乘法逆元有两种方法,扩展gcd或基于欧拉公式的快速幂取模。
    ------------------------------------------------------------------------------------------------------
    扩展gcd就是求解方程ax=1(mod P)的最小整数解.
    设ax=1+y*p,即a*f(a,p)=1+p*g(a,p),把x和y的解看成关于a,p的函数。
    a>=p时,设a=p*k+r,则式子变成:
    p*k*f(a,p)+r*f(a,p)=1+p*g(a,p),移项,得r*f(a,p)=1+p*(g(a,p)-k*f(a,p))
    那么就得到f(a mod p,p)=f(a,p),g(a mod p,p)=g(a,p)-[a/p]*f(a,p);
    p>=a时差不多一个意思。
    所以把f,g设成全局变量,像普通gcd那样做,即时更新f,g即可。
    ----------------------------------------------------------------------------------------------------
    设欧拉函数phi(x)=在[1,x-1]中与x互质的数字个数。那么欧拉公式:
    a^phi(P)=1(mod P)
    两边同除a,即可得到a^(phi(P)-1) mod P即为a在模P意义下的乘法逆元。
    特例:
    如果P是质数,那么phi(P)
    =P-1.即a的乘法逆元为a^(P-2),快速幂即可。
    #include <iostream>
    using namespace std;
    int extended_gcd(int a,int b, int &x, int &y)
    {
        if (b == 0)
        {
            x = 1;
            y = 0;
            return a;
        }
        else
        {
            int gcd = extended_gcd(b, a % b, x, y);
            int t=x%mod;
            x=y%mod;
            y=((t-a/b*x)%mod+mod)%mod;
            return gcd;
        }
    }
    int main()
    {
        int i, x, y;
        const int P = 13;
        for (i = 1; i < P; ++i)
        {
            extended_gcd(i, P, x, y);
            while (x < 0) x += P;
            printf("1 div %d = %d
    ", i, x);
        }
        return 0;
    }
  • 相关阅读:
    周总结07(2018.1.8-2018.1.13)
    软件工程概论课总结
    第二阶段团队冲刺-seven
    人月神话阅读笔记06
    第二阶段团队冲刺-six
    周总结06(2018.1.1-2018.1.6)
    第二阶段团队冲刺-five
    开发记录06
    开发记录05
    开发记录04
  • 原文地址:https://www.cnblogs.com/zhangmingcheng/p/4242431.html
Copyright © 2011-2022 走看看