括号序列求唯一解解法。
统计左括号和右括号个数,如果数量各占总数一半,则必有唯一解。否则,将前一半可变字符做为左括号,后一半作为右括号,交换中间两个,若仍可以得到解,则结果不唯一。否则有唯一解。
#include<bits/stdc++.h>
#define x first
#define y second
using namespace std;
typedef long long LL;
const int N = 200010,mod = 1e9 + 7,INF = 0x3f3f3f3f;
int seq[N],l;
char s[N];
int n,m,t;
void solve()
{
cin>>s;
n = strlen(s);
l = 0;
int cnt[3] = {0};
for(int i = 0;i < n;i++)
{
if(s[i] == '(') cnt[0]++;
else if(s[i] == ')') cnt[1]++;
else seq[++l] = i;
}
if(cnt[0] == n / 2 || cnt[1] == n / 2)
{
cout<<"YES"<<endl;
return;
}
for(int i = 1;i <= n / 2 - cnt[0];i++) s[seq[i]] = '(';
for(int i = n / 2 - cnt[0] + 1;i <= l;i++) s[seq[i]] = ')';
swap(s[seq[n/2 - cnt[0]]],s[seq[n/2 - cnt[0] + 1]]);
int sum = 0;
for(int i = 0;i < n;i++)
{
sum += s[i] == '('? 1 : -1;
if(sum < 0)
{
cout<<"YES"<<endl;
return;
}
}
cout<<"NO"<<endl;
}
int main()
{
ios::sync_with_stdio(false);
cin.tie(0);
cin>>t;
while (t--)
{
solve();
}
return 0;
}