OCME · 中英數學知識與推導
Wave6第九層:第一同構、群中心、bias–variance、LP對偶、max-flow/min-cut、最小頂點覆蓋與many-one reduction
本頁導覽
在既有數系與函數基礎上依相依順序完成七個可追溯知識物件。
這是教學建議順序,不是一般性的邏輯依賴或已形式化證明。
有限群同態的核
本脈衝新物件的既有 Canonical 前置。
有限商群
本脈衝新物件的既有 Canonical 前置。
子群與群同態
本脈衝新物件的既有 Canonical 前置。
雙射與唯一原像
本脈衝新物件的既有 Canonical 前置。
有限群
本脈衝新物件的既有 Canonical 前置。
有限群共軛類
本脈衝新物件的既有 Canonical 前置。
有限正規子群
本脈衝新物件的既有 Canonical 前置。
量詞與明示論域
本脈衝新物件的既有 Canonical 前置。
估計量均方誤差
本脈衝新物件的既有 Canonical 前置。
估計量偏誤
本脈衝新物件的既有 Canonical 前置。
估計量變異數
本脈衝新物件的既有 Canonical 前置。
線性規劃標準形
本脈衝新物件的既有 Canonical 前置。
最佳化問題
本脈衝新物件的既有 Canonical 前置。
實數大小與順序
本脈衝新物件的既有 Canonical 前置。
有限流網路
本脈衝新物件的既有 Canonical 前置。
線性規劃
本脈衝新物件的既有 Canonical 前置。
頂點覆蓋
本脈衝新物件的既有 Canonical 前置。
集合基數比較
本脈衝新物件的既有 Canonical 前置。
決定問題
本脈衝新物件的既有 Canonical 前置。
函數映射
本脈衝新物件的既有 Canonical 前置。
函數合成
本脈衝新物件的既有 Canonical 前置。
Turing機判定模型
本脈衝新物件的既有 Canonical 前置。
有限群第一同構定理
有限群同態f:G→Q由kernel cosets誘導出G/ker f到im f的群同構,而非自動同構到整個codomain。
有限群中心
有限群G的中心Z(G)由與每個群元素交換的全部元素構成,且是G的正規子群。
偏誤-變異數分解
逐參數theta,scalar estimator的MSE等於其variance加上bias平方。
線性規劃對偶
對固定primal max c^Tx、Ax≤b、x≥0,其dual為min b^Ty、A^Ty≥c、y≥0;feasible pair滿足弱對偶。
最大流最小割定理
有限容量網路的最大feasible flow value等於全部s–t cuts中的最小capacity。
最小頂點覆蓋
有限simple graph中,cardinality在全部vertex covers裡最小的候選是minimum vertex cover。
多對一歸約
A≤mB表示存在total computable f,使每個x皆滿足x∈A恰當f(x)∈B。
路徑來源與狀態
path-pulse-foundations-20261115 · candidate