考虑答案的最大值,不难发现答案一个上线即为前 \(n\) 大的和减去前 \(n\) 小的和,下文给出一种构造方式使得答案能取到上界。
我们直接保证没对括号匹配的下标恰好一个是前 \(n\) 大一个是前 \(n\) 小这样答案一定最优,证明显然。
Link。