V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
raysonlu
V2EX  ›  算法

关于余数,想求解是否有这样的关系

  •  
  •   raysonlu · 2021-08-11 10:19:37 +08:00 · 1195 次点击
    这是一个创建于 961 天前的主题,其中的信息可能已经有所发展或是发生改变。

    (axM)%N=b
    (bxM)%N=a

    求解是否存在这样的 M 和 N,可以使上面等式成立?如果可以的话能找到这样的 M 和 N 么?

    这个疑问来源于最近研究加密算法的时候,突然想起之前分析过一份不知道哪个大佬的算法中,使用了这个逻辑,当时没有细究原理,现在想起来却推敲不出来。

    22 条回复    2021-08-13 11:01:59 +08:00
    aneostart173
        1
    aneostart173  
       2021-08-11 10:27:36 +08:00
    数论的东西,看看初等数论。
    raysonlu
        2
    raysonlu  
    OP
       2021-08-11 10:30:59 +08:00
    @aneostart173 同余定理推算不出这个,或者您能给个初等数论中相关的理论?
    aneostart173
        3
    aneostart173  
       2021-08-11 10:34:45 +08:00
    @raysonlu 我不是数论的专家。。。这肯定是数论的知识,可以去数学论坛问啊。
    shoa
        4
    shoa  
       2021-08-11 14:30:45 +08:00 via Android
    a × m mod n = b
    b × m mod n = a
    故 a × m × m mod n = a
    又因为 a ≠ 0
    m × m mod n = 1
    m = 1 或 m = n - 1
    jie170601
        5
    jie170601  
       2021-08-11 14:51:13 +08:00 via Android
    正好前端时间看了 RSA 算法,比这个复杂一点,这个引入个倍数 k 就好算一点了:
    aM=Nk1+b
    bM=Nk2+a
    把 M 消掉后可以得到 Nk=a^2+b^2,代回去也能得到 M 了,如果只是想得到一组 M 和 N 的话,不妨把倍数 k k1 k2 都取 1,严整的解析解没有去推,反正把求余符号转换成 nk+余数的形式就好计算很多了
    raysonlu
        6
    raysonlu  
    OP
       2021-08-11 17:02:12 +08:00
    @jie170601 大哥,消 M 后得到的是 bNk1-aNk2 = a^2-b^2,你是怎样跳到“Nk=a^2+b^2”?在实际应用上,是得到了 M 和 N 这两个数字,然后 a 可以代入任何整数,实现 a 和 b 的关系转换。应该是有某种数学方法(不是通过 a 和 b)得到了 M 和 N 的
    jie170601
        7
    jie170601  
       2021-08-11 18:22:24 +08:00
    不好意思,午休用手机敲的,看到方程好解就直接解了。
    ps:k 那个地方是令 k=bk1-ak2,下面的推导也会经常合并 k 。
    再尝试推一下:

    aM=Nk1+b
    bM=Nk2+a

    消去 a:
    (bM-Nk2)M = Nk1+b

    合并 N:
    N(k2M+k1)=b-bM^2

    即:
    Nk3=b-bM^2

    两边同除 b:
    M^2=1+Nk

    即:
    M^2 % N = 1

    根据欧拉定理 /欧拉公式:
    f(N)=2
    M 为与 N 互质的任意整数

    临时想到的,推导可能有错,用欧拉定理的方向应该没问题😂
    Quantumzhao
        8
    Quantumzhao  
       2021-08-12 01:03:38 +08:00
    不知道楼主现在问题解决了没有……不过或许可以有另一种思路

    首先可以把上面的等式重写为:(下面的操作都是在 Z/NZ 的群中)
    aM ≡ b
    bM ≡ a

    因为 Z/NZ 是一个环,所以移项(以及等式两边同时加减)可得:
    ① (a + b)M ≡ (a + b)
    ② (a - b)M ≡ (b - a)

    然后分类讨论。
    若 M∈[0] 那么根据 ② 式就有:
    b - a ≡ 0,即 a ≡ b
    代入 ① 式可得
    a + b ≡ 0
    因此 a ≡ b ≡ 0

    若 M∈[1] 那么根据 ② 式就有:
    a - b ≡ b - a,即 a ≡ b

    若 M∈[-1] 那么根据 ① 式就有:
    a + b ≡ -(a + b),即 a + b ≡ 0

    若 M∈Z/NZ - [0] - [1] - [-1],那么根据 ① 式就有:
    a + b ≡ 0,即 a ≡ -b
    将其带入 ② 中,可得
    (-b - b)M ≡ 2b
    -2bM ≡ 2b
    2b(M + 1) ≡ 0
    因为 M 不在 [-1] 中,所以 2b ≡ 0

    总结:
    - 如果 M 是 N 的倍数,那么 a 和 b 都是 N 的倍数
    - 如果 M = kN + 1,k 为任意整数,那么 a 和 b 的余数相同
    - 如果 M = kN - 1,k 为任意整数,那么 a + b 是 N 的倍数
    - 如果 M 是其他情况,那么 a + b 是 N 的倍数且 2b 是 N 的倍数

    可能还有些错误和不完整的地方
    ziwiwiz
        9
    ziwiwiz  
       2021-08-12 10:32:43 +08:00
    M = a+b-1
    N = a+b

    验证,存在整数 x,y 满足
    aM=xN+b
    bM=yN+a
    展开
    a(a+b-1)=x(a+b)-b
    b(a+b-1)=y(a+b)-a

    x=(aa+ab-a-b)/(a+b)=a-1
    y=(bb+ab-a-b)/(a+b)=b-1
    ziwiwiz
        10
    ziwiwiz  
       2021-08-12 10:38:05 +08:00
    @ziwiwiz #9
    M = a+b-1
    N = a+b

    验证,存在整数 x,y 满足
    aM=xN+b
    bM=yN+a
    代入展开
    a(a+b-1)=x(a+b)+b
    b(a+b-1)=y(a+b)+a
    x=(aa+ab-a-b)/(a+b)=a-1
    y=(bb+ab-a-b)/(a+b)=b-1

    举例 a=232 b=678
    M=909 N=910 x=231 y=677
    (232*909)%910=678
    (678*909)%910=232
    raysonlu
        11
    raysonlu  
    OP
       2021-08-12 11:13:06 +08:00
    @jie170601 感觉上,方向貌似有点正确,不过不是很理解,在“合并 N”步骤中,不是应该得到“N(k2M+k1) = -b-bM^2”吗?接下来的,把“(k2M+k1)”换成了 k3,是什么原理?(里面有 M 哦)
    如果修正了“合并 N”步骤那里,并强行理解 k3,那最后就是“-(M^2) % N =1”。不过我尝试了游戏啊,根据你的结果得到一个 M 和 N 再用来演算式子,貌似走得通。(所以结论是任意一个互质的整数可以符合题目的关系?)
    raysonlu
        12
    raysonlu  
    OP
       2021-08-12 11:19:29 +08:00
    @Quantumzhao 开头的重写,小弟我就看不懂了,那个“等号”是指恒等于还是同余?不过后面的方向,貌似与题意也不符合,其实题意希望是:找出一组(或多组)的 M 和 N,代入任意正整数 a,a<N,使原题的式子成立。
    raysonlu
        13
    raysonlu  
    OP
       2021-08-12 11:56:24 +08:00
    @ziwiwiz 你的这个假设是成立的,但不知道是怎么假设出来的,以及貌似不是完全解。比如按照暂时#7 的结论是正确的话,即 M^2 % N = 1,那么可以得到一个 M=66,N=871,然后可以代入一个 a=123,得出一个 b=279,并且也符合原题式子。但这个结果不属于这个假设。
    Quantumzhao
        14
    Quantumzhao  
       2021-08-12 12:47:58 +08:00 via Android
    @raysonlu 对,就是同余的意思。其实最终的结论我是想说,M 和 N 可以取任意值(总是存在一对满足这样条件的 M 和 N ),然后如果还想另外知道此时 a 和 b 的关系的话,也可以参考“如果...” 的后半段

    (其实说白了基本上是其他几楼答案的汇总,不过更加 general 一些
    raysonlu
        15
    raysonlu  
    OP
       2021-08-12 13:46:06 +08:00
    @Quantumzhao 同余是与哪个模同余? aM 和 b 不是模 N 的同余吧?
    jie170601
        16
    jie170601  
       2021-08-12 14:34:56 +08:00
    @raysonlu

    结论并不是任意一个互质的整数可以符合题目的关系

    还有个 f(N)=2 的前提

    不过我那样求解实用性不大,
    M 和 N 需要满足 M^2 % N = 1,
    然后欧拉定理刚好可以保证 M 和 N 互质时 M^f(N) % N = 1,
    只要 f(N)等于 2 就行了,f 表示欧拉函数,
    但是这时候 N 就只能取 3,4,6,
    M 倒是可以任意取,只要与 N 互质
    隐含条件 a<N,那么 a 得小于 6 了
    所以不实用
    raysonlu
        17
    raysonlu  
    OP
       2021-08-12 17:16:14 +08:00
    @jie170601 #16 的“然后欧拉定理。。。”后面我看得不是很明白(毕竟很少研究算法云云),不过我刚开始的时候,直接拿“ M^2 % N = 1”作为结论去生成各种不同的 M 和 N,的确能满足题目的关系,然后回头演算了一下你给出的推导过程(然后我在上一个回复发现了一个推导出现了一个错误是不是我理解不正确?)
    anyway,可以 TG 一下再进一步沟通? QFJheXNvbkx1
    jie170601
        18
    jie170601  
       2021-08-12 20:32:33 +08:00 via Android
    @raysonlu 好像是有两步符号都算反了导致结论没出问题,欧拉定理可以搜一下,比较好看懂的。如果推导过程没错,只要满足 M^2 % N = 1 的 M 和 N 都是符合原题式子的,至于后面互质、欧拉定理那些只是求解这类 M,N 的一种方法
    Quantumzhao
        19
    Quantumzhao  
       2021-08-12 21:48:20 +08:00
    @raysonlu

    我想说的是 aM congruent to b
    比如第一个等式的意思是 aM = kN + b,k 为任意整数且 a 和 b < N 且 >= 0 。因此 aM 除以 N 的余数就是 b 。而 b 的余数也是 b,所以 aM 和 b 是模 N 的同余(我应该没有理解错同余的意思……?)

    然后因为我接下来都是用整数模 N 的群的性质,所以就省略了 N
    raysonlu
        20
    raysonlu  
    OP
       2021-08-12 22:45:57 +08:00
    @jie170601 其实我也是见别人用这种方法,进行 a 和 b 的转换,其实在后面,我更想了解这种方法,是怎么被发掘出来的?我还以为这已经是一个数学定论
    raysonlu
        21
    raysonlu  
    OP
       2021-08-13 10:29:38 +08:00
    @Quantumzhao “因此 aM 除以 N 的余数就是 b”这个从题目中明显得到,但“而 b 的余数也是 b”这里我还是推敲不出来,b 与 N 取模怎样等于 b 了?大佬在这里跳快了小弟跟不上。同余的意思就是教科书般简单没问题。
    Quantumzhao
        22
    Quantumzhao  
       2021-08-13 11:01:59 +08:00
    @raysonlu 比如说 5 mod 6,那么 5 可以写成 0 × 6 + 5 。然后根据取模的约定俗成的习惯,因为加号后面的那个 5 < 6 且 ≥ 0,所以 5 的余数就是 5 。同样如果把 5 和 6 替换成其他任意数字(比如 b 和 N )也是一样的(因为 b < N 且 ≥ 0 )

    另外后面的证明里我用到了和某个负数同余,例如 a ≡ -b,其实意思就是 a 和 N - b 同余
    关于   ·   帮助文档   ·   博客   ·   API   ·   FAQ   ·   我们的愿景   ·   实用小工具   ·   4484 人在线   最高记录 6543   ·     Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 · 53ms · UTC 10:01 · PVG 18:01 · LAX 03:01 · JFK 06:01
    Developed with CodeLauncher
    ♥ Do have faith in what you're doing.