CF1924D Balanced Subsequences

考虑从 \((0,0)\) 走到 \((n, m)\)，是左括号往右移动一步，是右括号往上移动一步，那么没有匹配到的右括号数量为 \(x - y\) 的最大值，发现其不能超过 \(m - k\)，于是变成成的格路计数单边限制问题，类似卡特兰数的方法做即可。

或者你 DP，观察到一些很优美的性质也是可以的。