点検スケジューリング

yahooニュースによると「熊本地震の発生時、自衛隊の大型輸送ヘリコプター「ＣＨ４７」全約７０機の約８割が、緊急点検などのために飛行できなかったことが、関係者への取材でわかった」そうだ．各地区ごとに，一定数以上の稼働可能なヘリコプターを残すように点検スケジュールを組む問題は，それほど難しくない．稼働開始から一定時間以内に点検をするという制約は，電力の機動停止問題(unit commitment problem)と同じ構造をもつので，それを使えば良い．