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 个来源] · 2026-06-30 04:00

本文介绍了一种名为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 个来源。我们如何撰写摘要 →

本文如何被排名

Signal score: 0 / 100; Composite score across the factors below. Higher = stronger signal that this story matters right now.
Newsworthiness bucket: Tool; 该集群包含一篇详细介绍时间约束满足问题新算法的研究论文。[lever_c_demoted from research: ic=1 ai=1.0]
Source corroboration: Single-source cluster; Only one publisher covered this so far. Single-source stories can still rank when the publisher is high-authority, but they lack cross-source corroboration.
Topics: paper, other; Editorial topic classification. Feeds into how the story surfaces on /topic/<slug> hub pages and into the per-entity coverage mix.
AI-industry relevance: High; Clearly on-topic for AI-industry coverage.
Story freshness: 100 days old; Aged out of breaking-news scoring windows; ranking reflects the durable signal from the full source set.

完整方法见我们的编辑标准。

报道来源 [1]

arXiv cs.AI TIER_1 English(EN) · Amar Isli · 2026-06-30 04:00

一种用于TCSP的二值化域弧一致性算法：计算分析及其在解搜索算法中作为过滤过程的应用

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 "…

本文如何被排名

报道来源 [1]

一种用于TCSP的二值化域弧一致性算法：计算分析及其在解搜索算法中作为过滤过程的应用

相关实体

相关话题