【摘 要】
：
表约束是一种外延的知识表示方法,每个约束在对应的变量集上列举出所有支持或禁止的元组.广义弧相容(generalized arc consistency,简称GAC)是求解约束满足问题应用最广泛的
【机 构】
：
吉林大学计算机科学与技术学院,符号计算与知识工程教育部重点实验室（吉林大学）
【基金项目】
：
国家自然科学基金(61272208,61373052),吉林省科技计划(20180101043JC)
论文部分内容阅读
表约束是一种外延的知识表示方法,每个约束在对应的变量集上列举出所有支持或禁止的元组.广义弧相容(generalized arc consistency,简称GAC)是求解约束满足问题应用最广泛的相容性.Simple Tabular Reduction(STR)是一类高效的维持GAC的算法.在回溯搜索中,STR动态地删除无效元组,降低了查找支持的开销,并拥有单位时间的回溯代价,在高元表约束上获得了广泛运用,并有大量基于STR的改进算法被提出,其中,元组集的压缩表示是目前研究较多的方法.同样基于动态维持元组集
其他文献
中国古代造园艺术魅力之所在，就是只要身临其境都会为其所感染，这是由于其中包含的中国传统文化、美学原理以及造型艺术的有机结合。以师法自然为主题思想的中国园林通过运用植
本文分析了汽车狗氏偏角的形成原因，探讨了利用汽车前束仪测试汽车狗跑式偏角及消除汽车狗氏偏角的方法。
在论述汽车电系统环境及主要电压源的基础上，着重分析了各种浪涌信息信号的来源，性质及强弱程度，并提出了设计电子产品应注意的几个问题，最后讨论了模拟实验及装置的设计。
近年来,随着跨文化交际研究的深入和普及,外语教学决不仅仅是培养学生的听、说、读、写四会能力,而且还必须使学生具备另外一种能力--文化能力.从某种意义上讲,外语教学即是
学校体育，就其目的、任务的特殊性而言，它不同于大众体育和竞技体育。它突出的特点，就是其本身所具有的特殊的教育属性。就我国教育方针而言，在学校整个教育体系中，体育并不单独存