普段はサーバーサイドエンジニアとして、メルカリの検索を改善する仕事をしています。いう「普段できないことをやろう」をテーマとする日があり、その日は業務に直接関係のないことや、普段は手をつけられないリファクタリングなどがされます。様子はこちらで紹介されています。最小完全ハッシュであることを証明しました。このブログはその証明についての記事です。説明しているハッシュ関数です。表す関数を以下とします。2のべき乗であるような整数。よると、完全ハッシュ関数とは以下の通りです。完全ハッシュ関数の特殊ケースである、最小完全ハッシュ関数の説明は以下の通りです。n-1)の場合である。参照が単純化されるだけでなく、ハッシュテーブルもコンパクトになり、空きスロットができない。最小完全ハッシュ関数は単なる完全ハッシュ関数よりも求めるのが難しい。2016.ここで、最小完全ハッシュは数学の言葉を使うと、全単射である関数とも言えます。復元するための関数が必要とされていました。この条件を満たし、計算時間が高速であるため採用されました。最小完全ハッシュである証明が見つからなかったので、証明しました。入力して衝突しないことを確かめるテストを書いたりする必要があるかもしれません。今回は証明によってコードを減らすことができました。数学は机上の空論であったり、抽象的すぎるものになりがちですが、現実世界の問題を扱い、プロダクトのために活用できたところがとても嬉しいです。して以下のように表す。2のべき乗であるような整数。