灵数求解器

确定性数值方程组求解工具 · 范围 ±100万 · 最多6变量 · 6位小数精度

评估版 · 离线 · 零数据 · 确定性 · 已验证解保真 · 穷尽尽力而为
安全攸关用途禁用:本工具为评估版参考实现,不得用于医疗、航空、汽车、军工、核电、金融自动交易等任何安全攸关(safety-critical)或生命攸关场景。此类用途须经独立功能安全认证,本工具未经任何认证。
使用说明
怎么用
1. 输入方程 每行写一个方程,用 = 连接左右两边。例:x + y = 5x² + y² = 25。支持 sin, cos, tan, ln, exp, sqrt, log, abs 及求导 diff、积分 int
2. 限定变量范围 在"变量名"框填写变量(留空自动检测)。要约束范围,写在方程里即可:x ∈ [0, 10](闭区间)、x > 0x ≠ 2。不写则默认搜索范围 ±100万。
3. 读懂输出 "解列表"里的每个点都经 Krawczyk 不动点认证(误差≤半径),是数学保真的真解,可直接采用。工具已尽力穷尽多解,但对极端病态(雅可比高度奇异、解簇极度贴近)系统,预算内仍可能遗漏个别解——此时结果会显式标记 truncated 或残余告警,未被找到的解不代表"不存在"
4. 结果类型 无解 / 唯一解 / 有限个离散解 / 无限多个连续解(参数化)/ 部分收敛(资源限制下找到部分解+未收敛区间)。状态见结果区的执行路径与耗时。
5. 诚实的局限 已找到的每个解都数学保真(经 Krawczyk 不动点认证,误差≤半径,可直接采用);工具会尽力穷尽非线性多解系统的全部解(全局区间分支定界),但对极端病态(雅可比高度奇异、解簇极度贴近)的系统,在计算预算内仍可能遗漏个别解——此时结果会显式标记 truncated 或残余告警,绝不静默给出错误结论,也绝不谎称已穷尽。5–6 变量强非线性可能算不完,只输出大概范围。完整能力与边界见下方"能力与边界",法律免责见"用户协议与免责声明"。
能力与边界
范围限制 每个变量的答案必须在 ±100万 之间,超出范围可能找不到解
变量数量 最多6个未知数(变量)。方程个数必须 ≥ 未知数个数
精度限制 最多保留6位小数。验证误差小于百万分之一
只能解实数 不支持复数。要求必须是整数、排除某个值这种约束,不强制执行
严格不等式 "大于"和"大于等于"算成一种,只找边界点
支持方程类型 线性、多项式、三角函数、指数对数,还支持求导、积分计算
它能做什么(能力)
自动选最快路径 简单题快算,难题慢算,不需要你设置参数
自动分类结果 无解(经 sound 算子严格证明)、有限个已验证解、无限多个连续解(输出距原点最近推荐解),帮你分清楚;预算未穷尽时显式标记
输出验证过的解 每个给出的答案都经残差校验(误差<百万分之一),可直接采用
已验证解保真 · 穷尽尽力而为 输出集中每个解都经 Krawczyk 不动点认证(误差≤半径),数学保真、可直接采用。工具通过全局区间分支定界尽力穷尽多解;但对极端病态(雅可比高度奇异、解簇极度贴近)系统,预算内可能遗漏个别解,此时显式标记 truncated/残余告警,绝不静默返回错误结论,也绝不谎称已穷尽
自动推荐最好解 先选零最多的解(变量为零更简单),零一样就选最接近原点的
两种使用方式 浏览器点点就行,也支持命令行批量处理
好在哪里(优点)
结果稳定不随机 同样输入永远得到同样结果,不会每次不一样
数学严谨可靠 在给定预算内采用保守区间算术,收缩算子均经单调性护栏验证(收缩后集合⊆收缩前),可审计、可复现
零数据 · 不联网 整个求解在本地完成,纯离线运行,数据不上传、不联网,保护隐私
打开就能用 不用装软件,不用配环境,直接双击打开就能用
有什么局限(缺点)
欠定系统只给推荐解 方程比未知数少(欠定)时,系统有无穷多解,本系统只输出距原点最近的推荐解(已验证),不输出包围盒;要全部解请增加方程
复杂题算得慢 5-6个变量又很绕的非线性,可能算不完,只输出大概范围
某些约束做不到 要求必须是整数、必须不等于某个值,这些做不了强制限制
不输出包围盒 本系统结果只有三种:空集无解 / 有限个解 / 无限解集(推荐解),不再用包围盒外包围,避免用过度放大的近似歪曲真实解集
结果怎么看(三种类型)
类型1 · 空集无解 区间算术严格证明不存在满足全部方程的实数,无任何解、不输出任何盒子或推荐解。
类型2 · 有限个解 下方"解列表"里的每个点都试过、满足全部方程(残差 <1e-6),可以直接用;每个点都显示误差。
类型3 · 无限解集(推荐解) 方程数少于变量数(欠定),真实解有无穷多个。本系统只输出距原点最近的推荐解(已验证确为真解点),不输出包围盒。该点是真解但非唯一,要更多解请增加方程约束。
⚠ 一句话记住: 只有"解列表"里的点是验证过的真解。无限解集只给一个距原点最近的推荐解,要完整解集就加方程。
固定 6 位小数(产品规格「6位小数有限网格」);求解计算与输出精度恒定,不提供位数切换。
执行路径: -
耗时: -