考慮設 \(f_{i, j, k}\) 表示在 \(s\) 中匹配到 \(i\)，在 \(t\) 中匹配到 \(j\)，有 \(k\) 個左括號沒有匹配。

然后用 BFS 進行匹配，能保證長度時最小的。