poj 1635 Subway tree systems（树的同构，经典）

题意：
一个有根树。给一种用01序列来表示该树的方式，0表示前进（沿没有访问过的边），1表示沿树边回退。
一个树当然会有多种表示， 问题是给出两个序列，问是否表示同一颗树。
思路：
感觉判断树的同构是个很广的问题。
不过就此题而言，可以对一颗树的所有表示序列，都可以用递归的方式把它们变成一个。（先划分子树，按字典序重排）
也有用dp做的，还有哈希的。。是很值得研究的一题
这道题引起我对两个问题的思考，对于一颗有根树，它的最小表示是什么？无根树呢？
无根树可能需要考虑具有某个度的节点有多少个，以及其相邻关系。。

// 代码考虑了非法输入，有些凌乱 = =!string go (const string & s) {    string ret;    vector<string> subs;    int i = 0, j = 0, cnt = 0, len = s.length();    for (j=0;j<len;++j) {        if (s[j] == '0')            cnt += 1;        else if (s[j] == '1')            cnt -= 1;        if (!cnt) {            if (s[i] != '0' || s[j] != '1') return "";            if (j-i+1 == 2)                subs.push_back(s.substr(i, 2));            else {                string tmp = go (s.substr(i+1, j-i));                if (tmp == "") return "";                subs.push_back('0' + tmp + '1');            }            i = j+1;        }    }    sort(subs.begin(), subs.end());    for (int i=0;i<subs.size();++i) ret += subs[i];    return ret;}int main(){#ifndef ONLINE_JUDGE    freopen("input.in", "r", stdin);#endif    string sa, sb;    int n;    cin >> n;    while (n--) {        cin >> sa >> sb;        string x = go (sa), y = go (sb);        if (x == y) cout << "same\n";        else cout << "different\n";    }    return 0;}