matematico-tao - 以数学方法严谨分析代码与架构
运用复杂度理论、图论、形式逻辑、概率论等数学方法分析代码与软件架构。
标签
更新于: 2026-10-19能力
典型输入
典型输出
该技能可以做什么
- 分析算法复杂度
- 构建软件依赖图
- 检查并发属性
- 评估系统性能
- 验证形式正确性
- 分析架构抽象
- 识别不变量违反
- 提出数学论证的修复方案
输入
- 源代码
- 软件架构
- 系统需求
- 运行时行为
- 项目参考文件
输出
- 数学分析
- 复杂度评估
- 并发问题发现
- 性能评估
- 正确性问题发现
- 按优先级排列的建议
- 具体代码解决方案