实验室.
从模型到证明。
六个计算实验，包括参数相图、整数优化搜索树，以及二维规划、统计、随机模拟和网络测量。可以修改模型并查看算法运行的过程。
不只显示答案。
把求解过程展开。
决策相图展示参数变化如何重排最优解；分支定界剖面展示整数规划如何搜索、剪枝，直至确认最优。两组实验均可修改输入并导出计算结果。
同一个模型。
无数个目标。
每一个色块对应一组目标函数系数(c₁,c₂)，颜色表示该目标下的最优顶点。拖动相图中的十字光标，观察可行域、最优点及目标值同步变化。
c₁x + c₂y → 最大化
系数范围：−6 ≤ c₁,c₂ ≤ +6。手指越过任意一侧边界时，拖动立即结束。区域分界处可能出现多重最优解。
计算准备中。
算法：对有界二维线性规划的全部可行顶点进行参数扫描，颜色分区对应目标系数空间的正规锥。相图是离散采样，可作为灵敏度观察工具，不代表通用求解器输出。
一次搜索，
一棵证明树。
给定0/1背包问题，通过分数背包松弛计算节点上界。逐步展开搜索树，观察节点剪枝、可行解更新，以及上下界最终收敛的过程。
选择实例后开始演算
算法：按价值密度排序生成分数背包上界；每个节点分成“选/不选”，上界不超过当前整数可行解的节点可安全剪枝。末尾使用穷举复核。限3—8件物品，运行于当前浏览器。
二维线性规划
自定义目标函数与约束条件，实时生成可行域，并计算边界上的最优点。支持最大化、最小化、无可行解与多重最优解。
目标函数
求解区域固定为 0 ≤ x,y ≤ U。这是明确的模型边界，不是绘图截断。
线性约束
最多12条约束，支持 ≤ 和 ≥。空白输入会提示错误。
坐标轴与最优点随模型修改更新。
约束检查
统计分析工作台
支持数据粘贴、CSV文本导入、分位数和分布图；输入第二组数据后，可进行Welch独立样本t检验。
+ 添加数据 B，进行两组比较
数据在当前浏览器内计算，不会上传至本站服务器。文件取首个数值列；有表头时自动跳过首行。
频数分布
FREEDMAN–DIACONIS箱线图
TUKEY SUMMARY蒙特卡洛模拟
在单位正方形中随机取点，统计落入四分之一圆内的比例，观察 π 的估计值如何随着样本量变化。
使用可重复的伪随机数；点状图最多绘制2000个样本，但计算会使用完整样本量。
估计值收敛过程
边缘请求分析
浏览器向本站的Cloudflare Worker发送多次请求，记录往返延迟、HTTP状态与响应区域。用于演示网络测量，不代表网络性能基准测试。
/api/status结果包含浏览器端往返时间，不应当解释为纯Worker计算耗时；网络条件、缓存、设备及连接复用都可能影响结果。
每次请求的往返延迟
点击“开始测量”查看实时结果。