通用数学建模工作流
将以下提示词粘贴到你的 AI 对话框中:
请根据 https://skillhub.cn/install/skillhub.md,安装 @user_3937f0b6/math-modeling-solver。
技能介绍
解决的问题
数学建模竞赛题通常不是单点公式,而是多小题、强约束、数据驱动的组合问题:题面里藏着速度、时间窗、容量、惩罚、碳排放等参数,数据文件可能是 Excel 或 CSV,且下一题常在上题基础上增加约束。直接让模型硬解,容易漏参数、错约束、结果不可复现。
工作流如何落地
该技能把求解过程拆成可审查的阶段:
- 理解问题:读取题面与数据文件,拆出子题、目标、约束和参数。
- 设计架构:选择
Mixed Integer Programming、启发式或动态规划,规划数据加载、初始解、2-opt、约束检查和成本计算。 - 实现 solver:用 Python、
pandas、numpy生成距离矩阵,构造时间相关、U 型能耗、软时间窗、碳成本等函数。 - 校验与分析:定位违反约束的路线,做定向修复;输出
problemX_solver.py、problemX_result.json、problemX_result.txt和图表。
它特别强调多题递进:Problem N+1 从 Problem N 基线出发,只增量加入新约束,并做跨题对比。
适用边界
更适合车辆路径、成本优化、多约束规划等可量化问题。对纯证明题、模糊题面或无法用数据复现的竞赛题,需要人工补清假设与指标。
使用场景
- 准备 CUMCM 多题路径优化时,把题面、Excel 数据和约束拆成 Python solver。
- 求解车辆路径多子题时,从第一题基线增量加入新约束并生成 JSON/TXT 结果。
- 检查违反时间窗路线时,定位根因并修复成本函数后重新验证。
- 整理竞赛结果时,生成路线图、成本汇总和跨题对比报告。
适合人员
- 参加 CUMCM 或华数杯的参赛者,需要把多题约束转成可运行 solver。
- 做车辆路径与成本优化课程的学生,需要生成 JSON 结果与人类可读摘要。
- 带竞赛训练的指导老师,需要审查多题递进、约束校验和跨题对比。
- 数据科学方向研究生,需要把 Excel 数据、距离矩阵和 2-opt 搜索接入可复现流程。