对于一个包含 $\texttt{(,),*}$ 的字符串 $S$，其中 $\texttt{*}$ 可以被任意指定地替换为 $\texttt{(}$ 或 $\texttt{)}$。

如果能将字符串 $S$ 变为合法的括号序列，请问有没有合理的等价条件使其能快速地判定 $S$ 是否满足要求。

例如：

• $\texttt{((*)}$ 满足要求，可将其替换为 $\texttt{(())}$。
• $\texttt{()*(}$ 不满足要求。