首先我们来看看题目:
这个题目大概的意思就是给我们一个字符序列,这个字符序列由“( 、)和 ? ”组成问号可以变成左括号或者右括号,并且题目保证至少存在一种构造方法使得括号序列是一个合法的括号序列,问我们构造方式是不是唯一的,如果是就输出“YES”,否则输出“NO”。
分析:首先,让我们从给定的字符串构造一个合法的括号序列(它总是存在的)。通过计算给定字符串中左括号,右括号和问号的数量,我们可以计算出应该用左括号替换的问号的数量(这很容易得出,因为每个合法的括号序列中正好有一半的字符是左括号)。然后,让我们贪心地形成合法的括号序列:用左括号替换前几个问号,用右括号替换所有剩余的问号。这样我们就一定可以得到一个合法的贪心解。所以我们现在要考虑的就是是不是还存在另外一种方法使得我们也可以得到一组合法的括号序列。 对于一个合法的括号序列,对于它的每个位置它前面的左括号数都不小于它的右括号数( 并且这两个值在序列的末尾应该相等)考虑最后一个问号替换为左括号和第一个问号替换为右括号之间的段。 我们找到一种方法就是只交换这段的两个端点,我们交换这两个端点如果仍然能够构成一个合法的括号序列那没构造的方法就不止一种,否则就只有唯一的构造方法。
代码实现:
#include <iostream>
#include <cstring>
#include <algorithm>
#include <vector>
using namespace std;
int main()
{
int t;
cin>>t;
while(t--)
{
string s;
cin>>s;
int l,r;//l表示还差多少个左括号,r表示还差多少个右括号
vector<int> op;//op记录每个问号的下标
int k=s.size();
l=k/2,r=k/2;
for(int i=0;i<k;i++)
{
if(s[i]=='?') op.push_back(i);
if(s[i]=='(') l--;
if(s[i]==')') r--;
}
for(int i=0;i<op.size();i++)
{
if(i<l) s[op[i]]='(';
else s[op[i]]=')';
}
int flag=1;
if(l>0&&r>0)
{
swap(s[op[l-1]],s[op[l]]);
int y=0;
for(int i=0;i<k;i++)
{
if(s[i]=='(') y++;
if(s[i]==')') y--;
if(y<0)
{
break;
}
}
if(y==0) flag=0;
}
if(flag) cout<<"YES"<<endl;
else cout<<"No"<<endl;
}
return 0;
}