為什么沒有暗示可替代、不允許無可比擬的排序？

[英]why is there no ordering that implies substitutable, disallows incomparable?

標准庫定義了弱序、 偏序和強序。 這些類型定義了順序的語義，這意味着暗示/不暗示可替換性的 4 種組合中的 3 種（ a == b暗示f(a) == f(b) ，其中f()讀取與比較相關的狀態）和允許/不允許不可比較的值（ a < b 、 a == b和a > b可能都是假的）。 我有 ...

合並具有未知值和出現次數的 xyz integer 塊

[英]Merging xyz integer blocks with unknown values and occurances

我目前正在為我正在進行的項目構建一個塊系統。 每個塊都有一個出現值和三個 integer 值 (x, y, z)示例 (4, 2, 3) * 6 。 如果每個塊的 xyz 分量完全匹配(4,2,3)*6, (4,2,3)*5 ->(4,2,3)*11 ，則每個塊都可以與另一個塊合並。 問題是， ...

Sympy FiniteSets 與字符串的交集

[英]Sympy intersection of FiniteSets with strings

定義兩個 sympy FiniteSet集a和b ，每個集只包含一個字符串元素： 如果我要求這些集合的交集： 我期望得到一個空集{} ，但我只是得到Intersection({red}, {yellow}) 。 這是為什么？ 它適用於聯盟： 即使我定義了這些集合： 我得到了預期的結果： Inters ...

如何在 python 中使用並集、交集和否定來簡化集合表達式

[英]How to simplify set expressions with union, intersection, and negation, in python

是否有任何內置的 python 庫可用於生成簡化的集合表達式？ 例如，假設我們有一個集合表達式(A∩B)U(A∩C) 。 這可以簡化為A∩(BUC) 。 類似地(A∩B)U(A∩!B)可以簡化為A 。 我希望在 python 中實現這個邏輯。 我發現sympy可以用來簡化像x**2 + 2*x + ...

空字符串是所有字母的子集還是元素？

[英]Is the empty string a subset or element of all alphabets?

我無法理解空字符串（epsilon）何時是字母表的子集或元素？ 我的理解是 epsilon 只是一種語言的一部分，但我在 class 中的 TA 說它是所有字母的一個元素，所以現在我很困惑。 ...

Dafny 與量詞矛盾的證明

[英]Dafny proof by contradiction with quantifiers

我試圖在 Dafny 中寫一個矛盾的證明，因為傳遞關系的聯合也是傳遞的，我不太確定如何用 dafny 語法形成論點。 我可以只展示一個反例還是需要寫出所有可能的情況？ 其次，我是否需要放松/重申存在一些不具有傳遞性的傳遞關系聯合的結論？ ...

增加兩組...如何進行

[英]Addition of two sets... How to proceed

考慮兩個集合：- {9,87} 和 {1,2,3,45}。 在這里，我不是指聯合，而是加法，它將產生 output 作為兩個元素組合的所有可能添加，這樣每個元素都來自不同的集合。 所以我應該得到的答案是：- {9+1,9+2,9+3,9+45,87+1,87+2,87+3,87+45} 我如何才能在 ...

Typescript：交叉口 - 對命名感到困惑

[英]Typescript: Intersection - Confused about the naming

我對 Typescript 中的交叉類型名稱有點困惑。 在集合論中，交集意味着只有兩種類型共有的屬性才能在兩者的交集中使用。 事實上，如果我在基元之間創建交集，這就是 Typescript 的行為方式。 在這種情況下，TS 推斷C為number ，而F為never 。 然而，當涉及到對象時，創建 ...

如何在 Python 上打印幾個 arrays 字符串的每個可能排列？

[英]How to print each possible permutation of several arrays of strings on Python?

假設我有以下 arrays 字符串： 我想打印一個列表，其中包含上面 arrays 中提到的每個元素的所有可能排列，按照設置這些 arrays 的順序（即它開始檢查Background ，然后檢查Body ，然后是Eyes ，然后是Color ，然后Hands ，並在Extra上完成）。 第一個排 ...

output 尺寸過大

[英]Excessive output size

我為我的實分析課程的期末項目編寫了這段代碼。 它是一個非常基本的計算器，使用自然數的馮諾依曼結構。 我遇到的問題是，當我嘗試將結果寫入文本文件時，該文件對於相對較小的數字來說太大了。 例如，當我嘗試計算 30*2=60 時，.txt 文件最終超過 25 GB（應該提到我的計算機在結束之前自動終止了進 ...

SQL, Select 幾個分類值的第 N 個五分位數

[英]SQL, Select Nth quintile for several categorical values

