如何使用 MS Solver Foundation 对简单的调度问题进行建模？
我有以下简单问题，想用 MS Solver Foundation 进行实验：
我有一个时间表，每天需要 2 名工人，持续 30 天。我需要遵守以下限制：
- 任何人都不应该连续工作两天。
- 除非有特殊例外，否则人们每周只能工作一次。
- 有些人只能在周末工作。
- 有些人只能在工作日工作。
我计划使用 C# 来填充模型，但我需要帮助开始建模。我不确定如何设置决策、参数和约束来解决此类问题。
更新：虽然 ire-and-curses 有一个良好的开端，但我必须想象有一种更具声明性的方式来使用框架来表达这些约束，而不是必须为每个人单独编码。有谁更熟悉 MSF 可以帮助完成这个建设吗？
I have the following simple problem that I'd like to use to experiment with MS Solver Foundation:
I have a schedule where I need to have 2 workers per day for 30 days. I need to honor the following constraints:
- No people should work two days in a row.
- Unless a special exception is applied, people should only work once per week.
- Some people can only work weekends.
- Some people can only work weekdays.
I plan to use C# to populate the model, but I need help getting started with the modeling. I'm not sure how to setup the decisions, parameters and constraints to address this type of problem.
Update: While ire-and-curses has a good start, I have to imagine that there's a more declarative way to express those constraints using the framework rather than have to code them individually for every person. Anyone more familiar with MSF that can help with this construction?
如果你对这篇内容有疑问，欢迎到本站社区发帖提问 参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。
绑定邮箱获取回复消息
由于您还没有绑定你的真实邮箱，如果其他用户或者作者回复了您的评论，将不能在第一时间通知您！
发布评论
评论（1）
如果您有
n个人，则必须定义30n个二进制整数参数，每个参数指示一个人是否在特定日期工作。然后你需要限制来防止连续两天工作。这将是
29n约束。那么你需要限制每周只工作一次。第一周如下，接下来三周类似。
上周将如下。
这将产生另一个
5n约束。然后仅添加工作日和周末
的约束，最后添加目标函数。
If you have
npeople, you will have to define30nbinary integer parameters each indicating if a person works on a specific day or not.Then you need constraints to prevent working on two days in row. This will be
29nconstraints.Then you need constraints to work only once per week. This will be the following for the first week and similar for the next three weeks.
The last week will just be the following.
This will yield another
5nconstraints. Then add constraints for weekdays onlyand weekends only
and finally add a target function.