Kong et al.

面向TCSP的新型双域二值化弧一致性算法被引入

本文介绍了一种名为bdAC-3的新算法，旨在实现时间约束满足问题（TCSP）的双域弧一致性（bdArc-Consistency）。该算法是对Mackworth的AC-3算法的改编，旨在通过确保弧一致性来最小化TCSP的双域。研究包括对bdAC-3的计算分析，证明了其在某些任务上的多项式时间复杂度及其在解搜索算法过滤过程中的有效性。论文还展示了bdAC-3与ACSTP等现有算法的实验比较，并讨论了其在基于TCSP的作业车间调度中的应用。