解法

再帰下降構文解析やるだけ。

逆から読めばRPNになってstackひとつで済む(たぶん典型)は気付かなかったが頭いい。

実装

#include <bits/stdc++.h>
#define REP(i, n) for (int i = 0; (i) < int(n); ++ (i))
#define REP3(i, m, n) for (int i = (m); (i) < int(n); ++ (i))
#define REP_R(i, n) for (int i = int(n) - 1; (i) >= 0; -- (i))
#define REP3R(i, m, n) for (int i = int(n) - 1; (i) >= int(m); -- (i))
#define ALL(x) begin(x), end(x)
using namespace std;

int eval(const char **s, array<int, 4> const & p) {
    if (**s == '[') {
        ++ *s;
        char op = *((*s) ++);
        int a = eval(s, p);
        int b = eval(s, p);
        assert (**s == ']');
        ++ *s;
        if (op == '+') {
            return a | b;
        } else if (op == '*') {
            return a & b;
        } else if (op == '^') {
            return a ^ b;
        } else {
            assert (false);
        }
    } else {
        assert ('a' <= **s and **s <= 'd');
        return p[*((*s) ++) - 'a'];
    }
}

int eval(string const & s, int p) {
    const char *ptr = s.c_str();
    array<int, 4> ary;
    REP_R (i, 4) {
        ary[i] = p % 10;
        p /= 10;
    }
    return eval(&ptr, ary);
}

int main() {
    while (true) {
        // input
        string s; cin >> s;
        if (s == ".") break;
        int p; cin >> p;

        // solve
        int hash = eval(s, p);
        int cnt = 0;
        REP (q, 10000) {
            cnt += eval(s, q) == hash;
        }

        // output
        cout << hash << ' ' << cnt << endl;
    }
    return 0;
}