证明唯一长度为零的向量为零

文章/答案/技术大牛

发布

2回答

coq、dependent-type

我有一个定义为| bitsNil : bits 0Lemma emptyIsAlwaysNil : forall {a: bits 0}, a = bitsNil.case a似乎是最接近的，但它得到了一个错误：

浏览 14提问于2017-12-23得票数 5

回答已采纳

1回答

为什么要用向量的sqrt创建单位向量？

swift、math、vector、sprite-kit

我只是在学习一个关于雪碧套件的很棒的教程： func length() -> CGFloat { } return self / length()稍后，这将用于将“偏移”向量转换为单位<

浏览 3提问于2015-10-10得票数 2

3回答

如果vec.data() vec.size() == 0，那么==()返回什么？

c++、vector

为std::vector::data准备了这张便条具体来说，对于零长度向量：它能安全地解除引用吗？(即使它指向垃圾。)在两个不同的(<e

浏览 1提问于2016-03-15得票数 29

回答已采纳

1回答

“sprintf”的意外行为

sprintf("%s some message", NULL)# " some message" or an error 这是正常的行为吗

浏览 0提问于2018-03-08得票数 2

回答已采纳

2回答

利用fft和等长输出在Matlab中实现两个向量的线性卷积和互相关

matlab、numerical-methods、convolution、cross-correlation

我正在实现一个算法，其中我需要使用快速傅立叶变换来计算两个一维向量a和b之间的线性卷积和互相关。如果a的长度为m，b的长度为n，则产生的卷积的总长度将为m + n - 1。但是，该算法要求卷积的输出与输入的长度相同。由于m = n，输入向量具有相同的长度。在Matlab语言中，假设两个<em

浏览 2提问于2012-09-05得票数 1

回答已采纳

1回答

当发生零除法时保持旧值

python、numpy

我有长度为N的向量D和形状为N*M的矩阵A。向量D有一些零个元素。我在做这个手术：A / D 因为D有一些零，所以我会得到一个零误差除法。我想要的是不要修改A的值，在这里发生零除法。所以如果Ai，j/ 0，那么我想让爱，j保持它的值。怎么做？

浏览 3提问于2014-05-07得票数 1

回答已采纳

5回答

发生数向量

matlab、vector

我有一个向量a=[1 2 3 1 4 2 5]' 我试图创建一个新的向量，为每一行提供元素在a中的出现数。实现这一目标的唯一方法是创建一个零向量，其行数将是唯一元素的数量(这里：c = [0 0 0 0 0]，因为我有5个元素)。我还创建了一个与a长度相同的零向量d，然后，遍历向量a，在我们读取的元素

浏览 4提问于2013-10-30得票数 2

回答已采纳

1回答

零知识证明与零知识证明有什么区别？

zero-knowledge-proofs

在零知识证明中，证明器交互地向验证者证明NP语句是正确的。如果该语言是NP完全语言，如果证明器在多时间内运行，则证明程序可以这样做的唯一方法是当它有一个证人时。因此，当证明者为NP完全陈述提供ZK证明时，证明者证明他知道一个令人满意的证人。那么，什么是知识的零知识证明？它与

浏览 0提问于2019-04-15得票数 6

回答已采纳

1回答

归一化向量交叉积非零向量(非归一化向量)

math、vector

对我来说很清楚，如果我们跨越两个向量，假设是AxB，那么我们将得到一个垂直于A和B的新向量C(无论是正的还是负的)。没关系!同时，我也很清楚单位向量和非零向量之间的区别。单位向量是非零向量正规化的结果，单位向量是向量除以其长度的结果。如果我们有两个向量

浏览 1提问于2017-08-11得票数 1

回答已采纳

1回答

用基于指示符0和1的值填充R中的缺失向量

我有一个长度为n的向量r，有0和1。它不可能全为零。同样，我也会有一个长度为n的向量y，但是根据向量r中的值0，y中的一些值丢失了。向量r可能有两个零，因此我必须对两个值进行采样。并用样本值替换缺少的两个y。

浏览 1提问于2020-11-26得票数 0

1回答

迭代向量:替换的长度为零

r、vector、zoo

我试图迭代一个向量并编辑一个新的向量，但是我总是得到长度为零的错误替换。出现错误的部分如下：for( i in 2:length(NewPos)) { NewPos1[i] = ifelse( NewPos编辑:我应该更具体地说，ind1是一个数字向量。我想要一个循环的原因是，从NewPos1([NewPos1)中的第二个元素开

浏览 2提问于2012-07-28得票数 0

1回答

在三维空间中，我有两个点，A和B，我知道矢量AB的大小和方向(在x，y，z坐标中)。我在A有一个力，，F，，我知道它的大小和方向。我可以把这个力分解成沿着AB线的力，表示F_par_AB，通过得到A和单位向量AB之间的点积，从而知道这个大小和方向。与AB垂直的力由向量加法(F_par_AB + F_Perp_AB =F<code>E 219</code>)表示，表示为F_perp_AB。我现在的问题是

浏览 1提问于2020-04-08得票数 1

1回答

二维矢量在单轴上的方向

game-physics、physics-engine

我在研究一个小型的物理引擎，我正碰到一个死胡同。我想要做的是从四边形位置(二维矢量)的原点投射一条射线到一个基于速度的方向。四边形的速度也是一个二维矢量。为了获得投射光线的方向，我做以下操作：这将返回一个可以用作方向的二维矢量.我面临的问题是，当轴之一或两者为结果是，在它的一个轴上有0(没有速度)。我使用这个方向<em

浏览 1提问于2020-07-24得票数 0

回答已采纳

1回答

具有向量输入和向量输出的DQN代理

tensorflow、keras、vector、deep-learning、dqn

我是强化学习和深度学习的初学者，我想为DQN代理(在Keras中)构建一个神经网络，该代理接收一个长度等于3的向量，并输出另一个长度等于10的向量。示例：或者：输出必须是一个包含10个元素的向量，其中一个元素等于1，所有其他元素<e

浏览 6提问于2020-11-18得票数 0

3回答

生成稀疏向量的置换

algorithm、permutation

假设我正在尝试生成一个[21 2 0 34 0 0 0 1]的置换，它将在最后移动所有的零(请记住，零点的数目可能很大，把它看作是一个稀疏的向量)，而非零值将在向量的前面移动，而不改变它们的自然顺序。对于这类大型向量来说，什么是计算效率高的解决方案：遍历向量，将非零元素添加到另一个向量中，然后用零填充第二

浏览 4提问于2011-11-04得票数 1

4回答

如何在R中创建长度为零的数值向量

r、vector、numeric、zero

我想知道，如何在R中创建一个数值长度为零的向量？

浏览 5提问于2012-09-27得票数 94

1回答

为什么NA==NULL，NULL==NULL打印逻辑(0)？

为什么NULL==NULL的结果是logical(0)而不是TRUE？

浏览 0提问于2019-09-29得票数 3

1回答

使用<- 0初始化向量

在一些教程代码中，它是这样写的：results <- numeric() start <-0) { end <- start + size - 1 }为什么这是必要的？

浏览 0提问于2016-04-12得票数 1

1回答

如何按顺序产生k个零元素的所有长度为n的二进制向量？

matlab

如何按顺序产生k个零元素的所有长度为n的二进制向量？function V = build_2(a,b)V = zeros(size

浏览 0提问于2014-02-01得票数 0

1回答

R:为什么这个if循环条件仍然存在？

对于每个文件，我希望选择完整案例的数量，并且，如果该数量大于通过第二个函数参数设置的阈值，我希望生成文件的两列(COL2和3)中保存的值之间的相关性。最终目标是一个向量，其中包含满足阈值条件的每个文件的相关值。如果不满足阈值条件，我想返回一个长度为0的数值向量。第一个档案中的完整病例数为117个。只要阈值低于这个数字，上面的函数就可以正常工作。

浏览 1提问于2016-09-25得票数 0

点击加载更多