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

搜索资源列表

  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. Foundations of constaint satisfaction

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

  3. 所属分类：专业指导

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

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

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

  3. 所属分类：专业指导

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

  1. 一类非光滑约束优化问题的凝聚同伦内点方法

  2. 一类非光滑约束优化问题的凝聚同伦内点方法，金鉴禄，贺莉，本文研究了可行域满足伪锥条件下的非凸域上非光滑优化问题，首先，利用凝聚函数把非光滑约束函数进行带参数的磨光，再利用组合同

  3. 所属分类：其它

    • 发布日期：2020-01-28
    • 文件大小：192512
    • 提供者：weixin_38591011

  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. 约束优化问题的新的增强拉格朗日目标惩罚函数

  2. 本文研究了约束优化问题的一种新的扩充拉格朗日罚函数。 证明了增广的拉格朗日目标惩罚函数对约束优化问题的双重性质。 在某些条件下，扩展的拉格朗日目标惩罚函数的鞍点满足一阶Karush-Kuhn-Tucker（KKT）条件。 特别是，当KKT条件满足凸编程时，其鞍点存在。 基于增强的拉格朗日客观罚函数，开发了一种求解不等式约束优化问题的全局解的算法，并在一定条件下证明了其全局收敛性。

  3. 所属分类：其它

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

  1. 不等式约束优化问题及KKT条件理解

  2. 不等式约束优化问题及KKT条件理解 我们只考虑不等式约束下的优化问题，如: minf(x) minf(x) minf(x) s.t.g(x)≤0 s.t.g(x)\leq0 s.t.g(x)≤0 这里xxx是多维的向量，约束不等式g(x)≤0g(x)\leq0g(x)≤0表示的是多维空间上的一个区域，因此我们定义可行性域K=x∈Rn∣g(x)≤0K={x\in R^n|g(x)\leq0}K=x∈Rn∣g(x)≤0 。假设x∗x^*x∗为满足约束条件的最佳解，那么我们可以分成两种情况讨论，而这

  3. 所属分类：其它

    • 发布日期：2020-12-14
    • 文件大小：45056
    • 提供者：weixin_38638309

  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-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. 为了克服传统的回溯算法在求解大型的约束满足问题时效率低，难以在合理的时间内求解这一问题。提出了基于启发式搜索的不完备性算法。结合不同算法特性，主要在蚁群优化元启发式约束求解算法的基础上提出了改进：一是在搜索之前用弧相容检查进行预处理以压缩搜索空间，二是提出了一种新的蚁群算法参数设置方案，提高算法的适应性。最后将改进后的算法应用于求解随机问题和组合优化问题。实验结果表明，改进后的算法求解效率得到大幅度提高。

  3. 所属分类：其它

    • 发布日期：2021-01-14
    • 文件大小：582656
    • 提供者：weixin_38643307
« 12 3 4 5 6 7 8 9 10 ... 27 »