المپدیا

درخت را از دو راس یا تک راس مرکز آن، آویزان کرده و آن را $Hash$ می‌کنیم. دو درخت یک‌ریخت‌اند اگر مقدار hash_value آن دو برابر باشد.
ساختار اصلی کد ارائه شده همان الگوریتم پیدا کردن مرکز درخت است که در میان آن همواره hash_value زیردرخت هر راس نیز محاسبه شده است.

const int Maxn = 1e5 + 3, M = 1e9 + 9;
const long long Z = 239;
int n, deg[Maxn], hash_value[Maxn], h[Maxn];
vector < int > adj[Maxn];

int getHash () {
	int center[2] = {0, 0};
	queue < int > q;
	for(int i = 1; i <= n; ++i)
		if (deg[i] == 1) {
			q.push(i);
			h[i] = 1;
		}
	while(!q.empty()) {
		int v = q.front();
		q.pop();

		int par = 0;
		vector < int > hash_child;
		for(int u: adj[v]) {
			if (h[u] && h[u] < h[v])
				hash_child.push_back(hash_value[u]);
			else if (--deg[u] == 1) {
				q.push(u);
				h[u] = h[v] + 1;
			}
			if (h[u] > h[v])
				par = u;
		}
		if (!par) {
			center[1] = center[0];
			center[0] = v;
		}
		sort(hash_child.begin(), hash_child.end() );
		hash_value[v] = ((adj[v].size() * Z % M) * h[v]) % M;
		for(int h: hash_child)
			hash_value[v] = (hash_value[v] * Z + h) % M;
	}

	if (hash_value[center[1]] > hash_value[center[0]])
		swap (center[0], center[1]);
	return (hash_value[center[1]] * Z + hash_value[center[0]]) % M;
}