逐步推導
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 = [[26, 26, 1, -25, -25, -25]]
操作後
derived = [[-25, -25, -25, 1, 26, 26], 6]
條件:無
每次觀測都保留,包括相同數值的重複。numeric排序只改順序,不變n或總和;不能用set先去重,也不能lexical排序。只陳述本樣本,不推母體規律。
步驟識別與依賴
規則:Statistics_FULL_observations_MULTIPLICITY_and_numeric_order · 依賴:G001, S001
S003 · calculation
操作前
Statistics ORIGINAL ALL indicators for value-25 := sum(0, 0, 0, 1, 1, 1)
操作後
Statistics ORIGINAL ALL indicators for value-25 = 3
條件:無
按本題原始角色作精確有理運算;SAFE只約束原輸入,衍生整數不截斷,不作浮點近似。
步驟識別與依賴
規則:exact_rational_arithmetic · 依賴:G001, S002
S004 · calculation
操作前
Statistics ORIGINAL ALL indicators for value1 := sum(0, 0, 1, 0, 0, 0)
操作後
Statistics ORIGINAL ALL indicators for value1 = 1
條件:無
按本題原始角色作精確有理運算;SAFE只約束原輸入,衍生整數不截斷,不作浮點近似。
步驟識別與依賴
規則:exact_rational_arithmetic · 依賴:G001, S003
S005 · calculation
操作前
Statistics ORIGINAL ALL indicators for value26 := sum(1, 1, 0, 0, 0, 0)
操作後
Statistics ORIGINAL ALL indicators for value26 = 2
條件:無
按本題原始角色作精確有理運算;SAFE只約束原輸入,衍生整數不截斷,不作浮點近似。
步驟識別與依賴
規則:exact_rational_arithmetic · 依賴:G001, S004
S006 · implies
操作前
source roles = [[26, 26, 1, -25, -25, -25], all_frequency_maximizers]
操作後
derived = [[[-25, 3], [1, 1], [26, 2]], 3, [-25], {-25}]條件:無
逐不同值統計完整列表的全部出現次數,收集所有達max的值。依明定all_frequency_maximizers,全異時每值頻數1,故全部列出,不套另一種No mode慣例。
步驟識別與依賴
規則:Statistics_EXPLICIT_ALL_frequency_maximizers_ALL_ties · 依賴:G001, S005