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
最新問題