动态文章
参与贡献的知识
约束满足问题
约束满足问题技术任务

约束补偿问题(CSPs)是种数学的问题,其定义为一组物件(object),而这些物件需要满足一些限制或条件。 CSPs将其问题中的单元(entities)表示成在变数上有限条件的一组同质(homogeneous)的集合, 这类问题透过"约束补偿方法"来解决。CSPs是人工智能和运筹学 的热门主题,因为它们公式中的规律,提供了共同基础来分析、解决很多看似不相关的问题。 CSPs通常呈现高复杂性, 需要同时透过启发式搜索 和 联合搜索 的方法,来在合理的时间内解决问题。 布林可满足性问题 (SAT), 可满足性的理论 (SMT)和回答集程式设计 (ASP) 可以算是某种程度上的约束补偿问题。

七匹狼
七匹狼机构

七匹狼品牌创立于1990年,是中国男装行业开创性品牌。2000年推出格子茄克,成为红遍大江南北的“茄克之王”,并在此后连续16年中国茄克市场占有率第一。2004年七匹狼实业股份有限公司作为中国服装业首家公司上市(股票代码:002029)。

ta的专栏
AI平台

AI平台

人工智能平台是落地其技术与应用的窗口,如何快速高效的帮助各个行业使用人工智能技术是平台的核心价值。本专栏机器之心将以行业内从业者角度出发为您提供专业的人工智能平台相关热点分析。

共 0 篇文章

PaperWeekly

PaperWeekly

推荐、解读、讨论和报道人工智能前沿论文成果的学术平台。

共 370 篇文章

未登录

登录

empty_user
去登录
文章库PRO会员通讯SOTA!模型AI 好好用
机器之心
文章库PRO通讯会员SOTA!模型
AI 好好用
登录