#826118 (PyPy3) No.2182 KODOKU Stone

提出ソース

結果

問題	No.2182 KODOKU Stone
ユーザー	MasKoaTS
提出日時	2022-12-16 14:01:12
言語	PyPy3 (7.3.15)
結果	AC
実行時間	409 ms / 2,000 ms
コード長	4,745 bytes
コンパイル時間	161 ms
コンパイル使用メモリ	82,172 KB
実行使用メモリ	138,476 KB
最終ジャッジ日時	2024-04-27 15:54:57
合計ジャッジ時間	9,042 ms
ジャッジサーバーID （参考情報）	judge2 / judge4

このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示

入力	結果	実行時間実行使用メモリ
testcase_00	AC	62 ms 68,564 KB
testcase_01	AC	56 ms 67,976 KB
testcase_02	AC	58 ms 69,528 KB
testcase_03	AC	55 ms 68,632 KB
testcase_04	AC	60 ms 67,716 KB
testcase_05	AC	59 ms 68,488 KB
testcase_06	AC	61 ms 69,120 KB
testcase_07	AC	61 ms 70,020 KB
testcase_08	AC	62 ms 68,876 KB
testcase_09	AC	66 ms 69,036 KB
testcase_10	AC	66 ms 69,336 KB
testcase_11	AC	393 ms 134,780 KB
testcase_12	AC	366 ms 122,764 KB
testcase_13	AC	117 ms 100,612 KB
testcase_14	AC	132 ms 87,160 KB
testcase_15	AC	385 ms 122,300 KB
testcase_16	AC	406 ms 138,476 KB
testcase_17	AC	100 ms 93,608 KB
testcase_18	AC	349 ms 123,640 KB
testcase_19	AC	237 ms 96,268 KB
testcase_20	AC	303 ms 112,648 KB
testcase_21	AC	140 ms 87,400 KB
testcase_22	AC	110 ms 85,576 KB
testcase_23	AC	208 ms 92,056 KB
testcase_24	AC	168 ms 87,132 KB
testcase_25	AC	89 ms 78,072 KB
testcase_26	AC	85 ms 77,972 KB
testcase_27	AC	97 ms 78,024 KB
testcase_28	AC	299 ms 110,056 KB
testcase_29	AC	357 ms 121,712 KB
testcase_30	AC	383 ms 126,876 KB
testcase_31	AC	287 ms 109,780 KB
testcase_32	AC	284 ms 106,776 KB
testcase_33	AC	321 ms 116,628 KB
testcase_34	AC	173 ms 89,564 KB
testcase_35	AC	340 ms 116,308 KB
testcase_36	AC	134 ms 83,956 KB
testcase_37	AC	409 ms 128,148 KB
testcase_38	AC	61 ms 68,844 KB
testcase_39	AC	61 ms 67,456 KB

権限があれば一括ダウンロードができます

ソースコード

raw source code

import sys, math
from bisect import bisect_left, bisect_right, insort
input = sys.stdin.readline


"""
* Sorted MultiSet
  from : https://github.com/tatyam-prime/SortedSet/blob/main/SortedMultiset.py
  ref : https://github.com/tatyam-prime/SortedSet
  ref : https://qiita.com/tatyam/items/492c70ac4c955c055602
"""


