mathguard - 以明确界限和安全约束选择数学型算法
指导选择具名的数学型和近似算法,并明确分析误差、渐进复杂度、权衡与不适用条件。
标签
更新于: 2026-10-05能力
典型输入
典型输出
该技能可以做什么
- 评估经典算法下限
- 识别具名数学技术
- 声明精确或近似模式
- 指定误差参数
- 论证渐进复杂度
- 说明优化权衡
- 拒绝不安全近似
- 提供代码或伪代码
输入
- 问题与工作负载描述
- 数据规模
- 正确性要求
- 性能约束
- 调用方误差容忍度
- 现有代码或算法上下文
- 团队维护熟悉度
输出
- 算法选择分析
- 精确性与误差说明
- 渐进复杂度论证
- 权衡与不适用条件分析
- 代码或伪代码
要求
- 事先由 lemmaly 确认经典方法不足
