【摘 要】
：
约束满足问题（CSP）是人工智能中一个重要的研究课题。通过讨论CSP的有序二叉决策图（OBDD）描述,给出了CSP的符号OBDD求解算法。其算法是在CSP的符号表示的基础上,首先对CSP中的所
【机 构】
：
桂林电子科技大学计算机科学与工程学院
论文部分内容阅读
约束满足问题（CSP）是人工智能中一个重要的研究课题。通过讨论CSP的有序二叉决策图（OBDD）描述,给出了CSP的符号OBDD求解算法。其算法是在CSP的符号表示的基础上,首先对CSP中的所有变量根据其在约束图中的度的大小进行递增排序,然后按照此变量序将CSP分成n个子问题分别进行求解,其中n为CSP中变量数,最后利用OBDD的＂与＂操作合并所有子问题,所得的OBDD即为满足所有约束的CSP的所有解。通过与桶消元算法和符号OBDD直接求解算法的实验对比,证明本算法具有明显的优越性。
其他文献
综述了广州举办的第十二届国际塑料工业展览会的概况，介绍了一些技术特点鲜明的展品。
目的探讨肝素锂抗凝血浆代替血清在生化检验中的可行性探讨。方法随机从2017年2月到2018年2月抽选我院76例受检者静脉血液标本,针对门诊患者和健康体检者采取标本3 mL清晨静
中密度聚乙烯和低密度聚乙烯美国Nova特种化学品公司采用新式Advanced Sclairtech二次反应工艺以及非茂金属单点催化剂,研制出2种新型实验性滚塑级聚乙烯树脂,较高的强度、韧
针对三维Helmholtz方程Dirichlet边界问题，提出一种高阶快速数值算法。该算法采用高阶有限差分方法离散化，利用FFT方法将离散方程缩小为规模较小的界面线性方程，可用直接法快速
三菱(MHI)注塑机械有限公司主要生产和销售三菱(Mitsubishi)注射机,目前正向市场推销一种新型专利性加工工艺,该工艺是针对多型腔模具可一次只注塑一个部件而专门开发的,该工
目的急性重度酒精中毒急诊综合促醒疗效的观察。方法 2016年2月至2018年4月,回顾性选择我院收治的90例急性重度酒精中毒患者,根据促醒方式,分为两组,醒脑静促醒的45例设为对
自行研制的专用于复杂电子设备的多学科优化设计平台及其关键技术，通过利用专业建模软件建立几何模型，并将其导入结构仿真软件、电磁仿真软件、热仿真软件进行多学科耦合仿真，进
美国阿托菲纳公司／Atofina于10月5日在法国巴黎对外宣布．将新分离出去的乙烯基产品、工业化学品和性能产品业务分部正式冠名为Arkema公司。这个名字是结合了arch(拱形)的寓意和
随着中医的日益发展,《伤寒论》、《金匮要略》等中医经典书籍中的经方收到中医学者及研究者的日益关注,现对桃核承气汤的历史沿革与临床应用简要叙述,并对其在临床上丰富的