如果左括号数量和右括号数量不等，输出No
进行一次匹配，看匹配完之后栈中还有多少元素：
如果n=2，并且栈中无元素，说明是()的情况，输出No
如果n=2，并且栈中有元素，说明是)(的情况，输出Yes
如果n>2，并且栈中没有元素，或者有2个，或者有4个，输出Yes
如果n>2，并且栈中元素个数大于4个，输出No
#pragma comment(linker, "/STACK:1024000000,1024000000")
#include<cstdio>
#include<cstring>
#include<cmath>
#include<algorithm>
#include<vector>
#include<map>
#include<set>
#include<queue>
#include<stack>
#include<iostream>
using namespace std;
typedef long long LL;
const double pi=acos(-1.0),eps=1e-;
void File()
{
freopen("D:\\in.txt","r",stdin);
freopen("D:\\out.txt","w",stdout);
}
inline int read()
{
char c = getchar(); while(!isdigit(c)) c = getchar(); int x = ;
while(isdigit(c)) { x = x * + c - ''; c = getchar(); }
return x;
} const int maxn=;
stack<int >s;
int T,n;
char t[maxn]; int main()
{
scanf("%d",&T);
while(T--)
{
scanf("%d",&n); scanf("%s",t);
while(!s.empty()) s.pop();
int num1=,num2=;
if(n%==) printf("No\n");
else
{
for(int i=;t[i];i++)
{
if(t[i]=='(') num1++; else num2++;
if(s.empty())
{
if(t[i]=='(') s.push(-);
else s.push();
}
else
{
int num; if(t[i]=='(') num=-; else num=;
if(num==&&s.top()==-) s.pop();
else s.push(num);
}
}
if(num1!=num2) { printf("No\n"); continue; }
if(n==)
{
if(s.size()==) printf("No\n");
else printf("Yes\n");
}
else
{
if(s.size()==||s.size()==||s.size()==) printf("Yes\n");
else printf("No\n");
}
}
}
return ;
}