مصفوفة توتي

في نظرية الرسم البياني ، مصفوفة Tutte A للرسم البياني G  =  ( V , E ) هي مصفوفة تستخدم لتحديد وجود تطابق مثالي : أي مجموعة من الحواف التي تتصل بكل رأس مرة واحدة بالضبط. 

إذا كانت مجموعة الرؤوس هيV={1،2،...،ن}{\displaystyle V=\{1,2,\dots ,n\}}إذن، مصفوفة توت هي مصفوفة متناظرة معكوسة من الرتبة n × n ، وقيمها A

أأناج={xأناجلو(أنا،ج)هـ و أنا<ج-xجأنالو(أنا،ج)هـ و أنا>ج0خلاف ذلك{\displaystyle A_{ij}={\begin{cases}x_{ij}\;\;{\mbox{if}}\;(i,j)\in E{\mbox{ and }}i<j\\-x_{ji}\;\;{\mbox{if}}\;(i,j)\in E{\mbox{ and }}i>j\\0\;\;\;\;{\mbox{otherwise}}\end{cases}}}

حيث تكون x<sub> ij </sub> متغيرات غير محددة . يكون محدد هذه المصفوفة متعدد حدود (في المتغيرات x <sub>ij</sub> ، حيث i < j ): يتطابق هذا المحدد مع مربع بفافيان المصفوفة A ، ويكون غير صفري (كمتعدد حدود) إذا وفقط إذا وُجد تطابق تام. (متعدد الحدود هذا ليس متعدد حدود توت للمصفوفة G ).   

سميت مصفوفة Tutte على اسم WT Tutte ، وهي تعميم لمصفوفة Edmonds للرسم البياني الثنائي المتوازن .

مراجع