We introduce the affine OBDD model and show that zero-error affine OBDDs can be exponentially narrower than bounded-error unitary and probabilistic OBDDs on certain problems. Moreover, we show that Las-Vegas unitary and probabilistic OBDDs can be quadratically narrower than deterministic OBDDs. We also obtain the same results for the automata counterparts of these models.

中文翻译：

---

无错误仿射、单一和概率 OBDD

我们介绍了仿射 OBDD 模型，并表明在某些问题上，零误差仿射 OBDD 可以比有界​​误差酉和概率 OBDD 窄得多。此外，我们表明，Las-Vegas 的单一和概率 OBDD 可以比确定性 OBDD 窄。对于这些模型的自动机对应物，我们也获得了相同的结果。