2025年7月24日木曜日

XML converter for Scheduling Benchmarks

 未解決のスケジューリングベンチマーク問題について取り組みを始めました。

未解決なのは、

instance15

instance23

instance24

の3問です。

検討を始めるにあたって、スケジュールナースのCSV解をAutoRosterのフォーマット(XML)に読み込ませるためのコンバータを制作しました。これまでは、IFDEFコンパイルオプションにより、AutoRosterに読み込ませる解XMLをスケジュールナース内部で生成していましたが、いちいち再コンパイルする手間をなくすのが目的です。

以下使い方です。

とりあえず、求解を中止しました。2時間程走らせてUB=3828 になっています。この値はは、菅原システムズが所持する世界記録に同じです。


解画面で、

CSVファイルで出力すると、プロジェクトファイル名+_shift.csvで、ファイル出力されます。

次にXMLコンバータ起動、求解し、出力されたファイルを指定します。
同じフォルダに、tak_solution.xml が出力されます。
AutoRosterを起動して、下記フォルダにtak_solution.xmlファイルを置いて読み込みます。

確かに、解は、Feasibleで、かつUB=3828をAutoRosterでも確認できました。

中身は、PostPythonで書いていて、INRC2用のコンバータcsv.nurse3と同じように、単なるフォーマットコンバータです。

0 件のコメント:

コメントを投稿