证明：DES算法解密过程是加密的逆运算

首先要知道DES算法其实是一种Feistel加密算法，只不过DES算法多了两步----初始置换IP和最终置换IP^-1。而Feistel算法的解密过程就是其加密过程的逆运算，具体地说，Feistel的加密算法和解密算法一样，只不过加密和解密时用的子密钥的顺序刚好相反，即(假设16轮轮转换）加密时子密钥顺序为K₁,K₂,...,K₁₆,解密时子密钥顺序为K₁₆,K₁₅,...,K₁。如下图所示：

以下证明Feistel算法的加/解密过程互逆
(设16轮轮换+最后一轮交换)
只要证明加密过程第 i轮的输出为 LE _i || RE _i和解密过程第(16 - i)轮的输出 RD _{16 - i} || LD _{16 - i}相等就可证明Feistel算法的加/解密过程互逆。又 LE _i = RE _{i - 1}, RE _i = LE _{i - 1} ⊕ F( RE _{i - 1}, K _i), LD _i