个人中心
文章发布
退出
作者热门文章
- iOS/Objective-C 元类和类别
- objective-c - -1001 错误，当 NSURLSession 通过 httpproxy 和/etc/hosts
- java - 使用网络类获取 url 地址
- ios - 推送通知中不播放声音
25
4
我想开发一个分析集合的程序。我认为描述该程序的最佳方式是使用示例。对于那些熟悉切换覆盖范围的人来说，这是此应用程序的目的。
目标是达到 100% 的覆盖率。TestA 对芯片的 X% 施加压力，但 % 并不重要，重要的是芯片的哪一组引脚/部分受到压力。因此，假设 TestA 强调 setA，TestB 强调 setB，以此类推进行 Y 次测试，直到我们达到 100% 的覆盖率。
这就是问题所在，我们希望将 Y 减少到 Y'，这样 Y' 就是所需的最小测试量。如何？假设可以消除 TestA，因为通过运行 TestB、C、D，我们获得了 TestA 将覆盖的集合。
我的问题是，我想做这方面的研究(IEEE 文章等)，但不知道要搜索什么？我正在寻找标题、论文等来帮助我确定算法。如果你有 1000 个测试，我不想说“我可以用 B 消除 testA 吗？不行？B+C 怎么样？不行？B+C+D 怎么样？”除了非常慢之外，它没有考虑到确实 A 可能会被 B+C+D 替换，但 A 会显着帮助删除 D+E+F。
如果有人帮助我朝着正确的方向前进，我将不胜感激。
谢谢!
最佳答案
对我来说听起来像是 Set Cover Problem 的变体，即 NP-Complete .
设置封面问题:
给定一个元素U的宇宙，以及一组集合:S = {X | X 是 U 的子集 - 找到 S 的最小子集 S' 使得 S' 中所有元素的并集是 U，S' 是最小值。
由于问题是 NP-Complete，因此没有已知的多项式解，而且大多数人认为不存在。
您可以尝试近似算法(将问题表述为线性整数规划问题并使用整数规划近似解)，或者一些启发式算法，例如greedy。 .
关于algorithm - 高等数学 - 使用程序求解最优集，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/21608657/
25
4
0
我正在使用混合效应模型，并且由于我的方法的特殊性我需要解决下面模型的积分，然后制作图表获得的估计值。 换句话说，我需要求解下面的积分: 其中，di^2 是我模型中的 Var3，dh 是混合效应模型对应
我有一个方程组，我想用数值方法求解它。给定起始种子，我想得到一个接近的解决方案。让我解释。 我有一个常量向量，X，值: X <- (c(1,-2,3,4)) 和一个向量 W 的权重: W <- (c(
假设我有以下方程组: a * b = 5 sqrt(a * b^2) = 10 如何求解 R 中 a 和 b 的这些方程？ 我想这个问题可以说是一个优化问题，具有以下功能......？ fn <- f
我在 R 中有一个简单的通量模型。它归结为两个微分方程，对模型中的两个状态变量进行建模，我们将它们称为 A和 B .它们被计算为四个分量通量的简单差分方程 flux1-flux4 , 5 个参数 p1
R有什么办法吗？求解给定单变量函数的反函数？动机是我以后告诉R使用值向量作为反函数的输入，以便它可以吐出反函数值。 例如，我有函数 y(x) = x^2 ，逆是 y = sqrt(x) .有没有办法R
我在字符串中有以下方程 y = 18774x + 82795 求解x我会这样做:- x = (y-82795) / 18774 我知道y的值 但是方程一直在变化，并且始终采用字符串格式 是否可以简单地
如果我用 diophantine(2*x+3*y-5*z-77) 我收到了这个结果。 {(t_0, -9*t_0 - 5*t_1 + 154, -5*t_0 - 3*t_1 + 77)} 到目前为止还
我正在尝试求解仅限于正解的 ODE，即: dx/dt=f(x) x>=0。 在 MATLAB 中这很容易实现。 R 是否有任何变通方法或包来将解决方案空间限制为仅正值？ 这对我来说非常重要，不幸的是没
下面的 ANTLR 文法中的 'expr' 规则显然是相互左递归的。作为一个 ANTLR 新手，我很难解决这个问题。我已经阅读了 ANTLR 引用书中的“解决非 LL(*) 冲突”，但我仍然没有看到解
我有一个关于在 R 中求解函数的可能性的非常基本的问题，但知道答案确实有助于更好地理解 R。 我有以下等式: 0=-100/(1+r)+(100-50)/(1+r)^2+(100-50)/(1+r)^
我正在编写使用递归回溯来解决 8 个皇后问题的代码(将 n 个国际象棋皇后放在 n × n 的棋盘上，这样皇后就不会互相攻击)。 我的任务是创建两个方法:编写一个公共(public)solveQuee
我不知道在以下情况下如何进行，因为最后一个方程没有所有 4 个变量。所以使用了等式下面的代码，但这是错误的......有谁知道如何进行？ 方程: 3a + 4b - 5c + d = 10 2a +
假设我们有这个递归关系，它出现在 AVL 树的分析中: F1 = 1 F2 = 2 Fn = Fn - 1 + Fn - 2 + 1(其中 n ≥ 3) 你将如何解决这个递归以获得 F(n) 的封闭形
在Maple中，有谁知道是否存在一个函数来求解变量？例如，我正在尝试求解 r 的 solve4r=(M-x^y)*(r^(-1)) mod (p-1)。所以我知道 M、x、y 和 p 的值，但不知道
我也问过这个here在声音设计论坛上，但问题是沉重的计算机科学/数学，所以它实际上可能属于这个论坛: 因此，通过读取文件中的二进制文件，我能够成功地找到关于 WAV 文件的所有信息，除了 big si
我有以下问题: 设 a 和 b 为 boolean 变量。是否可以设置 a 和 b 的值以使以下表达式的计算结果为 false？ b or (((not a) or (not a)) or (a or
我需要用 C 求解这个超越方程: x = 2.0 - 0.5sen(x) 我试过这个: double x, newx, delta; x = 2.0 - 0.5; newx = sin(x); del
我在 Windows 上使用 OpenCV 3.1。 一段代码: RNG rng; // random number generator cv::Mat rVec = (cv::Mat_(3, 1)
我正在尝试求解一个包含 3 个变量和数量可变的方程的方程组。 基本上，系统的长度在 5 到 12 个方程之间，无论有多少个方程，我都试图求解 3 个变量。 看起来像这样: (x-A)**2 + (y-
我正在尝试为有限差分法设计一种算法，但我有点困惑。所讨论的 ODE 是 y''-5y'+10y = 10x，其中 y(0)=0 且 y(1)=100。所以我需要一种方法来以某种方式获得将从关系中乘以“
我是一名优秀的程序员,十分优秀！