結果

問題 No.3754 Mischievous Resident (Hard)
コンテスト
ユーザー kidodesu
提出日時 2026-10-02 23:41:37
言語 PyPy3
(7.3.23 + ACL)
コンパイル:
pypy3 -mpy_compile _filename_
実行:
pypy3 _filename_
結果
WA  
実行時間 -
コード長 2,787 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 66 ms
コンパイル使用メモリ 82,348 KB
実行使用メモリ 164,432 KB
最終ジャッジ日時 2026-10-02 23:42:15
合計ジャッジ時間 15,552 ms
ジャッジサーバーID
（参考情報） 		judge2_0 / judge4_0
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 1
other AC * 17 WA * 1 TLE * 1 -- * 29
権限があれば一括ダウンロードができます

ソースコード

diff #
raw source code 

def main():
    def cal(S, T, l, r):
        rep = 0
        if T[0] < S[0]:
            if l == -1:
                rep += 1
            else:
                x = S[0]-l
                y = T[0]-l
                #print(x, y, 0)
                while y < x:
                    rep += 1
                    x = (x+1)//2
            S[0] = T[0]
        if T[-1] > S[-1]:
            if r == -1:
                rep += 1
            else:
                x = r-S[-1]
                y = r-T[-1]
                #print(x, y, 1)
                while y < x:
                    rep += 1
                    x = (x+1)//2
            S[-1] = T[-1]
        for i in range(len(S)-1):
            if S[i] < T[i] and T[i+1] < S[i+1]:
                l0, r0, l1, r1 = S[i], S[i+1], T[i], T[i+1]
                while l0 < l1 or r1 < r0:
                    rep += 1
                    if l0 == l1:
                        r1 = min(r0, 2*r1-l1)
                    elif r0 == r1:
                        l1 = max(l0, 2*l1-r1)
                    elif l1-l0 <= r1-l1:
                        l1 = l0
                    elif r0-r1 <= r1-l1:
                        r1 = r0
                    elif l1-l0 > r0-r1:
                        l1 = max(l0, 2*l1-r1)
                    else:
                        r1 = min(r0, 2*r1-l1)
                    #print(l0, l1, r1, r0)
            elif S[i] < T[i]:
                x = T[i+1]-S[i]
                y = T[i+1]-T[i]
                #print(x, y, 2)
                while y < x:
                    rep += 1
                    x = (x+1)//2
            elif T[i+1] < S[i+1]:
                x = S[i+1]-T[i]
                y = T[i+1]-T[i]
                #print(x, y, 3)
                while y < x:
                    rep += 1
                    x = (x+1)//2
        return rep
    n, m = list(map(int, input().split()))
    A = list(map(int, input().split()))
    B = list(map(int, input().split()))
    C = [(a, b) for a, b in zip(A, B)]
    C.sort()
    T = []
    S = []
    l = -1
    ans = 0
    for i in range(m):
        if C[i][0] == C[i][1]:
            if T:
                #print(S)
                #print(T)
                if sorted(T) == T and len(T) == len(set(T)) and l <= T[0] and T[-1] < C[i][1]:
                    ans += cal(S, T, l, C[i][1]-1)
                    pass
                else:
                    return -1
            l = C[i][1]+1
            T = []
            S = []
            continue
        T.append(C[i][1])
        S.append(C[i][0])
    if T:
        #print(S)
        #print(T)
        if sorted(T) == T and len(T) == len(set(T)) and l <= T[0]:
            ans += cal(S, T, l, -1)
            return ans
    else:
        return ans
    return -1

for _ in range(int(input())):
    print(main())
0