from typing import Generic, Iterable, Iterator, TypeVar, Union, List
T = TypeVar('T')
class SortedMultiset(Generic[T]):
	BUCKET_RATIO = 50
	REBUILD_RATIO = 170

	def _build(self, a=None) -> None:
		"Evenly divide `a` into buckets."
		if a is None: a = list(self)
		size = self.size = len(a)
		bucket_size = int(math.ceil(math.sqrt(size / self.BUCKET_RATIO)))
		self.a = [a[size * i // bucket_size : size * (i + 1) // bucket_size] for i in range(bucket_size)]
	
	def __init__(self, a: Iterable[T] = []) -> None:
		"Make a new SortedMultiset from iterable. / O(N) if sorted / O(N log N)"
		a = list(a)
		if not all(a[i] <= a[i + 1] for i in range(len(a) - 1)):
			a = sorted(a)
		self._build(a)

	def __iter__(self) -> Iterator[T]:
		for i in self.a:
			for j in i: yield j

	def __reversed__(self) -> Iterator[T]:
		for i in reversed(self.a):
			for j in reversed(i): yield j
	
	def __len__(self) -> int:
		return self.size
	
	def __repr__(self) -> str:
		return "SortedMultiset" + str(self.a)
	
	def __str__(self) -> str:
		s = str(list(self))
		return "{" + s[1 : len(s) - 1] + "}"

	def _find_bucket(self, x: T) -> List[T]:
		"Find the bucket which should contain x. self must not be empty."
		for a in self.a:
			if x <= a[-1]: return a
		return a

	def __contains__(self, x: T) -> bool:
		if self.size == 0: return False
		a = self._find_bucket(x)
		i = bisect_left(a, x)
		return i != len(a) and a[i] == x

	def count(self, x: T) -> int:
		"Count the number of x."
		return self.index_right(x) - self.index(x)

	def add(self, x: T) -> None:
		"Add an element. / O(√N)"
		if self.size == 0:
			self.a = [[x]]
			self.size = 1
			return
		a = self._find_bucket(x)
		insort(a, x)
		self.size += 1
		if len(a) > len(self.a) * self.REBUILD_RATIO:
			self._build()

	def discard(self, x: T) -> bool:
		"Remove an element and return True if removed. / O(√N)"
		if self.size == 0: return False
		a = self._find_bucket(x)
		i = bisect_left(a, x)
		if i == len(a) or a[i] != x: return False
		a.pop(i)
		self.size -= 1
		if len(a) == 0: self._build()
		return True

	def lt(self, x: T) -> Union[T, None]:
		"Find the largest element < x, or None if it doesn't exist."
		for a in reversed(self.a):
			if a[0] < x:
				return a[bisect_left(a, x) - 1]

	def le(self, x: T) -> Union[T, None]:
		"Find the largest element <= x, or None if it doesn't exist."
		for a in reversed(self.a):
			if a[0] <= x:
				return a[bisect_right(a, x) - 1]

	def gt(self, x: T) -> Union[T, None]:
		"Find the smallest element > x, or None if it doesn't exist."
		for a in self.a:
			if a[-1] > x:
				return a[bisect_right(a, x)]

	def ge(self, x: T) -> Union[T, None]:
		"Find the smallest element >= x, or None if it doesn't exist."
		for a in self.a:
			if a[-1] >= x:
				return a[bisect_left(a, x)]
	
	def __getitem__(self, x: int) -> T:
		"Return the x-th element, or IndexError if it doesn't exist."
		if x < 0: x += self.size
		if x < 0: raise IndexError
		for a in self.a:
			if x < len(a): return a[x]
			x -= len(a)
		raise IndexError

	def index(self, x: T) -> int:
		"Count the number of elements < x."
		ans = 0
		for a in self.a:
			if a[-1] >= x:
				return ans + bisect_left(a, x)
			ans += len(a)
		return ans

	def index_right(self, x: T) -> int:
		"Count the number of elements <= x."
		ans = 0
		for a in self.a:
			if a[-1] > x:
				return ans + bisect_right(a, x)
			ans += len(a)
		return ans


"""
Main Code
"""

N = int(input())
K = list(map(int, input().split()))
T = [0] * N
A = [[] for _ in [0] * N]
st = set([])
for i in range(N):
	T[i] = int(input())
	A[i] = sorted(map(int, input().split()))
	st |= set(A[i])
Alis = sorted(st)

def check(m):
	P = []; q_max = 0
	for lis in A:
		s = len(lis) - bisect_left(lis, m)
		if(s < len(lis)):
			P.append(s)
		elif(q_max < s):
			q_max = s
	P.sort()
	if not(P):
		return True

	smst = SortedMultiset(K[len(P):])
	if(len(smst) and q_max >= smst[0]):
		return True

	for i in range(len(P) - 1, -1, -1):
		u = K[i] if not(len(smst)) else min(smst[0], K[i])
		if(P[i] >= u):
			return True
		elif(P[i] < u - 1):
			return False;
		elif(len(smst) and P[i] == smst[0] - 1 and q_max >= K[i]):
			return True
		elif(i == 0):
			return False
		elif(not(len(smst)) or P[i] < smst[0] - 1):
			continue
		smst.discard(smst[0])
		smst.add(K[i])
	return True

ok = 0
ng = len(st)
while(ng - ok > 1):
	t = (ok + ng) >> 1
	if check(Alis[t]):
		ok = t
	else:
		ng = t

ans = Alis[ok]
print(ans)

yukicoder

結果

テストケース

ソースコード