HDU6062 RXD and logic gates (Trie)

HDU6062 RXD and logic gates (Trie)

题目描述

构造一个逻辑电路能满足它所给的函数式

题目分析

读题用时6分钟，思考23分钟猜到解法应为Trie。最后都归结于用异或表示与门，失败。
查阅题解9分钟，Code22分钟，Debug10分钟，总计用时70min。

代码

#include <stdio.h>
const int maxn = 1010;
int ans_cnt, deep[maxn], a[maxn], b[maxn], c[maxn];
char s[maxn];
void Add(int x, int y, int z){
    int id = ans_cnt++;
    a[id] = x; b[id] = y; c[id] = z;
}
int main(){
    int m;
    while(scanf("%d", &m) == 1){
        printf("0\n");
        printf("%d\n", 2 * m + (1 << (m + 1)));
        printf("1\n");
        for(int i = 0; i < m; i++)
            printf("1\n0\n");
        printf("1\n");
        for(int i = 2; i <= (1 << (m + 1)) - 1; i++)
            printf("0\n");
        const int M = m + 2;
        ans_cnt = 0;
        for(int i = 1; i <= m; i++){
            Add(M, i, M + 2 * i - 1);
            Add(M, i, M + 2 * i);
        }
        for(int i = 1; i <= (1 << m) - 1; i++){
            deep[2 * i] = deep[2 * i + 1] = deep[i] + 1;
            Add(M + 2 * m + i, M + 2 * deep[2 * i] - 1, M + 2 * m + 2 * i);
            Add(M + 2 * m + i, M + 2 * deep[2 * i + 1], M + 2 * m + 2 * i + 1);
        }
        for(int i = 0; i < (1 << m); i++){
            int p = 1, val;
            scanf("%s%d", s + 1, &val);
            if(val){
                for(int j = 1; j <= m; j++)
                    p = 2 * p + s[j] - '0';
                Add(M, M + 2 * m + p, m + 1);
            }
        }
        printf("%d\n", ans_cnt);
        for(int i = 0; i < ans_cnt; i++)
            printf("%d %d %d\n", a[i], b[i], c[i]);
    }
    return 0;
}

反思总结

位运算常与01字典树共同出现（可能还有FWT？）
要随时注意题目所给的条件，化简后不一定是最优的。
WA因为字典树根节点编号应为1而不是0。