Mapa bidireccional

En informática , un mapa bidireccional es una estructura de datos asociativa en la que los pares forman una correspondencia uno a uno . Por lo tanto, la relación binaria es funcional en cada dirección: cada una también se puede mapear a un único . Por lo tanto, un par proporciona un acoplamiento único entre y de modo que se puede encontrar cuando se utiliza como clave y se puede encontrar cuando se utiliza como clave. ${\displaystyle (key,value)}$ ${\displaystyle value}$ ${\displaystyle key}$ ${\displaystyle (a,b)}$ ${\displaystyle a}$ ${\displaystyle b}$ ${\displaystyle b}$ ${\displaystyle a}$ ${\displaystyle a}$ ${\displaystyle b}$

Matemáticamente, una función bidireccional puede definirse como una biyección entre dos conjuntos de claves diferentes y de igual cardinalidad , constituyendo así una función inyectiva y sobreyectiva : ${\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)}$$

Enlaces externos

• Boost.org
• Commons.apache.org
• Cablemodem.fibertel.com.ar (versión archivada)
• Proyecto de código.com
• BiMap en la biblioteca de Google Guava
• bidict (implementación de mapa bidireccional para Python)