MS Solver Foundation을 사용하여 간단한 일정 문제를 모델링하는 방법은 무엇입니까?</p> <p>내가 30 일 동안 하루에 두 노동자가 필요 어디 일정이 있습니다

Question

은 내가 MS Solver Foundation 실험을 사용하려면 다음과 같은 간단한 문제가있다. 다음 제약 조건을 준수해야합니다.

• 아무도 2 일 연속으로 일해야합니다.
• 특별한 예외가 적용되지 않는 한 사람들은 일주일에 한 번만 사용해야합니다.
• 일부 사람들은 주말에만 근무할 수 있습니다.
• 일부 사람들은 주중에만 근무할 수 있습니다.

모델을 채우기 위해 C#을 사용할 계획이지만 모델링을 시작하는 데 도움이 필요합니다. 이 유형의 문제를 해결하기 위해 의사 결정, 매개 변수 및 제약 조건을 설정하는 방법을 잘 모르겠습니다.

업데이트 : 분노 앤 저주가 좋은 시작을 가지고 있지만, 내가 프레임 워크를 사용하는 제약을 표현하기보다는 모든 사람에 대해 개별적으로 코딩해야하는보다 선언적인 방법이 상상해야. MSF에 익숙한 사람이라면 누구나이 건설에 도움이 될 수 있습니까?

Answer 1

사람이 n 사람인 경우 30n 이진 정수 매개 변수를 정의해야합니다.이 매개 변수는 특정 날짜에 사람이 근무하는지 여부를 나타냅니다.

P<xx>D<yy> == 1 => Person <xx> works on day <yy> 
P<xx>D<yy> == 0 => Person <xx> does not work on day <yy> 

그런 다음 2 일 연속으로 작업하지 못하게하려면 제약 조건이 필요합니다. 이것은 29n 제약이 될 것입니다.

P<xx>D<yy> + P<xx>D<yy+1> <= 1 

그런 다음 주당 한 번만 작업하도록 제한이 필요합니다. 첫 주에는 다음과 같으며 다음 3 주 동안은 비슷합니다.

P<xx>D00 + P<xx>D01 + P<xx>D02 + P<xx>D03 + P<xx>D04 + P<xx>D05 + P<xx>D06 <= 1 

지난주의 사항은 다음과 같습니다.

P<xx>D28 + P<xx>D29 <= 1 

이것은 또 다른 5n 제약 조건을 산출 할 것이다. 그 다음 평일에만

P<xx>D05 + P<xx>D06 == 0 
P<xx>D12 + P<xx>D13 == 0 
P<xx>D19 + P<xx>D20 == 0 
P<xx>D26 + P<xx>D27 == 0 

주말에만

P<xx>D00 + P<xx>D01 + P<xx>D02 + P<xx>D03 + P<xx>D04 == 0 
P<xx>D07 + P<xx>D08 + P<xx>D09 + P<xx>D10 + P<xx>D11 == 0 
P<xx>D14 + P<xx>D15 + P<xx>D16 + P<xx>D17 + P<xx>D18 == 0 
P<xx>D21 + P<xx>D22 + P<xx>D23 + P<xx>D24 + P<xx>D25 == 0 
P<xx>D28 + P<xx>D29 == 0 

을 제약 조건을 추가하고 마지막으로 대상 기능을 추가 할 수 있습니다.