Gurobi 运筹优化建模
将以下提示词粘贴到你的 AI 对话框中:
请根据 https://skillhub.cn/install/skillhub.md,安装 @user_ff97f32a/gurobi-optimization-skill。
技能介绍
要解决的问题
运筹优化建模常常卡在“从业务描述到可求解模型”的转换上:决策变量、目标函数、约束条件容易遗漏,业务参数分散在 Excel、CSV、JSON 中,求解后还难判断状态、目标值和变量取值是否合理。gurobi-optimization-skill 把这类过程约束成一条可执行的工程链路。
技能如何工作
该技能按 问题理解 → 数据校验 → 模型构建 → 代码生成 → 求解验证 → 结果分析 推进,强调参数必须来自用户文件或对话,不得编造默认值。关键能力包括:
- 数据入口统一:通过
data_loader.py和data_validator.py处理.csv、.xlsx、.json、.dat,并检查必需字段。 - 建模与代码生成:基于
prompts/下的分步指令,生成 Gurobi Python 模型,写入outputs/{问题名}/model.py。 - 求解与校验:运行模型后使用
model_validator.py检查GRB.OPTIMAL状态、目标值、Gap、变量与约束情况。 - 迭代与切换:识别修改约束、调整目标、添加变量等意图后,走
iteration_context.md与参数调整/结构修改流程,并另存带时间戳的新文件;可通过solver_factory.py在Gurobi、SCIP、OR-Tools、CBC间切换。
适用边界
它适合 LP、MILP、QP、MIQP 等以 Gurobi 为中心的优化任务,也支持生产排程、物流配送、资源分配、库存管理等模板场景。使用时要注意:没有许可证时不要默认强依赖 gurobipy;业务数据缺失时应先补齐字段;占位示例数据必须显式标注并替换。
使用场景
- 收到排程、产能和订单数据后,生成 LP/MILP 模型并求解。
- 物流和仓库数据在 Excel/CSV 中,检查字段并建网络流模型。
- 模型约束太紧时,调整目标权重、松弛约束并另存新版本。
- 无 Gurobi 许可时,切换 SCIP 或 OR-Tools 重新求解。
适合人员
- 需要把产能、订单、成本等表格数据转成 LP/MILP 模型并求解的运筹优化工程师。
- 希望基于 Gurobi Python API 快速生成排程、物流、库存或资源分配代码的算法工程师。
- 需要检查求解状态、目标值、Gap、变量取值和约束松弛的建模审核者。
- 缺少商业求解器许可、希望切换到 SCIP/OR-Tools/CBC 的本地建模用户。