一个大数除法/取模相关的数学问题 - V2EX
V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
请不要在回答技术问题时复制粘贴 AI 生成的内容
iqoo
V2EX    程序员

一个大数除法/取模相关的数学问题

  •  
  •   iqoo 2023-05-29 17:14:06 +08:00 1386 次点击
    这是一个创建于 895 天前的主题,其中的信息可能已经有所发展或是发生改变。

    问题:

    1. 有一个 13 字节的无符号整数 x ,除以 D (D = 123^6),求余数 r 和商 q 。

    2. 通过 r 、q ,还原 x 。

    算法只用 u64/u32 等基本类型,不使用编译器 /平台提供的特性。


    思路:使用 x_hi 和 x_lo 两个 u64 表示 x:

    x = x_hi * 2^64 + x_lo (其中 0 <= x_lo < 256^8 ,0 <= x_hi < 256^5 ) 

    根据分配率公式:(a + b) % p = (a % p + b % p) % p

    带入后,余数为:

    r = x % D = (x_hi * 2^64 + x_lo) % D = (x_hi * (2^64 % D) + x_lo % D) % D = (x_hi * 3378380888563 + x_lo % 3462825991689) % D 

    但当 x 很大时,乘法的结果就超出 u64 了。此时如何继续拆分?

    7 条回复    2023-05-30 01:29:45 +08:00
    akira
        1
    akira  
       2023-05-29 17:17:56 +08:00
    能用数组么
    iqoo
        2
    iqoo  
    OP
       2023-05-29 17:24:19 +08:00
    @akira 最好是用几个 u64 简单算出来,毕竟除数的已知的。之前用 gcc 的 __u128_t 类型,展开后一大堆逻辑。
    UIXX
        3
    UIXX  
       2023-05-29 17:52:31 +08:00
    后面这个推导不对,x_hi 也要模处理
    akira
        4
    akira  
       2023-05-29 18:07:55 +08:00
    xh xl 不够用,那就 x1,x2,x3,x4 咯
    MoYi123
        5
    MoYi123  
       2023-05-29 18:29:23 +08:00
    龟速乘
    iqoo
        6
    iqoo  
    OP
       2023-05-29 20:05:37 +08:00
    @UIXX 这里省略了。因为 x_hi 小于 D ,所以模了之后还是本身。
    KnightZJ
        7
    KnightZJ  
       2023-05-30 01:29:45 +08:00 via Android   2
    用类似快速幂的思想用快速乘能求出前半的(x_hi * 3378380888563)%D ,找了篇介绍的文章( https://www.cnblogs.com/jaszzz/p/12692716.html)和代码:
    long long q_mul(long long a,long long b,long long mod)
    // 快速计算 (a*b) % mod
    {
    long long ans=0;
    while(b)
    {
    if(b&1)
    ans =(ans+a)%mod;
    b>>=1;
    a=(a+a)%mod;
    }
    return ans;
    }
    关于     帮助文档     自助推广系统     博客     API     FAQ     Solana     848 人在线   最高记录 6679       Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 27ms UTC 20:19 PVG 04:19 LAX 12:19 JFK 15:19
    Do have faith in what you're doing.
    ubao msn snddm index pchome yahoo rakuten mypaper meadowduck bidyahoo youbao zxmzxm asda bnvcg cvbfg dfscv mmhjk xxddc yybgb zznbn ccubao uaitu acv GXCV ET GDG YH FG BCVB FJFH CBRE CBC GDG ET54 WRWR RWER WREW WRWER RWER SDG EW SF DSFSF fbbs ubao fhd dfg ewr dg df ewwr ewwr et ruyut utut dfg fgd gdfgt etg dfgt dfgd ert4 gd fgg wr 235 wer3 we vsdf sdf gdf ert xcv sdf rwer hfd dfg cvb rwf afb dfh jgh bmn lgh rty gfds cxv xcv xcs vdas fdf fgd cv sdf tert sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf shasha9178 shasha9178 shasha9178 shasha9178 shasha9178 liflif2 liflif2 liflif2 liflif2 liflif2 liblib3 liblib3 liblib3 liblib3 liblib3 zhazha444 zhazha444 zhazha444 zhazha444 zhazha444 dende5 dende denden denden2 denden21 fenfen9 fenf619 fen619 fenfe9 fe619 sdf sdf sdf sdf sdf zhazh90 zhazh0 zhaa50 zha90 zh590 zho zhoz zhozh zhozho zhozho2 lislis lls95 lili95 lils5 liss9 sdf0ty987 sdft876 sdft9876 sdf09876 sd0t9876 sdf0ty98 sdf0976 sdf0ty986 sdf0ty96 sdf0t76 sdf0876 df0ty98 sf0t876 sd0ty76 sdy76 sdf76 sdf0t76 sdf0ty9 sdf0ty98 sdf0ty987 sdf0ty98 sdf6676 sdf876 sd876 sd876 sdf6 sdf6 sdf9876 sdf0t sdf06 sdf0ty9776 sdf0ty9776 sdf0ty76 sdf8876 sdf0t sd6 sdf06 s688876 sd688 sdf86