📖 AI 总结

Meta 开源的 Rebalancer 是一款任务分配求解器，采用 C++ 核心并提供 Python 绑定，可用于数据中心资源调度与优化。文章通过完整教程演示了其核心概念——对象、容器、维度、作用域与分区，并展示了如何添加约束与目标函数，以及在局部搜索和精确混合整数求解器 HiGHS 之间进行选择。作者构建了小型数据中心场景，模拟排空繁忙主机，并在玩具模型、互斥主机、合成集群及 60 个公开 OR-Library 实例上对比两种求解器。关键发现是：求解器返回的 solved 标志并不可靠，在 24 次求解中有 14 次标记为 True 却仍存在内存超限；局部搜索下的 HARD 约束会返回违规结果而不报错，拼写错误的配置键被静默忽略。作者强调应以重新核算分配结果来评判方案，而非依赖求解器标志。