The problem statement is here.
Usage
Changing the value in the Seed field will generate the corresponding input to the Input field.
By setting the N, M, K fields to values which meet the constraints of the input, you can change the input to the specified N, M, K values.
Pressing the Download button will download the inputs for seed values seed, seed+1, ..., seed+#cases-1 at once.
By pasting the output generated by the local tester into the Output field, you can display the execution result.
By pressing the Save as PNG or Save as Animation GIF button, you can download the visualization results.
You can quickly switch between multiple outputs by pressing the Select File button at the top and selecting the
directory containing the output files.
By naming the output file 1234.txt or abcd_1234.txt, the seed number (in this case 1234) is automatically set
when the file is selected.
You can change the turn field in increments of 0.5.
When the turn is 0, the state of the first turn's execution step is displayed,
and when the turn is 0.5, the state of the first turn's refilling step is displayed.
問題文はこちら。
使い方
Seed 欄の値を変えると対応する入力が Input 欄に生成されます。
N, M, K 欄を問題文中の入力の制約を満たす値に設定することで、入力を指定された N, M, K の値に変更出来ます。
Download ボタンを押すと、シード値が seed, seed+1, ..., seed+#cases-1 に対応する入力を一括ダウンロード出来ます。
ローカルテスタが生成する出力ファイルの中身をOutput欄に貼り付けることで、実行結果の表示が可能です。
Save as PNG や Save as Animation GIF ボタンを押すと、ビジュアライズ結果のダウンロードが出来ます。
上部のファイルを選択ボタンを押して出力ファイルを含むディレクトリを選択することで、複数の出力を素早く切り替えることが出来るようになります。
出力ファイル名を 1234.txt もしくは abcd_1234.txt という形式にすることで、ファイルを選択時に自動的にseed番号(この場合は1234)が設定されます。
turn は 0.5 刻みに変更することができます。
turn: 0 の時は最初のターンのカード実行時の状態が、turn: 0.5 の時は最初のターンのカード補充時の状態が表示されます。
fix N: fix M: fix K: