Types: N: int, K: int, P: List[int]
Ranges: 2 ≤ N ≤ 500,000, 1 ≤ K ≤ N-1, P is a permutation of the set {1, 2, ..., N}
Addtl Info: None