船 (Ship)

イタリアのチェゼナーティコ (Cesenatico) はアドリア海に面した港町であり，運河を持つことで知られている．運河には船が停泊しており，観光地としても知られている．ここで，現実を単純化した次のような状況設定を考えたい．

運河は直線状であり，その片側のみがアドリア海に通じている．また，運河には \(1\) から \(N\) までの番号が付けられた \(N\) 隻の船が停泊しており，船 \(i\) (\(1 \leqq i \leqq N\)) はアドリア海から距離 \(A_i\) 離れたところに停泊している．

ここで，番号が小さい船ほどアドリア海に近いところに停泊している．すなわち，\(A_1 < A_2 < \cdots < A_N\) が成立している．

あなたは町で行われる祭りのために船に色を塗ることにした．具体的にはそれぞれの船につき色 \(1\) から色 \(N\) までの \(N\) 色の中から \(1\) 色を選び，その色で船を塗る．ここで，以下の条件を満たしたい．

• どの色 \(c\) (\(1 \leqq c \leqq N\)) についても，色 \(c\) で塗られた船の数は \(1\) 隻ではない．色 \(c\) で塗られた船が存在しなくてもよいことに注意せよ．
• 色 \(c\) で塗られた船が \(2\) 隻以上ある場合，色 \(c\) で塗られた船は等間隔に並んでいる．言い換えると，色 \(c\) で塗られた船について，船のアドリア海からの距離を昇順に並べてできる列は等差数列である．

船の見栄えをより良くするために，以下で表される美しさを定義する．

• 同じ色で塗られた相異なる \(2\) 隻の間の距離としてありうる最小値．ここで，船 \(i\) と船 \(j\) (\(1 \leqq i \leqq N\)，\(1 \leqq j \leqq N\)，\(i \neq j\)) の間の距離を \(| A_i - A_j |\) とする．

船の情報が与えられたとき，条件を満たす船の塗り方が存在するかを判定し，存在する場合は美しさとしてありうる最大値を求めるプログラムを作成せよ．

• \(2 \leqq N \leqq 3\,500\)．
• \(1 \leqq A_i \leqq 10^9\) (\(1 \leqq i \leqq N\))．
• \(A_i < A_{i + 1}\) (\(1 \leqq i \leqq N - 1\))．
• 入力される値はすべて整数である．

1. (\(8\) 点) \(A_i = i\) (\(1 \leqq i \leqq N\))．
2. (\(11\) 点) \(N \leqq 7\)．
3. (\(12\) 点) \(N \leqq 100\)．
4. (\(39\) 点) \(N \leqq 700\)．
5. (\(30\) 点) 追加の制約はない．

入力は以下の形式で与えられる．

\(N\)
\(A_1\) \(A_2\) \(A_3\) \(\cdots\) \(A_N\)

条件を満たす船の塗り方が存在しない場合は -1 を出力せよ．存在する場合は美しさとしてありうる最大値を \(1\) 行で出力せよ．

JOI 2026 · JCIOI · CC BY-SA 4.0