ACWing LIS相关问题 482 合唱队形

'''
跟1014 登山是同一道题，只不过最后答案是总数减去嫌憎后降的序列的最长长度
'''

import bisect


# 求每一个位置结尾的最长递增子序列的长度列表
def get_lis_len_arr(arr):
    lst = []
    ans = []
    for i in range(len(arr)):
        idx = bisect.bisect_left(lst, arr[i])
        if idx >= 0 and idx < len(lst):
            lst[idx] = arr[i]
            ans.append(idx + 1)
        else:
            lst.append(arr[i])
            ans.append(len(lst))

    return ans


N = int(input())
arr = list(map(int, input().split()))
lis_arr1, lis_arr2 = get_lis_len_arr(arr), get_lis_len_arr(list(reversed(arr)))

max_val = 0
for i in range(N):
    max_val = max(max_val, lis_arr1[i] + lis_arr2[N - 1 - i] - 1)
print(N - max_val)