新仕様の実装

[TakatoKinoshita]

仕様:

• 入力
  • json_str: 脱直列化および検証するJSON文字列．
    • schedule: マシンスケジュールを表す整数のリスト．設計変数に相当．
    • timeout: SCIPの実行時間の上限を表す整数 (秒)．時間変数に相当．
  • n_work: 総ワーク数を表す．設計変数長に等しい．
  • max_date: スケジュールの最大日数．
• 出力
  • schedule: json_str.scheduleに相当する整数のリスト．
  • timeout: json_str.timeoutに相当する整数．
• JSON文字列を正常に脱直列化および検証し，入力仕様に適合する場合，設計変数，時間変数それぞれに対応する2値を返す．
• 入力されたJSON文字列はオブジェクトであり，それ以外を許容しない．
  • scheduleとtimeoutの2プロパティは必須．
  • scheduleとtimeoutの2プロパティ以外を許容しない．
• scheduleの型はList[int]．
• len(schedule) == n_work．
• min(schedule) >= 1 and max(schedule) <= max_date．
• timeoutの型はint．
• 5*60 <= timeout <= 8*60*60．

Originally posted by @TakatoKinoshita in https://github.com/opthub-org/machine-scheduling/issues/20#issuecomment-1763349831