Dubbelriktad karta

Inom datavetenskap är en dubbelriktad karta en associativ datastruktur där ${\displaystyle (key,value)}-$ paren bildar en en-till-en-korrespondens . Således är den binära relationen funktionell i varje riktning: varje $value$ kan också mappas till en unik $key$ . Ett par $(a,b)$ ger alltså en unik koppling mellan $a$ och $b$ så att $b$ kan hittas när ${\ displaystyle a}$ används som en nyckel och $a$ kan hittas när $b$ används som en nyckel.

Matematiskt kan en dubbelriktad karta definieras en bijektion $f:X\to Y$ mellan två olika uppsättningar nycklar $X$ och $Y$ med lika kardinalitet , vilket utgör en injektiv och surjektiv funktion:

{\ 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}}\Högerpil \exists f^{-1}(x)}

externa länkar