commutativity

    1热度

    1回答

    提升make_zip_range吗？

    这里： https://stackoverflow.com/a/20703588/1593077 评论提出了一种有用的结构，类似于make_zip_iterator，但对于范围：这需要范围的元组，并产生一个新的范围 - 其begin（）和（）结束迭代器是适当的拉链迭代器。 现在，这应该不是太难实现，但我想知道 - 不是已经提供了由Boost已经莫名其妙吗？
    c++ boost iterator tuples commutativity 2014-10-09

    2热度

    1回答

    JavaScript中的reduceRight的本地实现是错误的

    对于数组a的元素上的关联操作f，以下关系应该为真：a.reduce(f)应等于a.reduceRight(f)。 事实上，它确实适用于同时具有关联性和可交换性的操作。对于 例如： var a = [1,2,3,4,5,6,7,8,9,0]; alert(a.reduce(add) === a.reduceRight(add)); function add(a, b) {
    javascript reduce fold associativity commutativity 2014-12-02

    0热度

    2回答

    有关联的，并且可交换操作

    解方程考虑伊莎贝尔像这样的目标（而不用担心ccProd和ccFromList）： ccProd {x} (set xs) ⊔ (ccProd {x} (set ys) ⊔ (ccFromList xs ⊔ (ccFromList ys ⊔ ccProd (set xs) (set ys)))) = ccProd {x} (set xs) ⊔ (ccFromList xs ⊔ (ccFromLis
    solver isabelle associativity commutativity 2014-12-03

    0热度

    1回答

    无效的下标：在maple17中的物理和换向器

    我尝试了以下基于枫树17“物理[换向器]”帮助中的第一个例子。有人知道什么是错的？ with(Physics); Setup(mathematicalnotation = true); e1:=[Z[1],Z[2]][-]; Error, invalid subscript Typesetting:-mambiguous(e1Assign(Z[1]commaZ[2])[
    maple commutativity 2014-02-08

    1热度

    2回答

    A或B = B或A证明（自然扣除）

    这个问题感觉应该比我做得更简单，所以我的最终问题是：有没有更简单的方法来做到这一点？在逻辑上，我们知道 A v B = B v A 但是在自然演绎中，我们使用v-Introductions，RAA等来证明这些等价。在解决实践问题的过程中，我遇到了证明这种交换性质的需求，但是我发现它非常困难。在我看来，证据将如此开始： 1. A v B given 2. ¬(B v A) assume
    logic commutativity 2016-04-24

    0热度

    1回答

    试图在Prolog中实现交换性

    我正在尝试创建知识库。我的问题有terminal/1和connected/2，我已经定义了以下规则： connected(X,Y) :- connected(Y,X). 至于原因，我现在明白了（我认为），这进入无限循环。 然后，我尝试搜索SO，发现这个问题：Alternative to express "Commutativity" in Prolog? 。根据所提供的答案，我想我的上述事实更
    prolog commutativity 2013-03-10

    0热度

    1回答

    两个字节数组的非交换组合

    如果我想以非交换方式组合两个数字（Int，Long，...）n1,n2，p*n1 + n2其中p是一个任意的素数似乎足够合理的选择。 虽然许多哈希选项返回一个字节数组，但我现在试图用字节数组替换数字。 假设a,b:Array[Byte]长度相同。 +简直变成一个xor 但我应该为“乘法”使用？ p:Long一个（任意n）素数，任意a:Array[Byte]的长度 我当然可以，转换a到一个长期，大量
    arrays algorithm byte checksum commutativity 2015-07-04

    1热度

    2回答

    如何优化涉及内部连接的条件子选择？

    我有一个SQL查询（MS SQL 2008），我想优化速度方面。它具有以下结构（实际上在案例陈述中有10个不同的案例）。 重要的位是case语句中的子选择，它涉及附加表之间的内部连接和FROM子句（table1）中某个表的引用。 我在想，我可以优化这使用左（外）连接在FROM子句而不是子选择，但我不知道，因为子选择也涉及内部连接以及。然后，我会在FROM子句中使用两个左连接，现在我在子选择中使用内
    sql-server-2008 join query-optimization subquery commutativity 2013-03-14

    1热度

    3回答

    Prolog中析取的交换性

    我刚开始学习Prolog，遇到一个我不明白的问题。 当我问： ?- fail; true. Prolog的答案： true 这是我的预期。但是，如果我问： ?- true; fail. Prolog的答案： true ; false. ..和我不明白为什么。析取运算符应该是可交换的。为什么这两个Prolog的答案不同？
    prolog prolog-toplevel commutativity 2014-03-01

    1热度

    1回答

    内连接的关联性和交换性sql

    让我们说我有这个模式。 Boats _____ bid bname Reserves ________ sid bid date Sailors _______ sid sname 我知道内连接应该是联想和交换，但我不明白为什么。 鉴于查询： SELECT sname, bname FROM (Sailors NATURAL INNER JOIN Boats) N
    postgresql inner-join associativity commutativity 2014-11-08
最新问题