●定理111若一个函数族{:1→:n>m为 强单向函数族,则它也是一个强无碰撞 压缩函数族。反之,若函数族{n>m为一强 无碰撞压缩函数族,且对(充分大的)每 个及x∈{0,1y,hn(X)的原象集h((x)中 至少包含两个原象,则它也是一个强单向 函数族 强无碰撞压缩函数族中的函数也称无碰撞 压缩函数或单向压缩函数⚫定理 11.1 若一个函数族 为 一强单向函数族，则它也是一个强无碰撞 压缩函数族。反之，若函数族 为一强 无碰撞压缩函数族，且对（充分大的）每 个n及x∈{0,1}n ，hn (x)的原象集 中 至少包含两个原象，则它也是一个强单向 函数族。 ⚫强无碰撞压缩函数族中的函数也称无碰撞 压缩函数或单向压缩函数。 h     n m n m n : 0,1 → 0,1 ;  hn ;n  m ( ( )) 1 h h x n n −