当前位置: 首页 > news >正文

构造中国剩余定理方程组的解

给你一个同余方程组:

\[\begin{cases} x\equiv b_1(\text{mod}\ c_1)\\ x\equiv b_2(\text{mod}\ c_2)\\ \dots\\ x\equiv b_n(\text{mod}\ c_n) \end{cases} \]

其中 \(c_i\) 两两互素,求解。
我们令 \(M = \displaystyle\prod^n_{i=1}c_i\)
然后令 \(m_i = \dfrac{M}{c_i}\)
然后,对每个 \(m_i\),求其逆元 \(k_i\)
\(m_ik_i\equiv 1(\text{mod}\ c_i)\)
构造解 \(x = \displaystyle\sum^n_{i = 1}b_ik_im_i\)
验证是否成立:
\(x\equiv \displaystyle\sum^n_{j = 1}b_jk_jm_j\equiv \displaystyle\sum^n_{j = 1}b_jk_jm_j\equiv\displaystyle\sum^{i - 1}_{j = 1}b_jk_jm_j + b_ik_im_i + \displaystyle\sum^n_{j = i+1}b_jk_jm_j(\text{mod}\ c_i)\)
因为 \(\forall j\in \left[1,i-1\right]\cup\left[i+1, n\right]\),有 \(c_i\mid m_j\)
因此 \(x\equiv b_ik_im_i\equiv b_i(\text{mod}\ c_i)\)

http://www.hskmm.com/?act=detail&tid=26047

相关文章:

  • 2025粒度仪厂家最新品牌推荐榜,喷雾粒度分析仪, 激光粒度仪,激光粒度分析仪,纳米粒度仪公司推荐
  • MTK oppoR9m Smart Phone flash Tool 提示 ERROR: STATUS_ABORT(0xC0010002)
  • 二分图最大匹配 Dinic/EK算法
  • 基本Dos指令
  • 2025 年酒店一次性用品源头厂家最新推荐排行榜:含牙签牙线筷子套杯盖杯垫杯套外卖筷子印刷房卡套信封用品优质供应商盘点
  • 2025餐饮一次性用品厂家最新推荐排行榜:聚焦资质口碑与产品实力,助力餐饮企业精准选品!
  • 2025工伤诉讼律师事务所推荐:北京市信之源律所专业维权值得
  • 2025小程序开发公司最新推荐榜,优选杭州网博科技,兼顾用户体验与传播效果
  • 2025企业合同律师事务所推荐:北京信之源律所,专业靠谱之选
  • MTK oppoR9m Smart Phone flash Tool 提示 ERROR: STATUS_PRELOADER_INVALID(0xC0030004)
  • Docker 部署 PostgreSQL 数据库教程
  • 2025年软件外包平台解析:10个不同定位的真实情况
  • P3574 题解 | 贪心,树形 dp
  • 爱,在行动中生长,我们因爱而变得辽阔——《岛上书店》读后感
  • Ubuntu 下同名文件替换后编译链接到旧内容的现象分析 - 实践
  • Luogu P14007 「florr IO Round 1」查询游戏 题解 [ 蓝 ] [ 交互 ]
  • RK3588和FPGA桥片之间IO电平信号概率性不能通信原因 - 实践
  • 稀缺计算资源如何塑造机器学习优化专家
  • PWN手的成长之路-10-GDOUCTF 2023-Shellcode-短字节shellcode
  • 优雅的合并GIT分支
  • Docker部署
  • 完整教程:Excel to JSON 插件 2.4.0 版本更新
  • Ai元人文:人文逻辑与规则逻辑的统一
  • 《二千年间》在线阅读
  • 蒟蒻的第一篇随笔
  • oppoR9m刷Linux系统: 安装MTK USB VCOM驱动
  • [特殊字符] FFmpeg 学习笔记 - 详解
  • .NET周刊【9月第3期 2025-09-21】
  • 通过实验直观理解神经网络:ReLU网络与几何解释
  • CCPC2023哈尔滨 游记(VP)