set-theory

    0熱度

    1回答

    我正在通過查找給定的數組數組的交集來查看構建新數組。 對於大多數人來說,這可能是一個簡單的集合論問題,但對於我來說,這種問題很難包圍我。 所以我有一個鍵的數組: $myArray = [ 'array1' => [A, B, C], 'array2' => [A, B, C, D], 'array3' => [A, B, C, D], 'array4' => [D], ] 而且我們的

    2熱度

    1回答

    我試圖找到一種操作,可以採取正常語言,並與另一個「不連接」它。例如: a * L - a * = L |其中L是常規語言 我知道差異(減法)不是我想要的操作。但我相信我明白自己的觀點。 另一種看待它的方法是,如果有一個邏輯上等於(A∪B)的集合L,但我們沒有訪問A.所以如果我們只能使用L,B和派生這樣,我們可以以某種方式推導A.基本上: L - B = A | L =(A∪B) 我對這個問題進行了

    1熱度

    1回答

    假設我有兩組項目和一個函數來檢查兩個項目的等價性(不嚴格相等,以便一個項目可能等同於多個項目另一組),我想確定是否存在一對一的對應關係,以便對每個對都成立。 這個問題是否有任何確定的/最佳的解決方案? 這個問題從確定兩個C聯合類型是否兼容,對於該標準需要這樣的對應關係,但是事情變得棘手,因爲工會成員可以是匿名的,所以對於一個項目的等價項目可以有多種可能性原本來自。目前我正在採用一種天真的方法,但我

    1熱度

    1回答

    如何在Coq中描述一個集合Y是另一個集合X的子集? 我測試了以下: Definition subset (Y X:Set) : Prop := forall y:Y, y:X. ,試圖表達,如果一個元件y是Y,然後y是X。但這會產生關於y的類型錯誤,這並不奇怪。 有沒有簡單的方法來定義coq中的subset?

    1熱度

    2回答

    當我將兩列v和w加在一起時,如果一個或兩個加數是NULL,行的結果給出NULL。這是有道理的。但是如果我用SUM(v)總結這一列,即使有NULL s也會有數字結果。這是由於實際的便利嗎?還是有理論上的理由? 下面是一個例子來闡明(MySQL和源碼): CREATE TABLE x0 ( id INTEGER , v DOUBLE , w DOUBLE ); INSERT IN

    0熱度

    2回答

    在Contents表,物品存放在X空位置,Y座標: Contents ------- id parent_id pos_x pos_y 假設容器尺寸爲3×3,我想找到一個給定的哪個位置容器是免費的。到目前爲止,我已經生成一個二維矩陣: SELECT * FROM (SELECT rownum X FROM dual CONNECT BY LEVEL <= 3) xaxis

    1熱度

    1回答

    假設S和T都是字符串分別定義如下: ;; S A B C ;; T B C D 是否有類似的Clojure(腳本)操作string-intersection和string-union(缺乏一個更好的名字)滿足以下? (string-intersection S T) ;; => ;; B ;; C 和 (string-union S T) ;; => ;; A

    0熱度

    5回答

    我有以下製表符分隔表: A B C D E F G H I J ZO1 X1 X2 X3 X4 X5 X6 ZO2 X7 X8 X9 X10 X11 X12 X13 X14 X15 ZO3 X16 X17 X18 X19 X20 X21 X22 ZO4 X23 X24 X25 X26 X27 X28 ZO5 X29 X30 ZO6 X31 X32

    2熱度

    3回答

    在python中,我有兩個列表A和B。兩個列表都由元組(x,y)組成。例如: A = [('x1','y1'), ('x2','y2'), ('x3','y3')] B = [('x1','y1'), ('x2','y5'), ('x4','y4')] 現在,有三個結果我想要。所有這些都可以用集合論很容易解決,如果只有沒有涉及的元組。 結果1:兩個列表的交點:set(A) & set(B))

    1熱度

    1回答

    考慮的套日期範圍的列表: A: [{2017/01/01, 2017/01/30},{2017/02/15, 2017/03/05},{2017/03/25, 2017/04/30}] B: [{2017/01/01, 2017/01/30}] C: [{2017/01/01, 2017/01/20},{2017/02/19, 2017/03/15}] 有沒有計算「Outersecti