PulseAugur
中
实时 04:40:15
English(EN) A binarized-domains arc-consistency algorithm for TCSPs: its computational analysis and its use as a filtering procedure in solution search algorithms

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

作者 PulseAugur 编辑部 · [1 个来源] ·

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

影响 引入了一种新的时间约束满足问题算法方法，可能提高相关AI应用（如调度）的效率。

排序理由 该集群包含一篇详细介绍时间约束满足问题新算法的研究论文。[lever_c_demoted from research: ic=1 ai=1.0]

在 arXiv cs.AI 阅读 →

AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →

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

报道来源 [1]

  1. arXiv cs.AI TIER_1 English(EN) · Amar Isli ·

    A binarized-domains arc-consistency algorithm for TCSPs: its computational analysis and its use as a filtering procedure in solution search algorithms

    arXiv:2002.11508v3 Announce Type: replace Abstract: TCSPs (Temporal Constraint Satisfaction Problems) [Dechter et al. 1991] get rid of unary constraints by binarizing them after having added an "origin of the world" variable. In this work, we look at the constraints between the "…

相关话题