CSP论文
文章平均质量分 93
ithicker
这个作者很懒,什么都没留下…
展开
-
choco-slover安装
简单来说,jar包是对写好的类进行了打包。我们可以通过将jar包放到lib目录下来使用这些jar包中的类、属性和方法。专业解释,JAR文件是Java Archive File-java档案文件的简称,是与平台无关的文件格式,基于zip文件格式将许多文件合成一个压缩文件.jar,区别是比zip多了一个包含了一个 META-INF/MANIFEST.MF 文件,这个文件是在生成 JAR 文件的时候自动创建的。原创 2023-04-20 23:39:55 · 241 阅读 · 0 评论 -
FORD-FULKERSON算法
其中w也有流流向了u和v,而这部分流无法流向源点s,因为没有路径,所以最后这部分流量加上s到u和v的流量,在u和v之间无论如何互相传递流,最终都要流向集合T,所以这个流量值是等于s流向u和v的值的。首先,我们必须了解一个特性,根据上一篇文章中讲到的最大流问题的线性规划表示时,提到,流网络的流量守恒的原则,根据这个原则我们可以知道,对网络的任意割,其净流量的都是相等的。举个例子,假设(u,v)当前流量为3/4,那么就是说c(u,v)=4,f(u,v)=3,那么r(u,v)=1。首先介绍下,割的概念。原创 2023-04-02 15:50:27 · 3527 阅读 · 0 评论 -
AllDifferent约束条件下广义弧一致性的实证研究-Generalised arc consistency for the AllDifferent constraint: survey
AllDifferent约束是任何约束工具包、语言或求解器的重要组成部分,因为它被广泛应用于各种约束模型中。文献中包含了这个约束的许多不同版本,它们以推断的强度与计算成本进行交易。在这篇文章中,我们关注于推理的最高强度,加强了一个称为广义弧一致性(GAC)的性质。本文对GAC的主要算法在AllDifferent约束条件下的优化进行了分析研究。我们从文献中对一些关键技术进行了实证评估。我们还报告了这些技术的重要实现细节,这些细节通常在已发表的论文中没有描述。我们特别关注。原创 2023-03-31 22:15:31 · 854 阅读 · 0 评论 -
Tarjan算法超超超详解(ACM/OI)(强连通分量/缩点)(图论)(C++)
在有向图G中,如果两个顶点u,v间有一条从u到v的有向路径,同时还有一条从v到u的有向路径,则称两个顶点强连通。如果有向图G的每两个顶点都强连通,称G是一个强连通图。有向非强连通图的极大强连通子图,称为强连通分量(Strongly Connected Components, SCC)。换句话说,一个强连通分量中的每两个点可以互相到达,且这个强连通分量所包含的的节点数尽可能大。例如:(下图中被框起来的子图就是强连通分量,共三个):显然,环是一个强连通分量的子图。转载 2023-03-31 14:08:07 · 604 阅读 · 5 评论 -
Alldifferent约束下无用约束传播的早期有效识别-Early and Efficient Identification of Useless Constraint Propagation
约束传播和回溯是解决约束满足问题的两种基本技术。在解的搜索过程中,通过约束传播丢弃不属于任何解的变量对和值对,保证广义弧的一致性,避免了无结果的搜索。然而,约束传播经常被调用,对许多CSP几乎没有影响。在预测何时调用约束传播以求解CSP方面投入了大量精力。然而,对于不同的约束条件,还没有一个有效的解决方法。本文给出了一个新的定理,用于在一个值图中识别所有alldifferent约束的边,这些约束的去除会导致无用的约束传播。原创 2023-03-29 21:27:01 · 170 阅读 · 0 评论 -
A Fast Algorithm for Generalized Arc Consistency of the Alldifferent Constraint(不同约束广义圆弧相容的快速算法 )
各种不同的约束可以在各种各样的组合问题中找到[Wallace1996],包括各种谜题、图着色和指派问题。原创 2023-03-27 23:47:43 · 126 阅读 · 0 评论 -
A fltering algorithm for constraints of difference in CSPs
CSP解的存在性问题是NP完全的。因此,一些方法已经发展起来,以简化CSP之前或期间的搜索解决方案。一致性技术是最常用的技术。对于二进制CSP和N元CSP提出了几种实现弧一致性的算法。引入的特殊约束的算法AC-4进行了改进,研究了单调和泛函二元约束。在本工作中,我们对n元约束的一个特殊情况:“不同约束”感兴趣,为此我们提出了一个过滤算法。如果一个约束在变量子集上被一组元组定义,而在同一元组中出现的值都是不同的,则称为“不同约束”。它们存在于现实生活中的许多问题中。原创 2023-03-25 21:17:09 · 190 阅读 · 0 评论