思路

只核对圆括号，@结束；前缀不得负且总数0，最多19左括号，计数器实现栈高度不考察完整栈结构。

参考程序（C++11）

#include <bits/stdc++.h>
using namespace std;
int main(){string s;getline(cin,s);int n=0;bool ok=true;for(char c:s){if(c=='@')break;if(c=='(')n++;if(c==')'&&--n<0)ok=false;}cout<<(ok&&n==0?"YES":"NO")<<'\n';}