結果
問題 |
No.711 競技レーティング単調増加
|
ユーザー |
![]() |
提出日時 | 2022-07-16 02:15:40 |
言語 | Python3 (3.13.1 + numpy 2.2.1 + scipy 1.14.1) |
結果 |
AC
|
実行時間 | 333 ms / 2,000 ms |
コード長 | 1,350 bytes |
コンパイル時間 | 94 ms |
コンパイル使用メモリ | 12,672 KB |
実行使用メモリ | 40,200 KB |
最終ジャッジ日時 | 2024-06-28 00:29:03 |
合計ジャッジ時間 | 8,157 ms |
ジャッジサーバーID (参考情報) |
judge4 / judge5 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 3 |
other | AC * 41 |
ソースコード
import bisect import copy import decimal import fractions import heapq import itertools import math import random import sys import time from collections import Counter,deque,defaultdict from functools import lru_cache,reduce from heapq import heappush,heappop,heapify,heappushpop,_heappop_max,_heapify_max def _heappush_max(heap,item): heap.append(item) heapq._siftdown_max(heap, 0, len(heap)-1) def _heappushpop_max(heap, item): if heap and item < heap[0]: item, heap[0] = heap[0], item heapq._siftup_max(heap, 0) return item from math import gcd as GCD read=sys.stdin.read readline=sys.stdin.readline readlines=sys.stdin.readlines def LIS(lst,weakly=False,inf=float('inf'),restoration=False): f=bisect.bisect_right if weakly else bisect.bisect_left N=len(lst) update=[None]*N dp=[inf]*N for k,x in enumerate(lst): i=f(dp,x) dp[i]=x update[k]=(i,dp[i]) len_lis=bisect.bisect_left(dp,inf) if restoration: lis=[None]*len_lis len_lis-=1 for i,x in update[::-1]: if i==len_lis: lis[len_lis]=x len_lis-=1 return lis else: return len_lis N=int(readline()) A=list(map(int,readline().split())) for i in range(N): A[i]-=i ans=N-LIS([a for a in A if a>=1],weakly=True) print(ans)