# Wave6第九層：第一同構、群中心、bias–variance、LP對偶、max-flow/min-cut、最小頂點覆蓋與many-one reduction 在既有數系與函數基礎上依相依順序完成七個可追溯知識物件。 這是教學建議順序，不是一般性的邏輯依賴或已形式化證明。 - 階段 1 · required ## [有限群同態的核](/zh-Hant/mko/mko-finite-group-homomorphism-kernel/?from=%2Fzh-Hant%2Fpaths%2Fpath-pulse-foundations-20261115%2F) 本脈衝新物件的既有 Canonical 前置。 [相關題目](/zh-Hant/explore/?mko=mko-finite-group-homomorphism-kernel) [概念導讀](/zh-Hant/derivations/?q=mko-finite-group-homomorphism-kernel) - 階段 1 · required ## [有限商群](/zh-Hant/mko/mko-finite-quotient-group/?from=%2Fzh-Hant%2Fpaths%2Fpath-pulse-foundations-20261115%2F) 本脈衝新物件的既有 Canonical 前置。 [相關題目](/zh-Hant/explore/?mko=mko-finite-quotient-group) [概念導讀](/zh-Hant/derivations/?q=mko-finite-quotient-group) - 階段 1 · required ## [子群與群同態](/zh-Hant/mko/mko-subgroup-homomorphism/?from=%2Fzh-Hant%2Fpaths%2Fpath-pulse-foundations-20261115%2F) 本脈衝新物件的既有 Canonical 前置。 [相關題目](/zh-Hant/explore/?mko=mko-subgroup-homomorphism) [概念導讀](/zh-Hant/derivations/?q=mko-subgroup-homomorphism) - 階段 1 · required ## [雙射與唯一原像](/zh-Hant/mko/mko-bijective/?from=%2Fzh-Hant%2Fpaths%2Fpath-pulse-foundations-20261115%2F) 本脈衝新物件的既有 Canonical 前置。 [相關題目](/zh-Hant/explore/?mko=mko-bijective) [概念導讀](/zh-Hant/derivations/?q=mko-bijective) - 階段 1 · required ## [有限群](/zh-Hant/mko/mko-finite-group/?from=%2Fzh-Hant%2Fpaths%2Fpath-pulse-foundations-20261115%2F) 本脈衝新物件的既有 Canonical 前置。 [相關題目](/zh-Hant/explore/?mko=mko-finite-group) [概念導讀](/zh-Hant/derivations/?q=mko-finite-group) - 階段 1 · required ## [有限群共軛類](/zh-Hant/mko/mko-finite-group-conjugacy-class/?from=%2Fzh-Hant%2Fpaths%2Fpath-pulse-foundations-20261115%2F) 本脈衝新物件的既有 Canonical 前置。 [相關題目](/zh-Hant/explore/?mko=mko-finite-group-conjugacy-class) [概念導讀](/zh-Hant/derivations/?q=mko-finite-group-conjugacy-class) - 階段 1 · required ## [有限正規子群](/zh-Hant/mko/mko-finite-normal-subgroup/?from=%2Fzh-Hant%2Fpaths%2Fpath-pulse-foundations-20261115%2F) 本脈衝新物件的既有 Canonical 前置。 [相關題目](/zh-Hant/explore/?mko=mko-finite-normal-subgroup) [概念導讀](/zh-Hant/derivations/?q=mko-finite-normal-subgroup) - 階段 1 · required ## [量詞與明示論域](/zh-Hant/mko/mko-quantifier/?from=%2Fzh-Hant%2Fpaths%2Fpath-pulse-foundations-20261115%2F) 本脈衝新物件的既有 Canonical 前置。 [相關題目](/zh-Hant/explore/?mko=mko-quantifier) [概念導讀](/zh-Hant/derivations/?q=mko-quantifier) - 階段 1 · required ## [估計量均方誤差](/zh-Hant/mko/mko-estimator-mean-squared-error/?from=%2Fzh-Hant%2Fpaths%2Fpath-pulse-foundations-20261115%2F) 本脈衝新物件的既有 Canonical 前置。 [相關題目](/zh-Hant/explore/?mko=mko-estimator-mean-squared-error) [概念導讀](/zh-Hant/derivations/?q=mko-estimator-mean-squared-error) - 階段 1 · required ## [估計量偏誤](/zh-Hant/mko/mko-estimator-bias/?from=%2Fzh-Hant%2Fpaths%2Fpath-pulse-foundations-20261115%2F) 本脈衝新物件的既有 Canonical 前置。 [相關題目](/zh-Hant/explore/?mko=mko-estimator-bias) [概念導讀](/zh-Hant/derivations/?q=mko-estimator-bias) - 階段 1 · required ## [估計量變異數](/zh-Hant/mko/mko-estimator-variance/?from=%2Fzh-Hant%2Fpaths%2Fpath-pulse-foundations-20261115%2F) 本脈衝新物件的既有 Canonical 前置。 [相關題目](/zh-Hant/explore/?mko=mko-estimator-variance) [概念導讀](/zh-Hant/derivations/?q=mko-estimator-variance) - 階段 1 · required ## [線性規劃標準形](/zh-Hant/mko/mko-linear-program-standard-form/?from=%2Fzh-Hant%2Fpaths%2Fpath-pulse-foundations-20261115%2F) 本脈衝新物件的既有 Canonical 前置。 [相關題目](/zh-Hant/explore/?mko=mko-linear-program-standard-form) [概念導讀](/zh-Hant/derivations/?q=mko-linear-program-standard-form) - 階段 1 · required ## [最佳化問題](/zh-Hant/mko/mko-optimization-problem/?from=%2Fzh-Hant%2Fpaths%2Fpath-pulse-foundations-20261115%2F) 本脈衝新物件的既有 Canonical 前置。 [相關題目](/zh-Hant/explore/?mko=mko-optimization-problem) [概念導讀](/zh-Hant/derivations/?q=mko-optimization-problem) - 階段 1 · required ## [實數大小與順序](/zh-Hant/mko/mko-order-relation/?from=%2Fzh-Hant%2Fpaths%2Fpath-pulse-foundations-20261115%2F) 本脈衝新物件的既有 Canonical 前置。 [相關題目](/zh-Hant/explore/?mko=mko-order-relation) [概念導讀](/zh-Hant/derivations/?q=mko-order-relation) - 階段 1 · required ## [有限流網路](/zh-Hant/mko/mko-finite-flow-network/?from=%2Fzh-Hant%2Fpaths%2Fpath-pulse-foundations-20261115%2F) 本脈衝新物件的既有 Canonical 前置。 [相關題目](/zh-Hant/explore/?mko=mko-finite-flow-network) [概念導讀](/zh-Hant/derivations/?q=mko-finite-flow-network) - 階段 1 · required ## [線性規劃](/zh-Hant/mko/mko-linear-programming/?from=%2Fzh-Hant%2Fpaths%2Fpath-pulse-foundations-20261115%2F) 本脈衝新物件的既有 Canonical 前置。 [相關題目](/zh-Hant/explore/?mko=mko-linear-programming) [概念導讀](/zh-Hant/derivations/?q=mko-linear-programming) - 階段 1 · required ## [頂點覆蓋](/zh-Hant/mko/mko-vertex-cover/?from=%2Fzh-Hant%2Fpaths%2Fpath-pulse-foundations-20261115%2F) 本脈衝新物件的既有 Canonical 前置。 [相關題目](/zh-Hant/explore/?mko=mko-vertex-cover) [概念導讀](/zh-Hant/derivations/?q=mko-vertex-cover) - 階段 1 · required ## [集合基數比較](/zh-Hant/mko/mko-cardinality-comparison/?from=%2Fzh-Hant%2Fpaths%2Fpath-pulse-foundations-20261115%2F) 本脈衝新物件的既有 Canonical 前置。 [相關題目](/zh-Hant/explore/?mko=mko-cardinality-comparison) [概念導讀](/zh-Hant/derivations/?q=mko-cardinality-comparison) - 階段 1 · required ## [決定問題](/zh-Hant/mko/mko-decision-problem/?from=%2Fzh-Hant%2Fpaths%2Fpath-pulse-foundations-20261115%2F) 本脈衝新物件的既有 Canonical 前置。 [相關題目](/zh-Hant/explore/?mko=mko-decision-problem) [概念導讀](/zh-Hant/derivations/?q=mko-decision-problem) - 階段 1 · required ## [函數映射](/zh-Hant/mko/mko-function-mapping/?from=%2Fzh-Hant%2Fpaths%2Fpath-pulse-foundations-20261115%2F) 本脈衝新物件的既有 Canonical 前置。 [相關題目](/zh-Hant/explore/?mko=mko-function-mapping) [概念導讀](/zh-Hant/derivations/?q=mko-function-mapping) - 階段 1 · required ## [函數合成](/zh-Hant/mko/mko-composition/?from=%2Fzh-Hant%2Fpaths%2Fpath-pulse-foundations-20261115%2F) 本脈衝新物件的既有 Canonical 前置。 [相關題目](/zh-Hant/explore/?mko=mko-composition) [概念導讀](/zh-Hant/derivations/?q=mko-composition) - 階段 1 · required ## [Turing機判定模型](/zh-Hant/mko/mko-turing-machine-decision-model/?from=%2Fzh-Hant%2Fpaths%2Fpath-pulse-foundations-20261115%2F) 本脈衝新物件的既有 Canonical 前置。 [相關題目](/zh-Hant/explore/?mko=mko-turing-machine-decision-model) [概念導讀](/zh-Hant/derivations/?q=mko-turing-machine-decision-model) - 階段 2 · optional ## [有限群第一同構定理](/zh-Hant/mko/mko-first-isomorphism-theorem-finite-groups/?from=%2Fzh-Hant%2Fpaths%2Fpath-pulse-foundations-20261115%2F) 有限群同態f:G→Q由kernel cosets誘導出G/ker f到im f的群同構，而非自動同構到整個codomain。 [相關題目](/zh-Hant/explore/?mko=mko-first-isomorphism-theorem-finite-groups) [概念導讀](/zh-Hant/derivations/?q=mko-first-isomorphism-theorem-finite-groups) - 階段 3 · optional ## [有限群中心](/zh-Hant/mko/mko-finite-group-center/?from=%2Fzh-Hant%2Fpaths%2Fpath-pulse-foundations-20261115%2F) 有限群G的中心Z(G)由與每個群元素交換的全部元素構成，且是G的正規子群。 [相關題目](/zh-Hant/explore/?mko=mko-finite-group-center) [概念導讀](/zh-Hant/derivations/?q=mko-finite-group-center) - 階段 4 · optional ## [偏誤－變異數分解](/zh-Hant/mko/mko-bias-variance-decomposition/?from=%2Fzh-Hant%2Fpaths%2Fpath-pulse-foundations-20261115%2F) 逐參數theta，scalar estimator的MSE等於其variance加上bias平方。 [相關題目](/zh-Hant/explore/?mko=mko-bias-variance-decomposition) [概念導讀](/zh-Hant/derivations/?q=mko-bias-variance-decomposition) - 階段 5 · optional ## [線性規劃對偶](/zh-Hant/mko/mko-linear-program-duality/?from=%2Fzh-Hant%2Fpaths%2Fpath-pulse-foundations-20261115%2F) 對固定primal max c^Tx、Ax≤b、x≥0，其dual為min b^Ty、A^Ty≥c、y≥0；feasible pair滿足弱對偶。 [相關題目](/zh-Hant/explore/?mko=mko-linear-program-duality) [概念導讀](/zh-Hant/derivations/?q=mko-linear-program-duality) - 階段 6 · optional ## [最大流最小割定理](/zh-Hant/mko/mko-max-flow-min-cut-theorem/?from=%2Fzh-Hant%2Fpaths%2Fpath-pulse-foundations-20261115%2F) 有限容量網路的最大feasible flow value等於全部s–t cuts中的最小capacity。 [相關題目](/zh-Hant/explore/?mko=mko-max-flow-min-cut-theorem) [概念導讀](/zh-Hant/derivations/?q=mko-max-flow-min-cut-theorem) - 階段 7 · optional ## [最小頂點覆蓋](/zh-Hant/mko/mko-minimum-vertex-cover/?from=%2Fzh-Hant%2Fpaths%2Fpath-pulse-foundations-20261115%2F) 有限simple graph中，cardinality在全部vertex covers裡最小的候選是minimum vertex cover。 [相關題目](/zh-Hant/explore/?mko=mko-minimum-vertex-cover) [概念導讀](/zh-Hant/derivations/?q=mko-minimum-vertex-cover) - 階段 8 · optional ## [多對一歸約](/zh-Hant/mko/mko-many-one-reduction/?from=%2Fzh-Hant%2Fpaths%2Fpath-pulse-foundations-20261115%2F) A≤mB表示存在total computable f，使每個x皆滿足x∈A恰當f(x)∈B。 [相關題目](/zh-Hant/explore/?mko=mko-many-one-reduction) [概念導讀](/zh-Hant/derivations/?q=mko-many-one-reduction) 路徑來源與狀態path-pulse-foundations-20261115 · candidate [原始路徑 JSON](/data/architecture/learning-paths.json)