逐步推導
S001 · implies
操作前
source roles = [qf-statistics-maximal-frequency-set, maximal_frequency_set]
操作後
derived = [ALL_frequency_maximizers_numeric_set]
條件:無
本題輸出依原scalar/set/是非/fraction角色;有理數整數保留/1。不加未宣告domain,不改中英來源、公式或題目。
步驟識別與依賴
規則:R56_source_answer_role_and_EXACT_family_interface · 依賴:G001
S002 · implies
操作前
source roles = [[22, 0, 0, 0, -21, -21]]
操作後
derived = [[-21, -21, 0, 0, 0, 22], 6]
條件:無
每次觀測都保留,包括相同數值的重複。numeric排序只改順序,不變n或總和;不能用set先去重,也不能lexical排序。只陳述本樣本,不推母體規律。
步驟識別與依賴
規則:Statistics_FULL_observations_MULTIPLICITY_and_numeric_order · 依賴:G001, S001
S003 · calculation
操作前
Statistics ORIGINAL ALL indicators for value-21 := sum(0, 0, 0, 0, 1, 1)
操作後
Statistics ORIGINAL ALL indicators for value-21 = 2
條件:無
按本題原始角色作精確有理運算;SAFE只約束原輸入,衍生整數不截斷,不作浮點近似。
步驟識別與依賴
規則:exact_rational_arithmetic · 依賴:G001, S002
S004 · calculation
操作前
Statistics ORIGINAL ALL indicators for value0 := sum(0, 1, 1, 1, 0, 0)
操作後
Statistics ORIGINAL ALL indicators for value0 = 3
條件:無
按本題原始角色作精確有理運算;SAFE只約束原輸入,衍生整數不截斷,不作浮點近似。
步驟識別與依賴
規則:exact_rational_arithmetic · 依賴:G001, S003
S005 · calculation
操作前
Statistics ORIGINAL ALL indicators for value22 := sum(1, 0, 0, 0, 0, 0)
操作後
Statistics ORIGINAL ALL indicators for value22 = 1
條件:無
按本題原始角色作精確有理運算;SAFE只約束原輸入,衍生整數不截斷,不作浮點近似。
步驟識別與依賴
規則:exact_rational_arithmetic · 依賴:G001, S004
S006 · implies
操作前
source roles = [[22, 0, 0, 0, -21, -21], all_frequency_maximizers]
操作後
derived = [[[-21, 2], [0, 3], [22, 1]], 3, [0], {0}]條件:無
逐不同值統計完整列表的全部出現次數,收集所有達max的值。依明定all_frequency_maximizers,全異時每值頻數1,故全部列出,不套另一種No mode慣例。
步驟識別與依賴
規則:Statistics_EXPLICIT_ALL_frequency_maximizers_ALL_ties · 依賴:G001, S005