荔园在线

荔园之美,在春之萌芽,在夏之绽放,在秋之收获,在冬之沉淀

[回到开始] [上一篇][下一篇]


发信人: hbo (H.B.), 信区: Hacker
标  题: 计算机密码学之十一
发信站: 深大荔园晨风站 (Tue Apr 14 15:47:48 1998), 转信

发信人: chan (Studying...), 信区: Hacker
标  题: 计算机密码学之十一
发信站: 华南网木棉站 (Sat Apr 11 11:08:40 1998), 转信

求y[j]使
        M[j]*y[j]≡1 mod m[j]    j=1,2,...,k
由于(M[j],m[j])=1,所以解y[j]是存在的。令
   x=b[1]*M[1]*y[1]+b[2]*M[2]*y[2]+...+b[k]*M[k]*y[k] (4)
可证明 x 便是(3)式的解.为证明这一点,请注意j≠h时,
m[j]┃M[h]  故
      M[j]≡0 mod m[h]
即 x 中各项险和第 h 项外,其余都模m[h]同余于0 又M[h]*y[h]≡1
mod m[k]
所以  x≡b[h]*M[h]*y[h] mod m[k]
       ≡b[h] mod m[k]
   后面证明(4)式是模m[1]*m[2]*...*m[k]的唯一解.如若不然,设x
   _
和 x是(3)式模M的两个解,即
      _
   x≡x≡b[j] mod m[j]  j=1,2,...,k
        _
那么  x-x≡0 mod m[j]
               _
即    m[j]┃(x-x)
            _
因此  M┃(x-x)
        _
或    x-x≡0 mod M
这就证明了对于模M(3)的解是唯一的.
   定理的证明是构造性的, 它提供了求解的一种步骤.
   例1   求解
      x≡1 mod 2
      x≡2 mod 3
      x≡3 mod 5
      M=2*3*5=30
      M[1]=15,M[2]=10,M[3]=6
      15y[1]≡1 mod 2,y[1]=1
      10y[2]≡1 mod 3,y[2]=1
       6y[3]≡1 mod 5,y[3]=1
----Page 11             Typed by W.Chan


--
※ 来源:.深大荔园晨风站 bbs.szu.edu.cn.[FROM: 202.192.140.143]


[回到开始] [上一篇][下一篇]

荔园在线首页 友情链接:深圳大学 深大招生 荔园晨风BBS S-Term软件 网络书店