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  