我在研究约束满足问题，并尝试编写代码来解决一些示例问题。我在http://rosettacode.org/wiki/Zebra_puzzle#C.2B.2B上发现了解决经典斑马谜题的方法。在罗塞塔代码网站上给出的C语言代码中，有以下函数。我只展示了其中的几行。我不明白这两个if语句的目的和它们的工作原理。有人能解释一下吗？

int checkHouses(int ha[5][5]){...    int c_add = 0, c_or = 0;    int m_add = 0, m_or = 0;    int d_add = 0, d_or = 0;    int a_add = 0, a_or = 0;    int s_add = 0, s_or = 0;    for (int i = 0; i < 5; i++) {        // Uniqueness tests.        if (ha[i][C] >= 0) {            c_add += (1 << ha[i][C]);            c_or |= (1 << ha[i][C]);        }        if (ha[i][M] >= 0) {            m_add += (1 << ha[i][M]);            m_or |= (1 << ha[i][M]);        }        if (ha[i][D] >= 0) {            d_add += (1 << ha[i][D]);            d_or |= (1 << ha[i][D]);        }        if (ha[i][A] >= 0) {            a_add += (1 << ha[i][A]);            a_or |= (1 << ha[i][A]);        }        if (ha[i][S] >= 0) {            s_add += (1 << ha[i][S]);            s_or |= (1 << ha[i][S]);        }    }    if ((c_add != c_or) || (m_add != m_or) || (d_add != d_or)        || (a_add != a_or) || (s_add != s_or)) {        return Invalid;    }    if ((c_add != 0b11111) || (m_add != 0b11111) || (d_add != 0b11111)        || (a_add != 0b11111) || (s_add != 0b11111)) {        return Underfull;}

回答：

注释实际上已经解释了这一点：它们是在验证对于每个x值，ha[0..4][x]之间没有重复的值。

至于它是如何做的：每个值被分配了一个位位置，这样1<<ha[i][x]将生成一个只有该位置的位被设置的数字。x_or将是这些值的OR运算结果，而x_add是它们的总和。如果有重复的值，它不会影响x_or（该位已经设置），但会影响x_add；因此，它们会有所不同。