結果

問題 No.3750 Mischievous Resident (Easy)
コンテスト
ユーザー 👑 cologne
提出日時 2026-10-23 13:36:02
言語 PyPy3
(8.0.0 + ACL)
コンパイル:
pypy3 -mpy_compile _filename_
実行:
pypy3 _filename_
結果
AC  
実行時間 341 ms / 2,000 ms
+ 989µs
コード長 2,176 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 81 ms
コンパイル使用メモリ 64,484 KB
実行使用メモリ 123,732 KB
最終ジャッジ日時 2026-10-23 13:36:22
合計ジャッジ時間 12,142 ms
ジャッジサーバーID
（参考情報） 		judge5_0 / judge2_0
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 1
other AC * 35
権限があれば一括ダウンロードができます

ソースコード

diff #
raw source code 

import bisect
import math
import sys
from collections import defaultdict
from itertools import accumulate
from math import isqrt, inf
from typing import List, Tuple

sys.setrecursionlimit(10 ** 6)

MOD = 998244353

int1 = lambda x: int(x) - 1
input = lambda: sys.stdin.readline().rstrip('\n')
ii = lambda: int(input())
vi = lambda: list(map(int, input().split()))
vi1 = lambda: list(map(int1, input().split()))


def dbg(*args, **kwargs):
    print(*(repr(arg) for arg in args), *(f'{k}: {repr(v)}' for k, v in kwargs.items()),
          sep='; ', file=sys.stderr, flush=True)


def solve(m, s, g):
    arr = sorted(range(len(s)), key=lambda x: s[x] + g[x])
    for i in range(len(s) - 1):
        a, b = arr[i], arr[i + 1]
        if s[a] > s[b] or g[a] > g[b] or (g[a] == g[b] and s[a] != s[b]):
            return False

    n = len(s)
    g.sort()
    gg = []
    prv = None
    prc = 0
    for e in g:
        if prv != e:
            if prv is not None:
                gg.append((prv, prc))
            prv = e
            prc = 1
        else:
            prc += 1
    gg.append((prv, prc))
    ps = [0]
    pv = [0]
    st = defaultdict(int)
    for v, c in gg:
        if c == 1:
            pv[-1] += 1
        else:
            ps.append(v)
            pv.append(0)
            st[v] = c

    ps.append(m + 1)
    pv.append(n)

    # print(ps, pv)

    s.sort()
    ptr = 0
    for v in s:
        if st[v] != 0:
            st[v] -= 1
            continue
        while v > ps[ptr + 1]:
            if pv[ptr] != 0:
                return False
            ptr += 1
        # ps[ptr] <(=) v <= ps[ptr+1]
        if pv[ptr] == 0 and v == ps[ptr + 1]:
            ptr += 1
        if pv[ptr] == 0:
            return False
        pv[ptr] -= 1

    for x in st.values():
        if x != 0:
            return False
    return True


def main():
    q = ii()
    for _ in range(q):
        n, m = vi()
        s = vi()
        g = vi()
        print('Yes' if solve(n, s, g) else 'No')


def _start():
    if (ret := main()) is not None:
        print(*ret) if isinstance(ret, List) or isinstance(ret, Tuple) else print(ret)


if __name__ == '__main__':
    _start()
0