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 |
|
|
| 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 |