约束优化规划引擎

解决什么问题

在工程实践中，任务调度与资源分配往往伴随着大量隐式条件。例如，多任务之间存在时间窗口互斥、资源容量上限或严格的因果依赖。当约束数量增加时，人工排程不仅耗时，还极易忽略冲突，导致计划在实际执行时失效。

本技能旨在解决复杂约束下的静态排程问题。它接收自然语言描述的任务需求，自动解析其中的物理限制与逻辑关系，并在满足所有硬约束的前提下，输出可执行的最优时间线。

核心工作流

技能的运行遵循严格的五步法，确保逻辑可追溯：

• 约束解析：识别并结构化输入中的关键信息，如资源容量、时间窗口或优先级权重。对于未明确的条件，系统会标记为 未指定 而非默认假设。
• 任务建模：将自然语言转化为优化模型输入，提取每个任务的持续时间、资源消耗及权重属性。
• 策略选择：根据问题规模动态调整算法。小规模问题（<20任务）使用启发式搜索，中大规模则采用分层分解或双层预测模型。
• 计划生成：执行求解并生成时间线，明确标注每个节点的起止时间与资源占用情况。
• 交付与导出：计划支持导出为 Markdown、JSON 或 CSV。当用户追加新约束时，系统会从第一步重新触发求解。

适用边界与注意点

• 仅处理静态规划：本技能不包含实时监控与动态调整。它生成的是某一时刻的最优快照，无法应对执行过程中的突发变量。
• 矛盾检测：若输入约束存在逻辑冲突，技能不会强行生成无效计划，而是识别冲突对并建议优先级调整。
• 不涉及算法底层：技能提供的是建模与求解框架，不负责具体数学证明或优化算法的底层代码实现。