题目背景

本题中合法括号串的定义如下：

$\text{()}$ 是合法括号串。
如果 $\text{A}$ 是合法括号串，则 $\text{(A)}$ 是合法括号串。
如果 $\text{A , B}$ 是合法括号串，则 $\text{AB}$ 是合法括号串。

本题中子串与不同的子串的定义如下：

字符串 $\text{S}$ 的子串是 $\text{S}$ 中连续的任意个字符组成的字符串。

$\text{S}$ 的子串可用起始位置 $l$ 与终止位置 $r$ 来表示，记为 $S (l , r)$，($1 \leq l \leq r \leq |S|$，$|S|$ 表示 $S$ 的长度)。

$S$ 的两个子串视作不同当且仅当它们在 $S$ 中的位置不同，即 $l$ 不同或 $r$ 不同。

题意描述

一个大小为 $n$ 的树包含 $n$ 个结点和 $n - 1$ 条边，每条边连接两个结点，且任意两个结点间有且仅有一条简单路径互相可达。

小 Q 是一个充满好奇心的小朋友，有一天他在上学的路上碰见了一个大小为 $n$ 的树，树上结点从 $1 \sim n$ 编号，$1$ 号结点为树的根。除 $1$ 号结点外，每个结点有一个父亲结点，$u$（$2 \le u \le n$）号结点的父亲为 $f_u$（$1 \le f_u < u$）号结点。

小 Q 发现这个树的每个结点上恰有一个括号，可能是 ( 或 )。小 Q 定义 $s_i$ 为：将根结点到 $i$ 号结点的简单路径上的括号，按结点经过顺序依次排列组成的字符串。

显然 $s_i$ 是个括号串，但不一定是合法括号串，因此现在小 Q 想对所有的 $i$（$1 \le i \le n$）求出，$s_i$ 中有多少个互不相同的子串是合法括号串。

这个问题难倒了小 Q，他只好向你求助。设 $s_i$ 共有 $k_i$ 个不同子串是合法括号串，你只需要告诉小 Q 所有 $i \times k_i$ 的异或和，即：

$(1\times k_1)\ \text{xor}\ (2\times k_2)\ \text{xor}\ (3\times k_3)\ \text{xor}\ \cdots \ \text{xor}\ (n\times k_n)$

其中 $\text{xor}$ 是位异或运算。

输入格式

第一行一个整数 $n$，表示树的大小。

第二行一个长为 $n$ 的由$\text{(}$ 与$\text{)}$ 组成的括号串，第 $i$ 个括号表示 $i$ 号结点上的括号。

第三行包含 $n − 1$ 个整数，第 $i$ 个整数表示 $i + 1$ 号结点的父亲编号 $f_{i+1}$

输出格式

输出仅一行，包含一个整数表示答案。

Input & Output ‘s examples

Input ‘s eg

5
(()()
1 1 2 2

Output ‘s eg

样例解释

树的形态如下图：

将根到 $1$ 号结点的简单路径上的括号，按经过顺序排列所组成的字符串为 $\text{(}$，子串是合法括号串的个数为 $0$。

将根到 $2$ 号结点的字符串为 $\text{((}$子串是合法括号串的个数为 $0$。

将根到 $3$ 号结点的字符串为 $\text{()}$子串是合法括号串的个数为 $1$。

将根到 $4$ 号结点的字符串为 $\text{(((}$，子串是合法括号串的个数为 $0$。

将根到 $5$ 号结点的字符串为 $\text{(()}$，子串是合法括号串的个数为 $1$。

数据范围和约定

测试点编号	$n\le $	特殊性质
$1\sim 2$	$8$	$f_i=i-1$
$3\sim 4$	$200$	$f_i=i-1$
$5\sim 7$	$2\times 10^3$	$f_i=i-1$
$8\sim 10$	$2\times 10^3$	无
$11\sim 14$	$10^5$	$f_i=i-1$
$15\sim 16$	$10^5$	无
$17\sim 20$	$5\times 10^5$	无

分析

~~md考场上没调出来这题真的血亏~~

可以先考虑一下$50$分的部分分，即对于一条链的情况是怎么做的。

显然，对于一条链，可以设$fin[i]$表示以$i$结尾的子串中合法括号串的数目，$last[i]$表示以$i$结尾的子串中上一个没有匹配的左括号的位置。

则对于一个新的位置$i$，如果它是(，则$last[i] = i$。

若是)的话，则$fin[i] = 1 + fin[last[i]]$，$last[i] = last[last[i]]$

现在思考如何搬到树上。

树上和链上最大的区别在于树上转移时并不是从上一个节点转移，而是从父节点转移。

因此，我们只需要将转移时的上一个节点全部改为父节点，即$fin[i] = 1 + fin[fa[last[i]]]$，$last[i] = last[fa[last[i]]]$，然后套上一个$\text{dfs}$。

最后别忘了按照题目要求全部$\text{xor}$一遍。

剩下的细节详见代码。

Code[Accepted]

#include <algorithm>
#include <iostream>
#include <cstring>
#include <iomanip>
#include <cstdlib>
#include <sstream>
#include <cstdio>
#include <string>
#include <vector>
#include <cctype>
#include <stack>
#include <queue>
#include <deque>
#include <cmath>
#include <map>
#include <set>

#define I inline
#define ll long long
#define pb push_back
#define MP make_pair
#define ull unsigned long long
#define PII pair<int , int>
#define PIL pair<int , long long>
#define PSL pair<string , long long>
#define PLL pair<long long , long long>
#define all(x) (x).begin() , (x).end()
#define copy(a , b) memcpy(a , b , sizeof(a))
#define clean(a , b) memset(a , b , sizeof(a))
#define rep(i , l , r) for (int i = (l); i <= (r); i ++)
#define per(i , r , l) for (int i = (r); i >= (l); i --)
#define PE(i , x) for(int i = head[x]; i; i = edge[i].last)
#define DEBUG(x) std :: cerr << #x << '=' << x << std :: endl

using namespace std;

const int N = 10001;
const int M = 500001;
const int HA = 998244353;
const int INF = 2147483647;
const long long INFL = 9223372036854775807;

int n;

struct Edge{
    int to , last;
}edge[M << 1];

int edge_num;
int head[M << 1];

I void add_edge(int from , int to){
    edge[++ edge_num] = (Edge){to , head[from]}; 
    head[from] = edge_num;
}

int fa[M << 1];
char s[M << 1];

ll fin[M << 1] , last[M << 1];

void dfs(int x){
    last[x] = last[fa[x]];
    if(s[x] == '(') last[x] = x;
    else if(last[x] != 0){
        fin[x] = fin[fa[last[x]]] + 1;
        last[x] = last[fa[last[x]]];
    }
    PE(i , x){
        int to = edge[i].to;
        dfs(to);
    }
}

int main() {
    #ifdef LOCAL
        freopen("try.in" , "r" , stdin);
        freopen("try1.out" , "w" , stdout);
    #endif
    scanf("%d" , &n);
    scanf("%s" , s + 1);
    rep(i , 2 , n){
        int x; scanf("%d" , &x);
        fa[i] = x;
        add_edge(x , i);   
    }
    dfs(1);
    ll ans = fin[1];
    rep(i , 2 , n){
        fin[i] += fin[fa[i]];
        ans ^= (i * fin[i]);
    }
    printf("%lld\n" , ans);

    return 0;
}