我好傻)
1,严格前缀不合法,整个序列合法,那么第一个(肯定是和最后一个右括号匹配
2,一共有n/2个左括号,贪心的把(全往前放,肯定是最优的
signed main()
{
int n;cin>>n;
string s;cin>>s;
int sum = 0;
rep(i,n) if(s[i]=='(') ++sum;
if(n%2||s[0]==')'||s[n-1]=='('||sum>n/2) return puts(":("),0;
int fun = n/2-sum;
rep(i,n)
{
if(s[i]=='?')
{
if(fun) --fun,s[i]='(';
else s[i]=')';
}
}
sum = 0;
rep(i,n)
{
if(s[i]=='(') ++sum;
else --sum;
if(sum<0) return puts(":("),0;
if(sum==0&&i!=n-1) return puts(":("),0;
}
if(sum!=0) return puts(":("),0;
cout<<s<<endl;
return 0;
}