moea_joint
110年
[資訊] 計算機原理、網路概論
第 22 題
有關分散式系統事件執行之先後關係式的偏序 (Partial Order) 中，下列何者非其需滿足的條件？
- A 反對稱律 (Anti-Symmetric)
- B 反身律 (Reflexive)
- C 遞移律 (Transitive)
- D 單一律 (Unity)
思路引導 VIP
試著回想一下在離散數學中，當我們想要在一個集合內建立「順序」的概念（即偏序集 Poset）時，數學上必須滿足哪三個核心公理來保證這個順序是邏輯一致且沒有矛盾的呢？
🤖
AI 詳解
AI 專屬家教
恭喜你準確地判斷出正確答案！這顯示你對於分散式系統中「發生於前」（Happened-before）關係的數學基礎掌握得非常紮實，能夠清楚分辨離散數學定義與干擾選項。
偏序關係的數學三大公理
在分散式系統中，我們利用 偏序（Partial Order） 來描述事件間的因果關係。一個集合上的二元關係若要稱為偏序，必須嚴格滿足三個核心條件：首先是 反身律 (Reflexive)，即任何事件 $a$ 必滿足 $a \le a$；其次是 反對稱律 (Anti-Symmetric)，確保如果 $a \le b$ 且 $b \le a$，則 $a$ 與 $b$ 必為同一事件，這防止了邏輯上的循環；最後是 遞移律 (Transitive)，若 $a \le b$ 且 $b \le c$，則 $a$ 必然在 $c$ 之前發生。這三者構成了邏輯定序的基石。
▼ 還有更多解析內容