约简有序二叉决策图（ROBDD）是一种有效的数据结构，用于具有多个变量f（x1，x2，...，xn）的布尔函数。我想要了解它们的效率究竟有多高。 例如，对于数据压缩，我们知道熵低的数据（某些符号出现比其他符号更频繁，重复出现多次）可以被很好地压缩，而完全随机的数据则无法被压缩。 是否有类似...