词条

约束补偿问题

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

以下举例为几个简单的约束满足问题:

八皇后问题
图着色问题
填字游戏、数独及其他一些逻辑益智游戏

这些是提供的ASP,Boolean SAT和SMT教学课程的人通常会教的。在一般情况下,约束问题会是更困难，而且可能难以用这些简单系统的例子来表达。

现实生活中的例子包含自动规划和资源配置。

约束补偿问题相关文献

南宋的拆迁补偿

南宋的拆迁补偿,南宋光宗当政的第一年冬天，准备大兴土木，在首都杭州的后市街盖皇后家庙。盖就盖吧，

查看全文

南宋的拆迁补偿

南宋的拆迁补偿,南宋光宗当政的第一年冬天，准备大兴土木，在首都杭州的后市街盖皇后家庙。盖就盖吧，

查看全文

惯性约束聚变

历史惯性约束聚变的提出最早是在1970年代初。70年代和80年代的实验发现这些装置的的效率比预想的要低得多，而且“点火”不是那么容易发生的。80年代和90年代科学家进行了许多实验试图弄明白高强度激光和等离子体等的复杂关系。概念的提出惯性约束聚变的概念最早可追溯到一次在1957年由“氢弹之父”爱德华·泰勒召集的关于和平利用核能的研讨会。在这场研讨会上，一些人提出用氢弹加热在一个注满水的地下岩洞，用得到的蒸汽推动发电机运行，从而获得电能。在PACER项目中，这一想法有更深入的研究。大约在同一时间（1956年），核聚变先驱，德国马克斯·普朗克研究所的卡尔·冯·魏茨泽克组织了一场会议。在这次会议上，弗里德瓦特·温特堡（FriedwardtWinterberg）提出了一个在会聚冲击波的作用下的高能量非裂变热核微爆方案。更多的关于Winterberg的这一工作的资料可以在前东德秘密警察的解密报告中得到...

查看全文

自由变量和约束变量

例子在陈述自由变量和约束变量（或虚变量）的严格定义之前，我们会给出一些例子，使这两个概念比定义看起来更加清楚：在表达式中y是自由变量而x是约束变量（或虚变量）；因此这个表达式的值依赖于y的值。在表达式中x是自由变量而y是约束变量；因此这个表达式的值依赖于x的值。在表达式中y是自由变量而x是约束变量；因此这个表达式的值依赖于y的值。在表达式中x是自由变量而h是约束变量；因此这个表达式的值依赖于x的值。在表达式中z是自由变量而x和y是约束变量；因此这个表达式的真值依赖于z的值。变量约束算子下列的都是变量约束算子，它们都约束变量x。形式解释变量约束机制出现在数学、逻辑和计算机科学中的不同情况中，但是在所有情形下它们是其中的表达式和变量的纯粹语法性质。本节中我们用叶子节点是变量、函数常量或谓词常量，而节点是逻辑运算符的树，识别表达式来总结语法。变量约束的运算符是几乎出现在所有形式语言中的逻辑运算符...

查看全文

隐形约束手套

创新点：本隐形约束手套结构为一透明的弹性球型空间，上开有透气孔。手通过腕套穿入并固定后，手套腔体能有效地隔离危险的抓握动作。由于手套有内充足的活动空间，可放入各类玩具，鼓励病人自主锻炼，延缓卧床期间的身心退行病变。透明可视的外观，便于照料者观察护理。非传统服装纤维质地，专用于防拔管、防自伤，在提供安全隔离同时，还力求提升病人和照顾者的生活质量。应用：防止卧床病人拔管、自伤

查看全文

约束补偿问题相关标签

宣告式编程

家族谱大览

南平文氏定州叅议公派谱

庆熙大学中央图书馆、仁济大学中央图书馆始祖文多星的子孙录。首尔特别市永登浦区，南平文氏郑州参议公派普遍赞誉委员会，文相渐，1998年发行。

1.补氏族谱, 1, 1698–2016

为能实时提供网络用户搜寻, 此书谨有简略讯息, 谱书影像内容未经审阅. 如有错误, 请透过「意见反馈」反应.

1.宝庆问氏家谱

原书: [出版地不详 : 出版者不详], 民国4[1915]. 4册. 封面题 : 问氏家谱始迁祖 : 问朝字朝元(明) 散居地 : 江苏省宝应县等地江西太源