迫 真 计 算 器

为各给野兽学家提供数字证明的利器


こ↑こ


说明:

是不是找到了野兽先辈的新说,却难以做出数字证明?那么迫真计算器将是你的不二之选。

输入需要的数字(将忽视字母,留空视为0),再确认限制数量(0为不做限制),这里将计算出部分可能性(想喝几杯红茶),算式可以是四则运算和括号。

数字将在本地运算,计算复杂度很大(卡顿注意),如果输入过长的数字可能会爆破你的计算机(确信),点击结果即可选择,然后复制

希望得到精确的分数形式?希望得到超快的计算速度?请移步迫真计算器C++版



例:

要证: 野兽先辈O..O说(正论)

等价于证明:BigPrime==114514



关于算法:

终于支持四则运算了!通过表达式树解决了括号问题,是应该好好学习图论了呢(心虚)。

表达式树的形状是固定的且尽量平衡(再枚举这个,复杂度n!要上天了),在其中的根节点进行状态压缩枚举,复杂度较高,为O(4^n+4^m)

本代码还有一些不合理的地方,速度并不是最优的(比如有些递归可以减少)。(其实我只是想让代码变短)本身具有一些不合理的写法降低了可读性,同时也有一些很迷的操作,但是我不想改了→_→