我只是在学习Agda，但我不明白当我试图通过加法证明身份时，我看到左身份是微不足道的证明。left+identity n = reflright+identity : ∀ n -> (n + zero) ≡ nright+identity (suc n) = cong suc (right+identity n)
浏览 0提问于2016-01-26得票数 4
回答已采纳
1回答
我有这个递归p(n) = 2p(n-2) + n，并且我猜测解是O(n^2)，但是，当我进行以下计算时，我无法得到不等式成立2(c*(n-2)²) +
浏览 1提问于2014-05-04得票数 0
1回答
我很难理解如何求解大O-表示法方程，比如这个：Show that f(n) is O(g(n)) 上面写着To show f(n) is O(g(n)) we must show constants c and k such that f(n) <= cg(n) for all n >=k我不明白的是：
We are allowed to choose c and k to be integers we want as long as th
浏览 4提问于2015-07-03得票数 1
回答已采纳
4回答
将不等式合并为一个
、、、、
假设给我n个不等式，如下所示：示例: n=4f4 > f1 > f3f2 > f1 > f3我必须将这些不等式合并，使之成为1不等式，使上述不等式仍然成立。关于上面的例子：答案可以是多重不等式，我需要任何正确的不等式。也可以肯定，对于给定的输入，存在一个解决方案；也就是说，我们可以假设输入总是
浏览 11提问于2014-11-10得票数 1
我需要证明一个不等式(或找到一个反例)，给出几个假设(也是不等式)。不幸的是，要证明的不等式是一个相当长而复杂的表达式。大约有15个变量，FullSimplify的输出填充了几个A4页面。对于变量较少的示例，FindInstance可以帮助查找反示例，或者给出{}的结果(如果不等式为真)。Reduce： Implies[ inequality Reals对于简单的例子，如果不等式
浏览 1提问于2011-12-11得票数 4
3回答
指示符约束什么也不是，而是取决于约束成立或不成立的二元变量。这条语句说，如果x为真，则y+z <= 5的约束成立。
但是我希望有一个像这样的倒置约束。If y+z <= 5 then x == 1.但是gurobi不允许语句中的lhs部分是一个不等式。
浏览 1提问于2018-05-16得票数 3
2回答
TSP变种，可能的算法？
、、、、
经典的旅行商问题(TSP)定义之一是：在我的例子中，我不需要哈密顿路径，我需要两个已知顶点之间的路径。因此，公式将是：
给定一个加权完全无向图，其中三角形不等式成立，两个称为源和目的地的特殊顶点返回一条最小加权路径，该路径恰好访问所有节点一次，从源开始，结束于目的地。
浏览 4提问于2013-03-08得票数 0
1回答
如果给你两个数组A和B，每个数组都有n个正数和等式：设计一个在nlog(n)时间内运行的算法，该算法在A中找到x，在B中找到y，使得前面的等式成立。
浏览 2提问于2013-04-21得票数 1
回答已采纳
我有两个不等式，如下所示，虽然我可以找到不等式成立的适当区域，但我正在寻找任何一个特定值，而不是手动解决不等式。
浏览 0提问于2017-06-15得票数 1
3回答
代码的基本思想是检查每个元素组合的不等式，如果不等式成立，则返回导致其成立的值，即： for b = B我很感谢你能提供的所有帮助。谢谢!
浏览 0提问于2016-09-09得票数 1
我有一个不等式A.x >= b，其中A是一个行向量(一个极大矩阵)，x是一个列向量，它的每个元素都是非负的，b是一个正常数。如果矩阵A中的系数太小，则不等式不成立，Maxima抛出一个错误。
浏览 0提问于2018-12-04得票数 1
回答已采纳
我有一个我无法解决的任务，如果有人能为我提供解决方案的方向，我会很高兴。主要的问题是我不能完全理解我的最终输出是什么。你会得到一组不等式。每个不等式都涉及变量X。输入文件inequalities.in将包含最多50个不等式的列表，每行一个不等式。每个不等式都以下列形式之一给出：“X<C”、“X <= C”、“X=C”、“X>C”或“X >= C”，其中C是某个整数常数(对于不同的不等式，可能是不同的)。输入的数据将是正确的，不
浏览 0提问于2017-02-16得票数 2
我有一个ILP问题，其中我表达了一些约束来实现A或B，其中A和B是逻辑与的结果(假设A= A1和A2，B= B1和B2和B3)。在我的问题的这一点上，A和B之间的1被认为等于1。A和B都是二元变量。if (A == true) C_OR_D >= C; C_OR_D <= C + D;else /* or i
浏览 2提问于2014-07-19得票数 3
6回答
找到两个线性等式成立的整数集
、、、、
我可以用什么算法来找到下列不等式成立的n1, n2, ... ,n7的所有正整数值的集合。. = n7 =0使这个不等式变为真。我如何找出所有其他的价值观？类似的问题已经在上发布了。
补充道：：，我需要泛化n个变量的解决方案(可能很大)。我可以申请什么程序？
浏览 0提问于2016-03-30得票数 6
回答已采纳
1回答
我对"O“和"o”表示法的理解是前者是上界，后者是紧界。我的问题是，如果函数f(n)是由一些随机函数紧束缚的，比如说o(g(n))。这个界是一个上界，即(O(g(N)通过乘积一些常数"c“，使它即使在n->无穷大时也是一个上界。
浏览 3提问于2016-09-22得票数 0
回答已采纳
从给定的， 存在b，c>0使得b.h(n) =< f(n) <= c(h(n))和存在a>0使得g(n) <= a.h(n) 我通过添加上述两个不等式证明了O(h(n))，但是为了正式地证明/反证下界，此外，我也搞不懂大-哦符号是否总是由严格的不等式组成。如果f(n)是Θ(h(n))，则以下语句成立： 存在b，c>0使得b.h(n) =< f(n) =< c(h(n))。 谢谢。
浏览 13提问于2019-04-28得票数 0
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
腾讯会议
云直播活动推荐
腾讯云开发者
