stringsここでgperfを使用するという回答を見てきましたが、固定長のドメインに対して作成した証明に基づいて自分でロールしたいと思います<= 200 。wolframからの計算に基づいて、~7.9 x 10^374完全な順列を取得します。したがって、私の考え方は、2048ビットハッシュ関数（3.2 x 10^616）があれば、処理する必要のある文字列のユニバース全体を処理できるはずです。私の質問は、長さが200以下のすべての文字列のユニバースの制約を考慮して、最終的に生成するハッシュ実装が完全であることをどのように証明できるかということです。