嘿 StackOverflow SQL 和集合論大師！ 取下面的虛擬表。 對於每種水果類型，我都希望在第四個五分位數中找到最低值。 我目前的做法是 當然，這種方法為我提供了所有水果的第四分位數的最低值，而不是每種水果類型的最低值。 關於如何調整上述查詢以計算每種水果類型而不是所有水果的分位數的任何指 ...

OR 謂詞優化

[英]OR predicate optimization

假設我有一個具有 3 個屬性的實體：A1、A2、A3，這樣： A1 只能有值：1、2、3 A2 只能有值：10、20、30、40、50 A3 只能有值：100、200 還有一些規則，例如： 然后有一個謂詞： R = R1 or R2 or R3 ，我想最小化。 問題是A1=1涵蓋了A2和A3的 ...

給定不同的事件，並映射到相同的 ID，我如何找到每個 ID 的最新事件並使用 Algebird 對結果求和？

[英]Given distinct events, with some mapping to the same ID, how can I find the most recent event for each ID and sum the results using Algebird?

我一直在努力尋找解決方案，所以我希望有更多 Algebird 經驗的人可以提供幫助！ 我有一個 stream 我正在使用 Algebird 聚合的事件，其中每個事件都代表執行某些任務的嘗試。 考慮以下數據結構來表示每次嘗試： 我正在從 stream 匯總這些嘗試，並且不能保證執行任務的嘗試會成功。 ...

我如何根據精益原則證明 (∀ x, ¬ A x) → ¬ ∃ x, A x？

[英]how can I prove (∀ x, ¬ A x) → ¬ ∃ x, A x from principles in lean?

我知道要證明： (¬ ∀ x, px) → (∃ x, ¬ px) 證明是： 但我不知道如何證明： (∀ x, ¬ A x) → ¬ ∃ x, A x ...

找到所有“配對集”，使得所有元素都有一對，沒有對包含公共元素

[英]Find all “pairing sets”, such that all elements have a pair, and no pairs contain common elements

我目前正在嘗試解決以下問題。 我必須找到一個集合的所有對（具有偶數個元素），使得： 沒有兩對有共同的元素 所有元素都成對 舉個例子： 還有一個更詳細的例子： 我可以說解決這個問題的最簡單方法是使用遞歸，但我不太明白如何去做。 我訂購了上面的套裝，因為它幫助我想到了一個解決方案， ...

在關系中查找給定值的圖像

[英]Find the image of a given value in a relation

我有一個關系 R 給出如下： 要獲得a的圖像集，我們可以使用粗括號符號 (| |) 以 Z 表示法寫出R(|{a}|) = {1,2} 。 是否有一個數學符號來表示這一點而不是使用 Z 符號？ 我們可以像我們通常做的那樣得到 R(a) 來獲得給定值的 function 圖像，例如 f(a) 嗎？ ...

不相交的字符串集 - 最小化問題

[英]Disjoint Sets of Strings - Minimization Problem

有兩組， s1和s2 ，每組包含成對的字母。 只有當它們的字母順序相同時，一對才等效於另一對，因此它們本質上是字符串（長度為 2）。 集合s1和s2是不相交的，兩個集合都不為空，並且每對字母只出現一次。 以下是這兩組的示例： ( s1 ∪ s2 ) 中所有字母的集合稱為sl 。 set sr是您 ...

全序集 X 的任何子集都是全序的，以限制 X 上的階數

[英]Any subset of totally ordered set X is totally ordered for the restriction of the order on X

我確實理解完全有序集合的每個子集都必須是一個完全有序的集合，因為完全有序集合中的每個 a、b 都遵循 aRb 或 bRa。 我不明白“為了限制 X 上的訂單”這句話是什么意思？ 誰能解釋一下。 ...

是否可以在 Ocaml 中實現羅素悖論？

[英]Is it possible to implement Russell's Paradox in Ocaml?

我最近在朴素集合論中了解了羅素悖論，當考慮所有不是自身成員的集合的集合時，如果它不是自身的成員，則該集合似乎是自身的成員，這就產生了悖論。 我想知道一個 function 是否可以用諸如 Ocaml 之類的函數式語言來實現，因為羅素悖論本身沒有明確的答案，如果是這樣，想知道如何解決這個問題的任何提 ...

為什么我們在數學中至少有三個圖形的定義？

[英]Why do we have at least three definitions of a graph in math?

定義 1 - 2 組和功能 定義 2 - 1 套和 1 個家庭 定義 3 - 1 關系 為什么我們需要這樣的多樣性？ 這些定義中的一些是過時的還是所有的都有其優點和缺點？ ...