祝日の国際化

C#オフラインで、ありました。

https://github.com/nager/Nager.Date

がよさそうなので、これを採用しようと思います。

Algorithm4のRefactoring

以前頓挫した、ペア制約のLP化を再考してみました。

A:f1(x0,x1,x2...)≤b1;

B:f2(x0,x1,x2...)≤b2;

Implication A→Bは、

!A+B

そのソフト化は、Binary Variable Cを追加して

!A+B+C >=1;-----(1)

Minimize:  ...+C*Cweight;

とします。ここで、Cは、0になるように作用することに注意します。すると(1)式より

！Aもしくは、Bが１になるように作用することが分かります。なので、

！A:  f1(x0,x1,x2...)+M(1-A) ≧b1+1;

   B:  f2(x0,x1,x2...) -M(1-B) ≤b2;

とすれば、A＝＝１、B==1側に自然に作用します。（Mは、BigMです。）

上のように定式化すれば、ペア制約ImplicationもLP化(Linear　Programming)出来そうです。

130Aをリリースしました

メジャーバージョンアップです。

今後(8月)の実装予定としては、
１）Algorithm4の一般化
２）祝日の国際化
３）マニュアル類の英語化
４）Dockerの構築

です。

python3_constraint_programming_manual

更新しました。
https://www.nurse-scheduling-software.com/tutorial/schedule_nurse3/shift_tutorial/schedule_nurse3_shift_tutorial.html


https://www.nurse-scheduling-software.com/tutorial/schedule_nurse3/task_tutorial/schedule_nurse3_task_tutorial.html

https://www.nurse-scheduling-software.com/tutorial/schedule_nurse3/user_manual/schedule_nurse3_user_manual.html

https://www.nurse-scheduling-software.com/tutorial/schedule_nurse3/advanced_manual/schedule_nurse3_advanced_user_manual.html

https://www.nurse-scheduling-software.com/tutorial/schedule_nurse3/python_manual/python3_constraint_programming_manual.html