- iOS/Objective-C 元类和类别
- objective-c - -1001 错误,当 NSURLSession 通过 httpproxy 和/etc/hosts
- java - 使用网络类获取 url 地址
- ios - 推送通知中不播放声音
我有一个依赖算法的问题,依赖类似于maven依赖,除了它是基于严格的版本范围。
例如:
component A, version 1 depends on: component B, version 1~3; and component C, version 2~3
component D, version 1 depends on: component B, version 2~4; and component C, version 1~2
现在,当我想安装版本 1 的组件 A 和版本 1 的组件 D 时,我想获得依赖项。因为它们都依赖于组件 B、C,所以我需要一个正确的算法来获得正确的版本 B 和C
此外,我可能需要升级组件A和D。例如,现在我有以下新版本:
component A, version 2 depends on: component B, version 3~5; and component C, version 4~5
component A, version 3 depends on: component B, version 6~7; and component C, version 4~5
component D, version 2 depends on: component B, version 3~4; and component C, version 3~4
现在我需要一个算法来获取我可以升级到的 A 和 D 的正确版本以及它们的所有依赖项。这里的一个问题是组件A,版本3和组件D,版本2有组件B的依赖冲突
是否有解决此类问题的现有算法?或类似(更简单)的问题。你有什么建议吗?
因为应该不会有很多数据,所以不考虑性能。
提前致谢!
最佳答案
通过 3SAT 的以下归约,此问题是 NP-hard 问题。给定一个 3CNF 公式,对于每个变量,都有一个具有两个版本的组件,对于每个子句,都有一个具有三个版本的组件。我们想安装一个“ super ”组件的一个版本,它依赖于所有的子句组件,但对版本不挑剔。对于每个子句,子句组件 1 取决于出现在子句中的第一个变量,如果文字为正则需要版本 1,如果为负则为 0。子句组件 2 取决于第二个变量等。当且仅当公式可满足时,我们才能安装 super 组件。
鉴于这种减少,将您的问题表述为 constraint satisfaction 是有意义的.每个组件都是一个变量,其可能的值是该组件的版本,如果没有安装该组件是一个选项,则加上“未安装”。对于版本依赖于组件 B 版本的每个组件 A,存在涉及 A 和 B 变量的约束,将版本选择限制在其域产品的特定子集中。对于第一个示例中的 A 和 B,这是 {(1, 1), (1, 2), (1, 3)},因为 A 版本 1 依赖于 B 版本 1~3。如果 A 的版本 2 也可用,则此约束将为 {(1, 1), (1, 2), (1, 3), (2, 3), (2, 4), (2, 5) }.如果我们不必安装 A 或 B,则 {(none, none), (none, 1), (none, 2), (none, 3), (none, 4), (none, 5), (1, 1), (1, 2), (1, 3), (2, 3), (2, 4), (2, 5)}.
由于您的实例很小,您可能需要完整的回溯搜索,可能需要约束传播。约束传播的常用算法是 AC-3 ,它强制执行弧一致性,即根据已删除的内容,从考虑中删除所有明显不起作用的版本。例如,给定约束 {(1, 1), (1, 2), (1, 3)},我们可以消除 B = none,因为 none 永远不会出现。现在 B 的选择受到限制,我们可以推断 B 的依赖 C 等。当没有更多的简化要做时,我们必须猜测;一种策略是选择剩余版本最少的组件并递归尝试所有这些组件(回溯)。
关于解决基于版本范围的依赖性的算法,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/15896591/
滑动窗口限流 滑动窗口限流是一种常用的限流算法,通过维护一个固定大小的窗口,在单位时间内允许通过的请求次数不超过设定的阈值。具体来说,滑动窗口限流算法通常包括以下几个步骤: 初始化:设置窗口
表达式求值:一个只有+,-,*,/的表达式,没有括号 一种神奇的做法:使用数组存储数字和运算符,先把优先级别高的乘法和除法计算出来,再计算加法和减法 int GetVal(string s){
【算法】前缀和 题目 先来看一道题目:(前缀和模板题) 已知一个数组A[],现在想要求出其中一些数字的和。 输入格式: 先是整数N,M,表示一共有N个数字,有M组询问 接下来有N个数,表示A[1]..
1.前序遍历 根-左-右的顺序遍历,可以使用递归 void preOrder(Node *u){ if(u==NULL)return; printf("%d ",u->val);
先看题目 物品不能分隔,必须全部取走或者留下,因此称为01背包 (只有不取和取两种状态) 看第一个样例 我们需要把4个物品装入一个容量为10的背包 我们可以简化问题,从小到大入手分析 weightva
我最近在一次采访中遇到了这个问题: 给出以下矩阵: [[ R R R R R R], [ R B B B R R], [ B R R R B B], [ R B R R R R]] 找出是否有任
我正在尝试通过 C++ 算法从我的 outlook 帐户发送一封电子邮件,该帐户已经打开并记录,但真的不知道从哪里开始(对于 outlook-c++ 集成),谷歌也没有帮我这么多。任何提示将不胜感激。
我发现自己像这样编写了一个手工制作的 while 循环: std::list foo; // In my case, map, but list is simpler auto currentPoin
我有用于检测正方形的 opencv 代码。现在我想在检测正方形后,代码运行另一个命令。 代码如下: #include "cv.h" #include "cxcore.h" #include "high
我正在尝试模拟一个 matlab 函数“imfill”来填充二进制图像(1 和 0 的二维矩阵)。 我想在矩阵中指定一个起点,并像 imfill 的 4 连接版本那样进行洪水填充。 这是否已经存在于
我正在阅读 Robert Sedgewick 的《C++ 算法》。 Basic recurrences section it was mentioned as 这种循环出现在循环输入以消除一个项目的递
我正在思考如何在我的日历中生成代表任务的数据结构(仅供我个人使用)。我有来自 DBMS 的按日期排序的任务记录,如下所示: 买牛奶(18.1.2013) 任务日期 (2013-01-15) 任务标签(
输入一个未排序的整数数组A[1..n]只有 O(d) :(d int) 计算每个元素在单次迭代中出现在列表中的次数。 map 是balanced Binary Search Tree基于确保 O(nl
我遇到了一个问题,但我仍然不知道如何解决。我想出了如何用蛮力的方式来做到这一点,但是当有成千上万的元素时它就不起作用了。 Problem: Say you are given the followin
我有一个列表列表。 L1= [[...][...][.......].......]如果我在展平列表后获取所有元素并从中提取唯一值,那么我会得到一个列表 L2。我有另一个列表 L3,它是 L2 的某个
我们得到二维矩阵数组(假设长度为 i 和宽度为 j)和整数 k我们必须找到包含这个或更大总和的最小矩形的大小F.e k=7 4 1 1 1 1 1 4 4 Anwser是2,因为4+4=8 >= 7,
我实行 3 类倒制,每周换类。顺序为早类 (m)、晚类 (n) 和下午类 (a)。我固定的订单,即它永远不会改变,即使那个星期不工作也是如此。 我创建了一个函数来获取 ISO 周数。当我给它一个日期时
假设我们有一个输入,它是一个元素列表: {a, b, c, d, e, f} 还有不同的集合,可能包含这些元素的任意组合,也可能包含不在输入列表中的其他元素: A:{e,f} B:{d,f,a} C:
我有一个子集算法,可以找到给定集合的所有子集。原始集合的问题在于它是一个不断增长的集合,如果向其中添加元素,我需要再次重新计算它的子集。 有没有一种方法可以优化子集算法,该算法可以从最后一个计算点重新
我有一个包含 100 万个符号及其预期频率的表格。 我想通过为每个符号分配一个唯一(且前缀唯一)的可变长度位串来压缩这些符号的序列,然后将它们连接在一起以表示序列。 我想分配这些位串,以使编码序列的预
我是一名优秀的程序员,十分优秀!