結果

問題 No.2890 Chiffon
コンテスト
ユーザー PNJ
提出日時 2024-09-13 23:23:23
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 966 ms / 2,000 ms
コード長 1,002 bytes
コンパイル時間 165 ms
コンパイル使用メモリ 82,684 KB
実行使用メモリ 272,944 KB
最終ジャッジ日時 2024-09-26 14:42:05
合計ジャッジ時間 27,898 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge4
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 53
権限があれば一括ダウンロードができます

ソースコード

diff # 

from bisect import *

N,K = map(int,input().split())
A = list(map(int,input().split()))
m = 2 * N - 1 - A[-1]
for i in range(K):
  A[i] += m

berry = [0] * (4 * N)
R = [0] * (4 * N)
for i in range(K):
  a = A[i]
  berry[a] = 1
  berry[a + 2 * N] = 1
  R[a] = 1
  R[a + 2 * N] = 1
  A.append(a + 2 * N)
for i in range(4 * N - 1):
  R[i + 1] += R[i]

l = 1
r = N + 1
d = [-1 for u in range(2 * N)]
for u in range(2 * N):
  d[u] = A[bisect_left(A,u)]
while r - l > 1:
  m = (l + r) // 2
  dp = [0 for u in range(4 * N)]
  dp[0] = 1
  f = 0
  for u in range(2 * N):
    if berry[u]:
      f = 1
      continue
    if f == 0:
      dp[u] = u + 1
    else:
      if berry[u - 1] == 0:
        dp[u] = max(dp[u],dp[u - 1])
    v = max(u + m,d[u])
    if berry[v]:
      v += 1
    if v % 2:
      v += 1
    if R[v] - R[u] == 1:
      dp[v] = max(dp[v],dp[u])
  f = 0
  for u in range(2 * N):
    if berry[u]:
      break
    if dp[u + 2 * N] >= u + 1:
      f = 1
  if f:
    l = m
  else:
    r = m
print(l)
0