Question

我有一个将元素组织成非脱节组合的宇宙元素。我有使用这些组合构建的表达式, 使用组合/ 交错/ 不同运算符。因此, 如果给一个元素, 我需要评估这些表达式, 找出哪个“ 衍生” 组包含元素。我不想计算“ 衍生” 组, 因为这个组会非常时间和空间效率不高。是否可以通过查看该组的表达式来判断该元素是否将存在于其中的一组中? 例如, 如果该表达式是 C = A U B, 而元素是设置 A 中, 那么我可以说它将位于设置 C 中。有没有 C 库可以进行这种性质的计算?

Answer 1

if im not mistake, let e = the element

将每套 A、 B 替换为真实的, 如果 e 在集中, 如果没有的话是虚假的。然后, 将设定的运算符转换为逻辑等值, 并将表达式评价为布林。它应该全部对布林运算符, 甚至是 xor 等的东西进行映射。

例如,e在两个AB中,但不在D中

C = (A U B) xor D

因为

    C = (true or true) xor false
->      (true)        xor false
-> true

如果你能很快找到一个元素是否在一组元素中,那可能很快。

友情链接