注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. 几何约束满足问题的求解

  2. 上海交大博士论文: 几何约束满足问题的求解部分

  3. 所属分类：专业指导

    • 发布日期：2010-01-19
    • 文件大小：3145728
    • 提供者：brbrm

  1. 约束满足问题_算法和复杂性

  2. 这是关于约束满足问题的论文，有具体的算法很分析

  3. 所属分类：其它

    • 发布日期：2010-03-18
    • 文件大小：2097152
    • 提供者：j5anj5an

  1. vc++实验顺序安排表，基于VC简单程序

  2. vc++实验顺序安排表，基于VC简单程序 约束满足问题

  3. 所属分类：C++

    • 发布日期：2011-03-08
    • 文件大小：1048576
    • 提供者：nudtxiong

  1. E 约束满足--人工智能(AI).ppt

  2. E 约束满足--人工智能(AI).ppt

  3. 所属分类：互联网

    • 发布日期：2011-04-13
    • 文件大小：1048576
    • 提供者：dongshilongdsl

  1. 约束程序设计

  2. 约束程序的基本思想，基本框架，求解流程和求解器的介绍

  3. 所属分类：专业指导

    • 发布日期：2012-10-29
    • 文件大小：1048576
    • 提供者：nancy03301

  1. Foundations of constaint satisfaction

  2. 约束满足问题一本经典的书，对于约束规划问题的研究不可多得，书后附代码

  3. 所属分类：专业指导

    • 发布日期：2013-07-29
    • 文件大小：913408
    • 提供者：yyj211

  1. 非二元约束满足问题求解

  2. 非二元约束满足问题求解 约束编程学习的好资料

  3. 所属分类：专业指导

    • 发布日期：2014-11-02
    • 文件大小：102400
    • 提供者：iamhuanggua

  1. 一种新的约束满足问题模型

  2. 一种新的约束满足问题模型，单汨源，林长华，针对传统约束满足问题表示配置知识时存在的不足，本文提出了一种更适宜表示配置知识的类条件约束满足问题。类条件约束满足问题以

  3. 所属分类：其它

    • 发布日期：2020-01-16
    • 文件大小：313344
    • 提供者：weixin_38655347

  1. 混合约束满足问题的复杂度分析

  2. 本文分析了随机CSP模型RBmix的分辨率复杂度，该模型的实例由长度不同的约束组成。 对于RBmix模型，已经确定了相变的存在，并且已经精确定位了阈值点。 通过将随机实例编码为CNF公式，可以证明几乎所有RBmix模型实例都没有小于指数大小的树状分辨率证明。 因此，RBmix模型可以在阈值中生成大量硬实例。 该结果对NP完全问题的算法测试和复杂度分析具有重要意义。

  3. 所属分类：其它

    • 发布日期：2020-06-05
    • 文件大小：384000
    • 提供者：weixin_38516040

  1. Google OR-Tools(四) 约束编程 Constraint Programming

  2. 本文参考Google OR-Tools官网文档介绍OR-Tools的使用方法。 1 约束满足问题 1.1 CSP定义 在前一篇文章中我提到Google OR-Tools中解决整数规划问题有MP Solver和CP Solver两种工具，但是只介绍了MP Solver，而这篇文章则会介绍CP Solver。之所以会有这两种工具，是因为虽然都是解决整数规划，各自面对的问题类型还是有区别的，CP Solver一般用于约束满足问题(Constraint Satisfaction Problem)，简称C

  3. 所属分类：其它

    • 发布日期：2021-01-07
    • 文件大小：172032
    • 提供者：weixin_38670186

  1. 超过两种颜色的约束满足问题的PPSZ算法

  2. PPSZ算法（Paturi等人，FOCS 1998）是已知的k-SAT最快的算法。 我们展示了如何将算法及其分析扩展到（d，k）-克劳斯满意度问题，其中每个变量的范围都超过d个不同值。 给定具有唯一令人满意的分配的输入实例，除（d，k）为（3，2）或（4，2）时，所得算法是（d，k）-CSP最快的已知算法。 对于多个令人满意的分配的一般情况，对于所有k≥4，我们的算法是最快的。

  3. 所属分类：其它

    • 发布日期：2021-03-26
    • 文件大小：851968
    • 提供者：weixin_38588394

  1. ArtificialIntelligence:该软件包包含我所有与人工智能有关的源代码和材料。 一些主题包括搜索，约束满足问题，逻辑系统，机器学习等-Artificial intelligence source code

  2. 人工智能 该软件包包含我所有与人工智能有关的源代码和材料。 一些主题包括搜索，约束满足问题，逻辑系统，机器学习等。

  3. 所属分类：其它

    • 发布日期：2021-03-25
    • 文件大小：455680
    • 提供者：weixin_42171208

  1. SudokuCSP:数独约束满足性问题的主动式递归回溯算法-源码

  2. SudokuCSP:数独约束满足性问题的主动式递归回溯算法

  3. 所属分类：其它

    • 发布日期：2021-03-22
    • 文件大小：4194304
    • 提供者：weixin_42113794

  1. 加权约束满足问题的改进RDS符号代数决策图求解算法

  2. 加权约束满足问题(WCSP)是一类约束最优化问题.文中基于RDS思想,从减少RDS分解的子问题个数及提高各个子问题的求解效率入手,提出WCSP的改进RDS符号代数决策图(ADD)求解算法.通过改进最多约束变量的变量选择法,引入RDS变量引导原问题的子问题分解,进而减少RDS中分解的子问题个数.利用变量的后向度,进一步改进子问题的分解方法.为提高各个子问题的求解效率,利用桶消元算法并结合ADD操作消去子问题中的非RDS变量,进而减少子问题中的变量个数,提高深度优先分支界定法的下界.在大量随机生成的

  3. 所属分类：其它

    • 发布日期：2021-03-18
    • 文件大小：501760
    • 提供者：weixin_38537968

  1. RB模型的约束满足问题实例的社区结构

  2. RB模型的约束满足问题实例的社区结构

  3. 所属分类：其它

    • 发布日期：2021-03-12
    • 文件大小：358400
    • 提供者：weixin_38723192

  1. 不确定非线性系统的机会约束模型预测控制。

  2. 本文提出了一种基于机会约束的一类随机非线性系统的模型预测控制方案。 所应用的控制由名义控制行为组成，该名义控制行为基于严格确定性最优控制问题和辅助控制律的解决方案。 辅助控制法则消除了采样时间之间的不确定性。 讨论了机会约束满足以及闭环系统在概率意义上的收敛性。 总体方法仅比相应的名义确定性模型预测控制器稍微多了一些计算开销。 数值示例说明了该方法

  3. 所属分类：其它

    • 发布日期：2021-03-02
    • 文件大小：1048576
    • 提供者：weixin_38670700

  1. 纯随机游走算法在增长域约束满足问题上的性能

  2. 纯随机游走算法在增长域约束满足问题上的性能

  3. 所属分类：其它

    • 发布日期：2021-02-26
    • 文件大小：1048576
    • 提供者：weixin_38747906

  1. CSP-Rules-V2.1：有限约束满足问题的基于模式的通用求解器-源码

  2. CSP规则V2.1 基于模式的有限约束满足问题的通用求解器 1.什么是CSP规则？ 有限的二进制约束满足问题（CSP）由一组有限的变量（以下称为CSP变量）定义，每个变量都具有一个有限的域。 问题是要为每个变量在其域中找到一个值，以使这些值满足一组预定义的二进制约束。 一个典型的流行例子是数独。 CSP-Rules是有限二进制CSP的基于常规模式（或基于规则）的求解器。 它包括拉丁方求解器，数独求解器，Futoshiki求解器，Kakuro求解器，地图着色问题的求解器，Hidato求解器，Nu

  3. 所属分类：其它

    • 发布日期：2021-02-11
    • 文件大小：23068672
    • 提供者：weixin_42169971

  1. 约束满足问题-源码

  2. 约束满足问题

  3. 所属分类：其它

    • 发布日期：2021-02-09
    • 文件大小：5242880
    • 提供者：weixin_42099087

  1. 基于约束满足的热轧批量计划模型与算法

  2. 将热轧批量计划问题作为一个约束满足问题处理,建立不确定计划数的VRPSTW约束满足模型.在求解过程中,先用约束满足的一致性技术过滤变量的值域,收缩搜索空间;然后用变量选择和值选择构造轧制计划的解.为变量赋值之后,实施约束传播,保证每块板坯只被访问一次并动态禁止子回路.在已有的解的基础上,应用基于禁忌的k-opt互换改进解的质量.数据实验证明模型和算法是有效的.

  3. 所属分类：其它

    • 发布日期：2021-01-15
    • 文件大小：530432
    • 提供者：weixin_38649657
« 12 3 4 5 6 7 8 9 10 ... 50 »