AES 和所有优秀的分组密码一样，执行 “密钥置换”。这意味着它将所有可能的输入块映射到唯一的输出块，并用密钥决定执行哪种排列。“块” 指的是固定数量的比特或字节，可以代表任何类型的数据。AES 处

一、题目原文梳理题干信息AES 属于分组密码核心操作是密钥置换在固定密钥下所有输入块与输出块形成映射关系AES-128 规定块大小 128bit密钥 128bit加密正向映射明文块 → 密文块解密反向映射密文块 → 明文块核心约束输入块和输出块之间一一对应否则密文无法唯一解密回明文问题描述 “输入集合与输出集合元素一一对应” 的数学专业术语是什么二、概念推导与分析1. 基础映射分类集合论设明文块全集为集合M密文块全集为集合C加密函数 Ek​:M→Ck为固定密钥单射 injective / 一对一映射任意两个不同输入输出一定不同 m1​m2​⟹Ek​(m1​)Ek​(m2​) 保证不会出现两个明文加密成同一个密文解密时不会出现歧义满射 surjective / 映满映射每一个密文都存在至少一个明文能加密得到 ∀c∈C,∃m∈M,Ek​(m)c AES 块长度固定明文、密文取值空间完全相同均为全部 128 位二进制组合所有密文都能被某个明文生成双射 bijective / 一一对应同时满足单射 满射。2. 结合 AES 分组密码特性验证AES 置换的数学要求输入块、输出块空间大小完全相等均2128种可能加密可逆存在唯一解密函数Dk​满足 Dk​(Ek​(m))m, Ek​(Dk​(c))c 可逆函数的充要条件就是双射。题干中 “一一对应” 就是数学标准术语双射别名置换、一一映射。补充区分易混概念仅单射≠一一对应若输出集合更大会存在无对应输入的输出无法完整反向映射仅满射≠一一对应若存在多个输入映射到同一个输出解密会出现多解密码完全失效置换Permutation有限集合上的双射题干中 “密钥置换” 本质就是有限集合上由密钥参数化的双射函数完美契合 AES 的设计。三、最终答案标准集合论术语双射bijection通俗别名一一映射有限域 / 分组密码场景专用叫法置换permutation四、密码学延伸总结博客拓展内容为什么分组密码必须是双射 分组密码加密必须可逆可逆变换等价于双射。如果不是双射要么多明文同密文解密冲突要么存在无法解密的密文密码不具备实用性。AES 置换本质 对于 AES-128块空间是 128 位所有二进制数构成的有限集合给定密钥kEk​是该集合上的一个置换有限集双射解密函数就是该置换的逆置换。术语层级关系 置换 ⊂ 双射双射 单射 满射题干描述的 “输入输出一一对应” 直接对应双射。