双方向マップ

コンピュータサイエンスにおいて、双方向マップは、ペアが1 対 1 の対応関係を形成する連想データ構造です。したがって、バイナリ関係は各方向で機能します。つまり、それぞれを一意の にマップすることもできます。したがって、ペアはとの間に一意の結合を提供し、をキーとして使用した場合に を見つけることができ、をキーとして使用した 場合に を見つけることができるようになります。${\displaystyle (キー,値)}$${\displaystyle 値}$${\displaystyle キー}$${\displaystyle (a,b)}$${\displaystyle a}$${\displaystyle b}$${\displaystyle b}$${\displaystyle a}$${\displaystyle a}$${\displaystyle b}$

数学的には、双方向マップは、等しい濃度の 2 つの異なるキー セットとのセット間の全単射 として定義でき、したがって、単射かつ全射の関数を構成します。 ${\displaystyle f:X\to Y}$${\displaystyle X}$${\displaystyle Y}$

$${\displaystyle {\begin{cases}&\forall x,x'\in X,f(x)=f(x')\Rightarrow x=x'\\&\forall y\in Y,\exists x\in X:y=f(x)\end{cases}}\Rightarrow \exists f^{-1}(x)}$$

• ブースト.org
• コモンズ
• Cablemodem.fibertel.com.ar (アーカイブ版)
• コードプロジェクト
• Google Guava ライブラリの BiMap
• bidict (Python の双方向マップ実装)