Submission #65405636


Source Code Expand

N,M=map(int,input().split())
A=list(map(int,input().split())) #石の番号
B=list(map(int,input().split())) #入っている数
C=[]
for i in range(M):
    C.append([A[i],B[i]])
C.sort()
pool=C[0][1]-1
ans=0

if C[0][0] != 1: #一番目に石が入ってないとだめ
  print(-1)
  exit() 

if sum(B) != N:
  print(-1)
  exit() 
  
else:
  for i in range(1,M):
    if (C[i][0]-C[i-1][0]-1) > pool:
      print(-1)
      exit()
    else: 
      ans+=(C[i][0]-C[i-1][0])*(pool-(C[i][0]-C[i-1][0]-1)+pool)//2
      pool-=(C[i][0]-C[i-1][0]-1)
      pool+=C[i][1]-1

if C[-1][0] != N:
    ans+=pool*(1+pool)//2
    
print(ans)

Submission Info

Submission Time
Task C - Sowing Stones
User watacco
Language Python (PyPy 3.10-v7.3.12)
Score 300
Code Size 656 Byte
Status AC
Exec Time 401 ms
Memory 146596 KiB

Judge Result

Set Name Sample All
Score / Max Score 0 / 0 300 / 300
Status
AC × 2
AC × 43
Set Name Test Cases
Sample 00_sample_00.txt, 00_sample_01.txt
All 00_sample_00.txt, 00_sample_01.txt, 01_random_00.txt, 01_random_01.txt, 01_random_02.txt, 01_random_03.txt, 01_random_04.txt, 01_random_05.txt, 01_random_06.txt, 01_random_07.txt, 01_random_08.txt, 01_random_09.txt, 01_random_10.txt, 01_random_11.txt, 01_random_12.txt, 01_random_13.txt, 01_random_14.txt, 01_random_15.txt, 01_random_16.txt, 01_random_17.txt, 01_random_18.txt, 01_random_19.txt, 01_random_20.txt, 01_random_21.txt, 01_random_22.txt, 01_random_23.txt, 01_random_24.txt, 01_random_25.txt, 01_random_26.txt, 01_random_27.txt, 01_random_28.txt, 01_random_29.txt, 01_random_30.txt, 01_random_31.txt, 01_random_32.txt, 01_random_33.txt, 02_hand_00.txt, 02_hand_01.txt, 02_hand_02.txt, 02_hand_03.txt, 02_hand_04.txt, 02_hand_05.txt, 02_hand_06.txt
Case Name Status Exec Time Memory
00_sample_00.txt AC 54 ms 76572 KiB
00_sample_01.txt AC 53 ms 76608 KiB
01_random_00.txt AC 255 ms 125772 KiB
01_random_01.txt AC 275 ms 124896 KiB
01_random_02.txt AC 383 ms 135536 KiB
01_random_03.txt AC 271 ms 125504 KiB
01_random_04.txt AC 241 ms 122912 KiB
01_random_05.txt AC 285 ms 128788 KiB
01_random_06.txt AC 341 ms 133972 KiB
01_random_07.txt AC 309 ms 128572 KiB
01_random_08.txt AC 351 ms 134360 KiB
01_random_09.txt AC 380 ms 144344 KiB
01_random_10.txt AC 191 ms 115212 KiB
01_random_11.txt AC 240 ms 120248 KiB
01_random_12.txt AC 167 ms 112680 KiB
01_random_13.txt AC 182 ms 117736 KiB
01_random_14.txt AC 188 ms 118096 KiB
01_random_15.txt AC 222 ms 121256 KiB
01_random_16.txt AC 371 ms 146596 KiB
01_random_17.txt AC 266 ms 124316 KiB
01_random_18.txt AC 123 ms 101092 KiB
01_random_19.txt AC 211 ms 116120 KiB
01_random_20.txt AC 399 ms 143340 KiB
01_random_21.txt AC 384 ms 143392 KiB
01_random_22.txt AC 401 ms 143352 KiB
01_random_23.txt AC 383 ms 143200 KiB
01_random_24.txt AC 400 ms 143432 KiB
01_random_25.txt AC 386 ms 143428 KiB
01_random_26.txt AC 399 ms 143496 KiB
01_random_27.txt AC 388 ms 143420 KiB
01_random_28.txt AC 54 ms 76452 KiB
01_random_29.txt AC 53 ms 76648 KiB
01_random_30.txt AC 53 ms 76472 KiB
01_random_31.txt AC 53 ms 76360 KiB
01_random_32.txt AC 53 ms 76448 KiB
01_random_33.txt AC 53 ms 76448 KiB
02_hand_00.txt AC 341 ms 140004 KiB
02_hand_01.txt AC 240 ms 117324 KiB
02_hand_02.txt AC 207 ms 119948 KiB
02_hand_03.txt AC 155 ms 109220 KiB
02_hand_04.txt AC 53 ms 76672 KiB
02_hand_05.txt AC 53 ms 76336 KiB
02_hand_06.txt AC 400 ms 143336 KiB