在线离散对数求解器
在线离散对数求解器用于完成离散对数相关计算，支持数值、表达式或参数输入，并输出可核对、可复制的结果；数据仅在浏览器本地处理. 此工具无需安装，所有处理均在当前浏览器本地完成，不会…
开始使用
功能介绍
在线离散对数求解器用于完成离散对数相关计算，支持数值、表达式或参数输入，并输出可核对、可复制的结果；数据仅在浏览器本地处理。 输入内容不会上传服务器。
示例
示例输入
页面预设了适合该算法的示例参数，可直接点击计算观察结果。
示例结果
结果区会显示计算值、步骤摘要、路径、表格或采样数据。
使用说明
- 输入格式以字段标签和占位示例为准，多行数据通常每行一项。
- 复杂算法应先使用小规模输入，确认结果后再增加数据量。
- 计算结果可使用“复制全部”保存到文档或程序中。
适用场景
- 数学教学、算法学习、程序测试和数据核对。
- 数论、统计、集合、矩阵、图论和逻辑问题演示。
- 开发中的CRC、正则、状态机和压缩算法验证。
限制与注意事项
本工具以浏览器教学演示和中小规模计算为目标，不替代专业符号计算、密码审计或工程证明软件。全排列最多9项，子集最多18项；圆周率查询内置前100位。卡诺图、格密码、有限域椭圆曲线和博弈论工具展示核心计算过程，复杂生产问题应使用经过审计的专业库。
离散对数求解器：具体示例
假设您要求解方程 2^x ≡ 8 (mod 13)。输入底数 g=2，模数 p=13，目标值 h=8，然后点击计算。工具会使用小步大步法（baby-step giant-step）在模 13 的乘法群中搜索 x。计算过程如下：
- 令 m = ⌈√13⌉ = 4。
- 计算 baby steps: 2^0=1, 2^1=2, 2^2=4, 2^3=8，并存储映射。
- 计算 giant steps: 计算因子 2^{-4} mod 13 = 2^8 mod 13 = 9（因为 2^4=16≡3，逆元为 9）。然后依次计算 h * (2^{-4})^j 的值，直到匹配 baby step。
- 最终找到 x = 3，因为 2^3 = 8 ≡ 8 (mod 13)。
结果区会显示 x = 3，并可能提供中间步骤摘要。
常见问题
为什么我的输入被拒绝？
请检查输入是否为整数，且模数 p 必须为素数（或至少与底数互质）。工具可能要求底数、模数和目标值在特定范围内，例如模数不超过 10^6。如果输入不符合要求，请调整后重试。
这个工具能用于实际密码学吗？
不能。此工具仅用于教学演示和中小规模计算，不适用于生产环境中的密码学或安全密钥生成。对于实际应用，请使用经过审计的专业密码库。
如果方程无解怎么办？
如果目标值 h 不在底数 g 生成的子群中，则方程无解。工具会显示“未找到解”或类似提示。请检查输入值是否正确。
此工具无需安装，所有处理均在当前浏览器本地完成，不会上传输入内容或本地文件。