خريطة ثنائية الاتجاه

في علم الحاسوب ، الخريطة ثنائية الاتجاه هي بنية بيانات ترابطية حيث(كهـy،vألuهـ){\displaystyle (key,value)}تشكل الأزواج علاقة تناظر أحادي . وبالتالي، فإن العلاقة الثنائية فعالة في كل اتجاه: كلvألuهـ{\displaystyle value}ويمكن أيضًا ربطها بـ فريدكهـy{\displaystyle key}زوج(أ،ب){\displaystyle (a,b)}وبالتالي يوفر ذلك اقترانًا فريدًا بينأ{\displaystyle a}وب{\displaystyle b}لهذا السبب.ب{\displaystyle b}يمكن العثور عليها عندماأ{\displaystyle a}يُستخدم كمفتاح وأ{\displaystyle a}يمكن العثور عليها عندماب{\displaystyle b}يُستخدم كمفتاح.

رياضياً، يمكن تعريف التطبيق ثنائي الاتجاه بأنه تقابلو:XY{\displaystyle f:X\to Y}بين مجموعتين مختلفتين من المفاتيحX{\displaystyle X}وY{\displaystyle Y}ذات عدد متساوٍ من العناصر ، وبالتالي تشكل دالة حقنية وشاملة :

{x،xX،و(x)=و(x)x=xyY،xX:y=و(x)و-1(x){\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)}