通过单调约束枚举And-或树上的决策树

注解: 广泛应用于人工智能系统和/或树具有指定值的指标在终端弧或顶点被考虑。 指数在决策树上递归地确定，使用每个参数的连续和单调卷积函数。 任务是枚举满足指标约束系统的决策树。 对于单个加性指标的情况，先前提出了复杂度和内存线性的算法，但对于两个指标，没有用于解决问题的多项式算法。 提出了分支和边界类型两种算法。 第一种算法通过对单个指标的约束实现可接受解的子树的顺序分配。 第二种算法允许您有效地切断无效的子树。 这两种算法都基于引入的通过单调约束的最小壳和-或树的概念。 第一种算法在存在大量不等式系统解决方案的情况下更适用，因为它允许您选择可接受的选项，而不是单独选择，而是以子树和-或树的形式在块中。 第二种算法集中在不等式系统具有少量解的情况下。