ion::::离散无记忆信道的可实现性.下面这个可实现性的证明是使用渐近等同分割特性（ - AEP）方法。另一种信息论常用证明方法是错误列举法（）。两种证明方法都使用随机编码参数来构造信道。这样的目的是减少计算的复杂度，同时仍旧可以证明在速度低于信道容量的时候，存在误码率在可接受范围甚至是接近于理想的无失真的编码方式。采用AEP相关的参数，一个指定的信道，长度为n的源字符串formula_9，和长度为n的信道输出的字符串formula_10，我们可以定义一个以下"匹配序列集合"：我们可以说两个