`load_val_json`の仕様変更

[TakatoKinoshita]

"""JSON文字列を脱直列化し，データを検証する．

Parameters
----------
json_str : str
    '{
        "schedule": [work1_load, work1_unload, work2_load, ...],
        "timeout": Time limit for SCIP
    }'
n_work : int
    n_works = sum_i work_i
max_date: int , 9
    Maximum date for schedule

Returns
-------
schedule : List[int]
    Schedule (design variables).
timeout : int
    Time limit for SCIP
"""

[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．

[TakatoKinoshita]

完了