The problem statement is here.

Usage
Details

Changing the value in the Seed field will generate the corresponding input to the Input field.
By setting the L_A, L_B fields to values which meet the constraints of the input, you can change the input to the specified L_A, L_B 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, the visualization results will be displayed.
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.

The color of each node in the graph represents the state of the signal in that city.
A node surrounded by thick blue circle represents the current position of X.
A node surrounded by blue star represents the city that should be visited next.
Mouse-over each node to see a pop-up with the vertex number of that city.
Nodes surrounded by thin blue circles and blue edges represent the path X has traveled.
You can specify the length of the displayed path by specifying #trace.

The green cells in the arrays B, A represent the positions used by signal operations.

問題文はこちら

使い方
詳細

Seed 欄の値を変えると対応する入力が Input 欄に生成されます。
L_A, L_B 欄を問題文中の入力の制約を満たす値に設定することで、入力を指定された L_A, L_B の値に変更出来ます。
Download ボタンを押すと、シード値が seed, seed+1, ..., seed+#cases-1 に対応する入力を一括ダウンロード出来ます。

ローカルテスタが生成する出力ファイルの中身をOutput欄に貼り付けることで、実行結果の表示が可能です。
Save as PNG や Save as Animation GIF ボタンを押すと、ビジュアライズ結果のダウンロードが出来ます。

上部のファイルを選択ボタンを押して出力ファイルを含むディレクトリを選択することで、複数の出力を素早く切り替えることが出来るようになります。
出力ファイル名を 1234.txt もしくは abcd_1234.txt という形式にすることで、ファイル選択時に自動的にseed番号(この場合は1234)が設定されます。

グラフ中の各ノードの色は、その都市の信号の状態を表します。
太い青丸で囲まれたノードは現在のXの位置を表します。
青い星印で囲まれたノードは、次に訪れるべき都市を表します。
各ノードにマウスオーバーすると、その都市の頂点番号をポップアップで確認できます。
細い青丸で囲まれたノードと青い辺は、Xが移動した経路を表します。
表示する経路の長さは #trace を指定することで、変更することができます。

B, A の配列の緑色のマスは信号操作によって使用された位置を表します。