結果

問題 No.1437 01 Sort
ユーザー tyawanmusityawanmusi
提出日時 2021-02-20 17:20:04
言語 PyPy3
(7.3.15)
結果
WA  
実行時間 -
コード長 4,218 bytes
コンパイル時間 143 ms
コンパイル使用メモリ 82,224 KB
実行使用メモリ 97,760 KB
最終ジャッジ日時 2024-09-19 01:14:49
合計ジャッジ時間 27,105 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge4
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 39 ms
57,060 KB
testcase_01 AC 40 ms
55,088 KB
testcase_02 AC 39 ms
55,880 KB
testcase_03 AC 37 ms
55,904 KB
testcase_04 AC 39 ms
56,724 KB
testcase_05 AC 40 ms
55,168 KB
testcase_06 AC 43 ms
56,620 KB
testcase_07 AC 41 ms
55,672 KB
testcase_08 AC 37 ms
55,684 KB
testcase_09 AC 37 ms
55,572 KB
testcase_10 WA -
testcase_11 AC 42 ms
55,356 KB
testcase_12 AC 41 ms
56,072 KB
testcase_13 TLE -
testcase_14 TLE -
testcase_15 AC 106 ms
76,380 KB
testcase_16 AC 1,883 ms
88,208 KB
testcase_17 AC 1,169 ms
83,168 KB
testcase_18 AC 1,962 ms
88,844 KB
testcase_19 AC 1,570 ms
86,624 KB
testcase_20 AC 1,099 ms
83,996 KB
testcase_21 TLE -
testcase_22 TLE -
testcase_23 TLE -
testcase_24 TLE -
testcase_25 TLE -
testcase_26 TLE -
権限があれば一括ダウンロードができます

ソースコード

diff # 

# O(N log^2 N)

from bisect import bisect_left,bisect_right
def solve4(n,s):
  ans=10**10

  zero=s.count("0")
  one=n-zero
  if zero==0 or zero==n:
    return 0

  se=set()
  if s[0]=="1":
    se.add(0)
    for i in range(n-1,-1,-1):
      if s[i]=="1":
        se.add(i)
      else:break

  po=[]
  for i in range(n):
    if s[i]=="1":po+=[i,i+n,i+n+n,i+n+n+n]
  po.sort()

  def f(l,ll):
    sp_l=(l+one)%n
    sp_r=n
    if sp_l==0:sp_l=n
    ansl=0
    ansr=0
    flag=True
    flagg=False
    if po[ll]<=l+n:
      if sp_l<=((po[ll]-1)%n+1)<=sp_r and (po[ll]%n not in se):
        ansl=l+n-po[ll]-1
      else:
        ansl=l+n-po[ll]
    if l+n+one-1<po[ll+one-1]:
      flag=True
      flagg=False
      ng=-1
      ok=one
      while ng+1!=ok:
        mid=(ng+ok)//2
        if l+n+mid<po[ll+mid]:ok=mid
        else:ng=mid
      x=l+n+ok
      if x%n:x+=n-(x%n)
      if x<=l+n+one-1:
        if l+n+ok<=po[ll+ok]<=x:
          flagg=True
        x+=n
      if l+n+ok<=po[ll+ok]<=x:
        flag=False
      ansr=one-ok
      if ansr:ansr+=flag
      ansr-=flagg
    return max(ansl,ansr)*n+(-l-one)%n

  for l in range(n):
    low=bisect_right(po,l+n)-one
    high=bisect_right(po,l+one+n)
    ans=min(ans,f(l,low),f(l,high))
    while low+2<high:
      mid_low=(high+low*2)//3
      mid_high=(high*2+low)//3
      ans_mid_low=f(l,mid_low)
      ans_mid_high=f(l,mid_high)
      ans=min(ans, ans_mid_low, ans_mid_high)
      if ans_mid_low >= ans_mid_high:
        low=mid_low
      else:
        high=mid_high
  
  return ans

def solve3(n,s):
  ans=10**10

  zero=s.count("0")
  one=n-zero
  if zero==0 or zero==n:
    return 0

  se=set()
  if s[0]=="1":
    se.add(0)
    for i in range(n-1,-1,-1):
      if s[i]=="1":
        se.add(i)
      else:break

  po=[]
  for i in range(n):
    if s[i]=="1":po+=[i,i+n,i+n+n,i+n+n+n]
  po.sort()

  for l in range(n):
    a=list(range(l+n,l+one+n))
    sp_l=(l+one)%n
    sp_r=n
    if sp_l==0:sp_l=n

    for ll in range(one*3):
      ansl=0
      ansr=0
      flag=True
      flagg=False
      if po[ll]<=a[0]:
        if sp_l<=((po[ll]-1)%n+1)<=sp_r and (po[ll]%n not in se):
          ansl=a[0]-po[ll]-1
        else:
          ansl=a[0]-po[ll]
      if a[one-1]<po[ll+one-1]:
        flag=True
        flagg=False
        ng=-1
        ok=one
        while ng+1!=ok:
          mid=(ng+ok)//2
          if a[mid]<po[ll+mid]:ok=mid
          else:ng=mid
        x=a[ok]
        if x%n:x+=n-(x%n)
        if x<=a[one-1]:
          if a[ok]<=po[ll+ok]<=x:
            flagg=True
          x+=n
        if a[ok]<=po[ll+ok]<=x:
          flag=False
        ansr=one-ok
        if ansr:ansr+=flag
        ansr-=flagg
      ans=min(ans,max(ansl,ansr)*n+(-l-one)%n)
    
  return ans

def solve2(n,s):
  ans=10**10
  zero=s.count("0")
  one=n-zero
  if zero==0 or zero==n:
    return 0
  se=set()
  if s[0]=="1":
    se.add(0)
    for i in range(n-1,-1,-1):
      if s[i]=="1":
        se.add(i)
      else:break
  for l in range(n):
    a=list(range(l+n,l+one+n))
    sp_l=(l+one)%n
    sp_r=n
    if sp_l==0:sp_l=n
    for ll in range(n*3):
      b=[]
      for i in range(ll,ll+n):
        if s[i%n]=="1":b.append(i)
      ansl=0
      ansr=0
      flag=True
      flagg=False
      if b[0]<=a[0]:
        if sp_l<=((b[0]-1)%n+1)<=sp_r and (b[0]%n not in se):
          ansl=a[0]-b[0]-1
        else:
          ansl=a[0]-b[0]
      for i in range(one):
        if b[i]>a[i]:
          ansr+=1
          x=a[i]
          if x%n:x+=n-(x%n)
          if x<=a[-1]:
            if a[i]<=b[i]<=x:
              flagg=True
            x+=n
          if a[i]<=b[i]<=x:
            flag=False
      if ansr:ansr+=flag
      ansr-=flagg
      ans=min(ans,max(ansl,ansr)*n+(-l-one)%n)
  return ans

from collections import defaultdict, deque
def solve1(n,s):
  cost = defaultdict(int)
  cost[s] = 0
  goal = "".join(sorted(list(s)))
  que = deque([s])
  while que:
    t = que.popleft()
    if t == goal:
      return cost[t]
    t1 = t[-1] + t[:-1]
    t2 = t[0] + t[-1] + t[1:-1]
    if t1 not in cost:
      cost[t1] = cost[t] + 1
      que.append(t1)
    if t2 not in cost:
      cost[t2] = cost[t] + 1
      que.append(t2)

n=int(input())
s=input()
print(solve4(n,s))
0