مضاد ماترويد

في الرياضيات ، يُعرف النظام المضاد للماترويد بأنه نظام رسمي يصف العمليات التي تُبنى فيها مجموعة بإضافة عناصرها واحدًا تلو الآخر، حيث يبقى العنصر متاحًا للإضافة بمجرد توفره. ^{[ 1 ]} تُصاغ بديهيات الأنظمة المضادة للماترويد عادةً بطريقتين متكافئتين ، إما كنظام مجموعات يُنمذج الحالات الممكنة لهذه العملية، أو كلغة رسمية تُنمذج التسلسلات المختلفة التي يمكن أن تُضاف فيها العناصر. كان ديلورث (1940) أول من درس الأنظمة المضادة للماترويد، مستخدمًا نظامًا بديهيًا آخر قائمًا على نظرية الشبكات ، وقد أُعيد اكتشافها مرارًا في سياقات أخرى. ^{[ 2 ]}

تتشابه البديهيات التي تُعرّف أنظمة المجموعات المضادة للماترويدات إلى حد كبير مع تلك الخاصة بالماترويدات ، ولكن بينما تُعرّف الماترويدات ببديهية التبادل ، تُعرّف أنظمة المجموعات المضادة للماترويدات ببديهية التبادل المضاد ، والتي اشتُقّ منها اسمها. يمكن النظر إلى أنظمة المجموعات المضادة للماترويدات كحالة خاصة من الجريدويدات والشبكات شبه المعيارية ، وكتعميم للترتيبات الجزئية والشبكات التوزيعية . تُكافئ أنظمة المجموعات المضادة للماترويدات، من خلال التكامل ، الهندسات المحدبة ، وهي تجريد توافقي للمجموعات المحدبة في الهندسة .

تم تطبيق نماذج Antimatroids لنمذجة قيود الأسبقية في مشاكل الجدولة ، وتسلسلات الأحداث المحتملة في عمليات المحاكاة، وتخطيط المهام في الذكاء الاصطناعي ، وحالات معرفة المتعلمين البشريين.

يمكن تعريف الماتروتيد المضاد بأنه عائلة منتهية${\displaystyle {\mathcal {F}}}$من المجموعات المحدودة، تسمى المجموعات الممكنة ، مع الخاصيتين التاليتين: ^{[ 3 ]}

• اتحاد أي مجموعتين ممكنتين هو أيضاً ممكن. أي${\displaystyle {\mathcal {F}}}$مغلق تحت إدارة النقابات.
• لو${\displaystyle S}$إذا كانت مجموعة ممكنة غير فارغة، فإن${\displaystyle S}$يحتوي على عنصر${\displaystyle x}$والتي${\displaystyle S\setminus \{x\}}$(المجموعة التي تم تشكيلها عن طريق إزالة${\displaystyle x}$من${\displaystyle S}$(وهذا ممكن أيضاً). أي،${\displaystyle {\mathcal {F}}}$هو نظام مجموعة يسهل الوصول إليه .

تُعرَّف الأضداد الماترويدية أيضًا تعريفًا مكافئًا كلغة رسمية ، أي كمجموعة من السلاسل المُعرَّفة من أبجدية محدودة من الرموز . تُسمى السلسلة التي تنتمي إلى هذه المجموعة كلمة من كلمات اللغة.${\displaystyle {\mathcal {L}}}$يجب أن يستوفي تعريف المادة المضادة الخصائص التالية: ^{[ 4 ]}

• يظهر كل رمز من رموز الأبجدية في كلمة واحدة على الأقل من${\displaystyle {\mathcal {L}}}$.
• كل كلمة من${\displaystyle {\mathcal {L}}}$تحتوي على نسخة واحدة على الأكثر من كل رمز. تسمى اللغة التي تتمتع بهذه الخاصية باللغة العادية . ^{[ 5 ]}
• كل بادئة من كلمة في${\displaystyle {\mathcal {L}}}$وهو أيضًا في${\displaystyle {\mathcal {L}}}$تُسمى اللغة التي تتمتع بهذه الخاصية لغة وراثية . ^{[ 5 ]}
• لو${\displaystyle S}$و${\displaystyle T}$هي كلمات في${\displaystyle {\mathcal {L}}}$، و${\displaystyle S}$يحتوي على رمز واحد على الأقل غير موجود في${\displaystyle T}$ثم هناك رمز${\displaystyle x}$في${\displaystyle S}$بحيث يكون التسلسل${\displaystyle Tx}$كلمة أخرى في${\displaystyle {\mathcal {L}}}$.

يمكن توضيح تكافؤ هذين الشكلين من التعريف على النحو التالي. إذا${\displaystyle {\mathcal {L}}}$إذا عُرّفت اللغة المضادة بأنها لغة رسمية، فإن مجموعات الرموز في كلمات${\displaystyle {\mathcal {L}}}$يشكل نظام مجموعة مغلقًا ومتاحًا. يمكن الوصول إليه من خلال خاصية الوراثة للسلاسل، ويمكن إثبات أنه مغلق من خلال تطبيق خاصية الربط للسلاسل بشكل متكرر. في الاتجاه الآخر، من نظام مجموعة مغلق ومتاح ${\displaystyle {\mathcal {F}}}$لغة السلاسل النصية العادية التي تحتوي جميع بادئاتها على مجموعات من الرموز التي تنتمي إلى${\displaystyle {\mathcal {F}}}$يستوفي هذا الشرط متطلبات اللغة الرسمية لتكون مضادة للماترويد. هذان التحويلان هما عكس بعضهما البعض: تحويل لغة رسمية إلى عائلة مجموعات ثم إعادتها، أو العكس، ينتج عنه النظام نفسه. وبالتالي، يؤدي هذان التعريفان إلى فئات متكافئة رياضياً من الكائنات. ^{[ 6 ]}

توفر الأنظمة التالية أمثلة على الأنظمة المضادة للماترويدات:

سلسلة مضادة للمصفوفات

تشكل البادئات المكونة لسلسلة واحدة، ومجموعات الرموز في هذه البادئات، شكلاً مضاداً للماترويد. على سبيل المثال، سلسلة الأنتيماترويد المحددة بواسطة السلسلة${\displaystyle abcd}$تعتمد لغتها الرسمية على مجموعة السلاسل$${\displaystyle \{\varepsilon ,a,ab,abc,abcd\}}$$(أين${\displaystyle \varepsilon }$يشير إلى السلسلة الفارغة ) وعائلتها من المجموعات الممكنة العائلة ^{[ 7 ]}$${\displaystyle {\bigl \{}\emptyset ,\{a\},\{a,b\},\{a,b,c\},\{a,b,c,d\}{\bigr \}}.}$$

مضادات المواد البوسيتية

تشكل المجموعات الدنيا لمجموعة مرتبة جزئيًا منتهية ما يُعرف بـ"الماترويد المضاد"، حيث تُشكل الكلمات الكاملة لهذا "الماترويد المضاد" امتدادات خطية للترتيب الجزئي. ^{[ 8 ]} وبحسب نظرية بيركوف للتمثيل في الشبكات التوزيعية، فإن المجموعات الممكنة في "الماترويد المضاد" لمجموعة مرتبة جزئيًا (مرتبة حسب احتواء المجموعة) تُشكل شبكة توزيعية، ويمكن تشكيل جميع الشبكات التوزيعية بهذه الطريقة. وبالتالي، يمكن اعتبار "الماترويدات المضادة" تعميمًا للشبكات التوزيعية. ويُعد "الماترويد المضاد السلسلي" حالة خاصة من "الماترويد المضاد" لمجموعة مرتبة جزئيًا لترتيب كلي . ^{[ 7 ]}

قصف مضاد للماترويات

تسلسل قصف لمجموعة منتهية${\displaystyle U}$يتم تشكيل مجموعة من النقاط في المستوى الإقليدي أو فضاء إقليدي ذي أبعاد أعلى عن طريق إزالة رؤوس الغلاف المحدب بشكل متكرر . وتُمثل المجموعات الممكنة للمصفوفة المضادة التي تشكلها هذه التسلسلات تقاطعات${\displaystyle U}$مع متمم مجموعة محدبة. ^{[ 7 ]}

القضاء التام

الترتيب المثالي لإزالة رؤوس الرسم البياني الوترية هو ترتيب لرؤوسه بحيث يكون لكل رأس${\displaystyle v}$جيران${\displaystyle v}$التي تحدث لاحقًا من${\displaystyle v}$في شكل الترتيب، تشكل الزمرة . تشكل البادئات الخاصة بترتيبات الحذف التام للرسم البياني الوتري مادة مضادة. ^{[ 9 ]}

ألعاب إطلاق الرقائق

تُعرَّف ألعاب إطلاق الرقائق، مثل نموذج كومة الرمل الأبيلية، بواسطة رسم بياني موجه مع نظام من "الرقائق" الموضوعة على رؤوسه. كلما زاد عدد الرقائق الموجودة على رأس ما${\displaystyle v}$لا يقل حجمه عن عدد الحواف الخارجة من${\displaystyle v}$من الممكن إطلاق النار${\displaystyle v}$، بنقل شريحة واحدة إلى كل رأس مجاور. الحدث الذي${\displaystyle v}$نيران من أجل${\displaystyle i}$لا يمكن أن يحدث ذلك إلا إذا تم إطلاق النار بالفعل${\displaystyle i-1}$مرات وتراكمت${\displaystyle i\cdot \deg(v)}$إجمالي الرقائق. لا تعتمد هذه الشروط على ترتيب عمليات الحرق السابقة، وتبقى صحيحة حتى${\displaystyle v}$عند حدوث الحرائق، فإن أي رسم بياني معين وموضع أولي للرقائق التي ينتهي عندها النظام يحدد شكلًا مضادًا للمصفوفة على الأزواج.${\displaystyle (v,i)}$من نتائج خاصية الماترويد المضاد لهذه الأنظمة أنه بالنسبة لحالة ابتدائية معينة، فإن عدد مرات إطلاق كل رأس والحالة المستقرة النهائية للنظام لا يعتمدان على ترتيب الإطلاق. ^{[ 10 ]}

في عملية التأصيل البديهي لنظرية المجموعات لمضاد الماترويد، توجد مجموعات خاصة معينة تسمى المسارات ، وهي التي تحدد مضاد الماترويد بأكمله، بمعنى أن مجموعات مضاد الماترويد هي بالضبط اتحادات المسارات. ^{[ 11 ]} إذا${\displaystyle S}$أي مجموعة ممكنة من المادة المضادة، عنصر${\displaystyle x}$يمكن إزالته من${\displaystyle S}$يُطلق على تشكيل مجموعة ممكنة أخرى اسم نقطة نهاية${\displaystyle S}$وتُسمى المجموعة الممكنة التي لها نقطة نهاية واحدة فقط مسارًا من مسارات الماترويد المضاد. ^{[ 12 ]} ويمكن ترتيب مجموعة المسارات جزئيًا عن طريق تضمين المجموعة، مما يشكل مجموعة المسارات المرتبة جزئيًا للماترويد المضاد. ^{[ 13 ]}

لكل مجموعة ممكنة${\displaystyle S}$في المادة المضادة، وكل عنصر${\displaystyle x}$ل${\displaystyle S}$، يمكن للمرء أن يجد مجموعة فرعية من المسارات${\displaystyle S}$والتي${\displaystyle x}$هي نقطة نهاية: للقيام بذلك، قم بإزالة العناصر واحدًا تلو الآخر باستثناء${\displaystyle x}$إلى أن لا يترك أي حذف من هذا القبيل مجموعة فرعية ممكنة. لذلك، فإن كل مجموعة ممكنة في المصفوفة المضادة هي اتحاد مجموعات المسارات الفرعية الخاصة بها. ^{[ 11 ]} إذا${\displaystyle S}$ليس مسارًا، كل مجموعة جزئية في هذا الاتحاد هي مجموعة جزئية فعلية من${\displaystyle S}$لكن، إذا${\displaystyle S}$هو نفسه مسار ذو نقطة نهاية${\displaystyle x}$، كل مجموعة فرعية مناسبة من${\displaystyle S}$ذلك الذي ينتمي إلى المادة المضادة يستبعد${\displaystyle x}$لذلك، فإن مسارات المصفوفة المضادة هي بالضبط المجموعات الممكنة التي لا تساوي اتحادات مجموعاتها الجزئية الممكنة. وبصورة مكافئة، فإن عائلة معينة من المجموعات${\displaystyle {\mathcal {P}}}$تشكل عائلة مسارات الماتروتيد المضاد إذا وفقط إذا، لكل${\displaystyle S}$في${\displaystyle {\mathcal {P}}}$اتحاد المجموعات الفرعية من${\displaystyle S}$في${\displaystyle {\mathcal {P}}}$يحتوي على عنصر واحد أقل من${\displaystyle S}$^{[ 14 ]} إذا كان الأمر كذلك،${\displaystyle {\mathcal {F}}}$هي نفسها عائلة اتحادات مجموعات فرعية من${\displaystyle {\mathcal {P}}}$[ ^{11 ]​}

في صياغة اللغة الرسمية للمضاد الماتروي، تُسمى أطول السلاسل بالكلمات الأساسية . تُشكل كل كلمة أساسية تبديلاً للأبجدية بأكملها. ^{[ 15 ]} إذا${\displaystyle B}$هي مجموعة الكلمات الأساسية،${\displaystyle {\mathcal {L}}}$يمكن تعريفها من${\displaystyle B}$كمجموعة من بادئات الكلمات في${\displaystyle B}$[ ^{16 ]​}

لو${\displaystyle {\mathcal {F}}}$هو نظام المجموعة الذي يحدد المادة المضادة، مع${\displaystyle U}$يساوي اتحاد المجموعات في${\displaystyle {\mathcal {F}}}$ثم عائلة المجموعات $${\displaystyle {\mathcal {G}}=\{U\setminus S\mid S\in {\mathcal {F}}\}}$$مكمل للمجموعات في${\displaystyle {\mathcal {F}}}$يُطلق عليها أحيانًا اسم الهندسة المحدبة والمجموعات في${\displaystyle {\mathcal {G}}}$تُسمى هذه المجموعات بالمجموعات المحدبة . على سبيل المثال، في الشكل المضاد للسطح، تكون المجموعات المحدبة هي تقاطعات مجموعة النقاط المعطاة مع المجموعات الجزئية المحدبة من الفضاء الإقليدي. يجب أن يكون نظام المجموعات الذي يُعرّف هندسة محدبة مغلقًا تحت التقاطعات. لأي مجموعة${\displaystyle S}$في${\displaystyle {\mathcal {G}}}$هذا لا يساوي${\displaystyle U}$يجب أن يكون هناك عنصر${\displaystyle x}$ليس في${\displaystyle S}$يمكن إضافته إلى${\displaystyle S}$لتشكيل مجموعة أخرى في${\displaystyle {\mathcal {G}}}$[ ^{17 ]​}

يمكن تعريف الهندسة المحدبة أيضًا بدلالة عامل الإغلاق${\displaystyle \tau }$التي تحدد أي مجموعة فرعية من${\displaystyle U}$إلى مجموعتها المغلقة الجزئية الدنيا. لكي تكون عامل إغلاق،${\displaystyle \tau }$ينبغي أن يمتلك الخصائص التالية: ^{[ 18 ]}

• ${\displaystyle \tau (\emptyset )=\emptyset }$: إغلاق المجموعة الفارغة يكون فارغاً.
• لكل مجموعة جزئية${\displaystyle S}$ل${\displaystyle U}$،${\displaystyle S}$هي مجموعة فرعية من${\displaystyle \tau (S)}$و${\displaystyle \tau (S)=\tau {\bigl (}\tau (S){\bigr )}}$.
• حينما${\displaystyle S\subset T\subset U}$،${\displaystyle \tau (S)}$هي مجموعة فرعية من${\displaystyle \tau (T)}$.

تكون عائلة المجموعات المغلقة الناتجة عن عملية إغلاق من هذا النوع مغلقة بالضرورة تحت التقاطعات، ولكنها قد لا تكون هندسة محدبة. كما أن عوامل الإغلاق التي تُعرّف الهندسات المحدبة تُحقق بديهية إضافية مضادة للتبادل .

• لو${\displaystyle S}$هي مجموعة فرعية من${\displaystyle U}$، و${\displaystyle y}$و${\displaystyle z}$هي عناصر مميزة من${\displaystyle U}$التي لا تنتمي إلى${\displaystyle \tau (S)}$، لكن${\displaystyle z}$ينتمي إلى${\displaystyle \tau (S\cup \{y\})}$، ثم${\displaystyle y}$لا ينتمي إلى${\displaystyle \tau (S\cup \{z\})}$[ ^{18 ]​}

تُسمى عملية الإغلاق التي تحقق هذه البديهية إغلاقًا مضادًا للتبادل .${\displaystyle S}$إذا كانت مجموعة مغلقة في إغلاق مضاد للتبادل، فإن بديهية التبادل المضاد تحدد ترتيبًا جزئيًا على العناصر التي لا تنتمي إلى${\displaystyle S}$، أين${\displaystyle x\leq y}$بالترتيب الجزئي عندما${\displaystyle x}$ينتمي إلى${\displaystyle \tau (S\cup \{y\})}$. لو${\displaystyle x}$إذا كان عنصرًا أدنى في هذا الترتيب الجزئي،${\displaystyle S\cup \{x\}}$مجموعة مغلقة. أي أن عائلة المجموعات المغلقة لإغلاق مضاد للتبادل لها الخاصية التي تنص على أنه لأي مجموعة أخرى غير المجموعة الشاملة يوجد عنصر${\displaystyle x}$يمكن إضافة مجموعة أخرى إليها لتكوين مجموعة مغلقة أخرى. تُكمّل هذه الخاصية خاصية إمكانية الوصول في الأضداد الماترويدية، كما أن كون تقاطعات المجموعات المغلقة مغلقة يُكمّل خاصية كون اتحادات المجموعات الممكنة في الأضداد الماترويدية ممكنة. لذلك، تُشكّل مكملات المجموعات المغلقة لأي إغلاق مضاد للتبادل أضداد ماترويدية. ^{[ 17 ]}

إن الرسوم البيانية غير الموجهة التي تشكل فيها المجموعات المحدبة (المجموعات الفرعية من الرؤوس التي تحتوي على جميع أقصر المسارات بين الرؤوس في المجموعة الفرعية) هندسة محدبة هي بالضبط الرسوم البيانية البطلمية . ^{[ 19 ]}

لكل مجموعتين ممكنتين في شكل مضاد للماترويد حد أدنى فريد (اتحادهما) وحد أدنى فريد (اتحاد المجموعات في شكل مضاد للماترويد التي تحتوي كل منهما على الأخرى). لذلك، تُشكل المجموعات الممكنة في شكل مضاد للماترويد، المرتبة جزئيًا حسب احتواء المجموعات، شبكة . يمكن تفسير العديد من السمات المهمة لشكل مضاد للماترويد بمصطلحات نظرية الشبكات؛ على سبيل المثال، مسارات شكل مضاد للماترويد هي العناصر غير القابلة للاختزال بالوصل في الشبكة المقابلة، والكلمات الأساسية لشكل مضاد للماترويد تُقابل السلاسل القصوى في الشبكة. تُعمم الشبكات التي تنشأ من أشكال مضادة للماترويد بهذه الطريقة الشبكات التوزيعية المحدودة ، ويمكن توصيفها بعدة طرق مختلفة.

• يتعلق الوصف الذي قدمه ديلورث (1940) في الأصل بالعناصر غير القابلة للاختزال في الشبكة. لكل عنصر${\displaystyle x}$بالنسبة للمصفوفة المضادة، توجد مجموعة ممكنة قصوى فريدة${\displaystyle S_{x}}$الذي لا يحتوي${\displaystyle x}$:${\displaystyle S_{x}}$يمكن بناؤها كاتحاد لجميع المجموعات الممكنة التي لا تحتوي على${\displaystyle x}$هذه المجموعة${\displaystyle S_{x}}$هي تلقائيًا غير قابلة للاختزال عند التقاء العناصر، مما يعني أنها ليست نقطة التقاء أي عنصرين أكبر منها في الشبكة. وهذا صحيح لأن كل مجموعة جزئية ممكنة من${\displaystyle S_{x}}$يتضمن${\displaystyle x}$وينطبق الأمر نفسه على كل تقاطع بين مجموعات فائقة ممكنة. يمكن تحليل كل عنصر من عناصر أي شبكة إلى تقاطع بين مجموعات غير قابلة للاختزال، وغالبًا بطرق متعددة، ولكن في الشبكة المقابلة لسطح مضاد، كل عنصر${\displaystyle T}$تمتلك عائلة دنيا فريدة من المجموعات غير القابلة للاختزال التي يكون فيها الالتقاء${\displaystyle T}$تتكون هذه العائلة من المجموعات${\displaystyle S_{x}}$بالنسبة للعناصر${\displaystyle x}$بحيث${\displaystyle T\cup \{x\}}$ممكن. أي أن الشبكة لها تفكيكات فريدة غير قابلة للاختزال .
• أما التوصيف الثاني فيتعلق بالفترات في الشبكة، والشبكات الفرعية المحددة بواسطة زوج من عناصر الشبكة${\displaystyle x\leq y}$يتكون من جميع عناصر الشبكة${\displaystyle z}$مع${\displaystyle x\leq z\leq y}$تكون الفترة ذرية إذا كان كل عنصر فيها عبارة عن مجموعة من الذرات (أصغر العناصر فوق العنصر السفلي).${\displaystyle x}$ويكون منطقيًا إذا كان متماثلًا مع شبكة جميع المجموعات الجزئية لمجموعة منتهية. بالنسبة للمصفوفة المضادة، فإن كل فاصل ذري يكون منطقيًا أيضًا.
• ثالثًا، الشبكات الناشئة عن الأجسام المضادة هي شبكات شبه نمطية ، وهي شبكات تحقق قانون شبه النمطية العلوي الذي ينص على أنه لكل عنصرين${\displaystyle x}$و${\displaystyle y}$، لو${\displaystyle y}$أغطية${\displaystyle x\wedge y}$ثم${\displaystyle x\vee y}$أغطية${\displaystyle x}$ترجمة هذا الشرط إلى المجموعات الممكنة لمضاد الماترويد، إذا كانت مجموعة ممكنة${\displaystyle Y}$يحتوي على عنصر واحد فقط لا ينتمي إلى مجموعة ممكنة أخرى${\displaystyle X}$ثم يمكن إضافة هذا العنصر إلى${\displaystyle X}$لتشكيل مجموعة أخرى في المادة المضادة. بالإضافة إلى ذلك، تتمتع شبكة المادة المضادة بخاصية التوزيع شبه الالتقاء : لجميع عناصر الشبكة${\displaystyle x}$،${\displaystyle y}$، و${\displaystyle z}$، لو${\displaystyle x\wedge y}$و${\displaystyle x\wedge z}$إذا تساوى الاثنان، فإنهما متساويان أيضاً.${\displaystyle x\wedge (y\vee z)}$. تسمى الشبكة شبه المعيارية والشبكة شبه التوزيعية التي تلتقي بالشبكة شبكة توزيعية مشتركة .

هذه الخصائص الثلاث متكافئة: أي شبكة ذات تفكيكات فريدة غير قابلة للاختزال عند التقاطع لها فترات ذرية منطقية وهي شبكة توزيعية متصلة، وأي شبكة ذات فترات ذرية منطقية لها تفكيكات فريدة غير قابلة للاختزال عند التقاطع وهي شبكة توزيعية متصلة، وأي شبكة توزيعية متصلة لها تفكيكات فريدة غير قابلة للاختزال عند التقاطع وفترات ذرية منطقية. ^{[ 20 ]} بالتالي، يمكننا الإشارة إلى شبكة تتمتع بأي من هذه الخصائص الثلاث بأنها شبكة توزيعية متصلة. أي شبكة مضادة للماترويد تُنتج شبكة توزيعية متصلة محدودة، وأي شبكة توزيعية متصلة محدودة تنشأ من شبكة مضادة للماترويد بهذه الطريقة. ^{[ 21 ]} من الخصائص المكافئة الأخرى للشبكات التوزيعية المحدودة أنها متدرجة (أي أن أي سلسلتين أقصى لهما نفس الطول)، ويساوي طول السلسلة القصوى عدد العناصر غير القابلة للاختزال في الشبكة. ^{[ 22 ]} يمكن استخلاص الماترويد المضاد الذي يمثل شبكة توزيعية محدودة من الشبكة: يمكن اعتبار عناصر الماترويد المضاد هي العناصر غير القابلة للاختزال في الشبكة، ومجموعة الحلول الممكنة المقابلة لأي عنصر${\displaystyle x}$يتكون جزء من الشبكة من مجموعة العناصر غير القابلة للاختزال عند التقاء${\displaystyle y}$بحيث${\displaystyle y}$لا يزيد عن أو يساوي${\displaystyle x}$في الشبكة.

يمكن اعتبار هذا التمثيل لأي شبكة توزيعية محدودة كعائلة يمكن الوصول إليها من المجموعات المغلقة تحت الاتحادات (أي، كـ antimatroid) بمثابة نظير لنظرية تمثيل بيركوف التي بموجبها يكون لأي شبكة توزيعية محدودة تمثيل كعائلة من المجموعات المغلقة تحت الاتحادات والتقاطعات.

انطلاقًا من مشكلة تعريف الترتيبات الجزئية على عناصر زمرة كوكسيتر ، درس أرمسترونغ (2009) المصفوفات المضادة التي تُعد أيضًا شبكات فائقة الحل . تُعرَّف المصفوفة المضادة فائقة الحل بمجموعة مرتبة كليًا من العناصر، وعائلة من مجموعات هذه العناصر. يجب أن تتضمن العائلة المجموعة الفارغة. بالإضافة إلى ذلك، يجب أن تتمتع بالخاصية التالية: إذا كانت مجموعتان${\displaystyle A}$و${\displaystyle B}$ينتمي إلى العائلة، إذا كان الاختلاف النظري للمجموعات${\displaystyle B\setminus A}$غير فارغة، وإذا${\displaystyle x}$هو أصغر عنصر من${\displaystyle B\setminus A}$، ثم${\displaystyle A\cup \{x\}}$وينتمي أيضًا إلى هذه العائلة. وكما لاحظ أرمسترونغ، فإن أي عائلة من المجموعات من هذا النوع تُشكّل مادة مضادة. كما يُقدّم أرمسترونغ توصيفًا نظريًا للشبكات للمواد المضادة التي يُمكن أن يُشكّلها هذا البناء. ^{[ 23 ]}

لو${\displaystyle {\mathcal {A}}}$و${\displaystyle {\mathcal {B}}}$هناك مادتان مضادتان، توصف كلتاهما بأنهما عائلة من المجموعات على نفس كون العناصر، ثم مادة مضادة أخرى، وهي وصلة${\displaystyle {\mathcal {A}}}$و${\displaystyle {\mathcal {B}}}$، ويمكن تشكيلها على النحو التالي: $${\displaystyle {\mathcal {A}}\vee {\mathcal {B}}=\{S\cup T\mid S\in {\mathcal {A}}\wedge T\in {\mathcal {B}}\}.}$$ هذه عملية مختلفة عن عملية الربط التي تُعتبر في توصيفات نظرية الشبكة للأجسام المضادة للماترويد: فهي تجمع جسمين مضادين للماترويد لتكوين جسم مضاد آخر، بدلاً من دمج مجموعتين في جسم مضاد للماترويد لتكوين مجموعة أخرى. وتشكل عائلة جميع الأجسام المضادة للماترويد في نفس الكون شبه شبكة باستخدام عملية الربط هذه. ^{[ 24 ]}

ترتبط عمليات الربط ارتباطًا وثيقًا بعملية الإغلاق التي تربط اللغات الرسمية بالأشكال المضادة، حيث يكون إغلاق اللغة${\displaystyle {\mathcal {L}}}$هو تقاطع جميع المواد المضادة التي تحتوي${\displaystyle {\mathcal {L}}}$كلغة فرعية. تحتوي هذه الدالة المغلقة على اتحادات بادئات السلاسل في مجموعاتها الممكنة.${\displaystyle {\mathcal {L}}}$فيما يتعلق بعملية الإغلاق هذه، فإن عملية الربط هي إغلاق لاتحاد لغات${\displaystyle {\mathcal {A}}}$و${\displaystyle {\mathcal {B}}}$يمكن تمثيل كل شكل مضاد للماترويد على أنه وصلة لعائلة من الأشكال المضادة للماترويد المتسلسلة، أو بشكل مكافئ على أنه إغلاق لمجموعة من الكلمات الأساسية؛ البعد المحدب للشكل المضاد للماترويد${\displaystyle {\mathcal {A}}}$هو الحد الأدنى لعدد السلاسل المضادة للمصفوفات (أو ما يعادله، الحد الأدنى لعدد الكلمات الأساسية) في هذا التمثيل. إذا${\displaystyle {\mathfrak {F}}}$هي عائلة من مضادات الماترويد المتسلسلة التي تنتمي كلماتها الأساسية جميعها إلى${\displaystyle {\mathcal {A}}}$، ثم${\displaystyle {\mathfrak {F}}}$يُنشئ${\displaystyle {\mathcal {A}}}$إذا وفقط إذا كانت المجموعات الممكنة من${\displaystyle {\mathfrak {F}}}$يشمل جميع مسارات${\displaystyle {\mathcal {A}}}$مسارات${\displaystyle {\mathcal {A}}}$يجب أن تشكل العناصر التي تنتمي إلى سلسلة واحدة من مضاد الماترويد سلسلة في مجموعة المسارات المرتبة لـ${\displaystyle {\mathcal {A}}}$وبالتالي فإن البعد المحدب للمصفوفة المضادة يساوي الحد الأدنى لعدد السلاسل اللازمة لتغطية مجموعة المسارات المرتبة جزئيًا، والذي يساوي، وفقًا لنظرية ديلورث، عرض مجموعة المسارات المرتبة جزئيًا. ^{[ 25 ]}

إذا كان لدينا تمثيل للمصفوفة المضادة على أنها إغلاق لمجموعة من${\displaystyle d}$باستخدام الكلمات الأساسية، يمكن استخدام هذا التمثيل لرسم خرائط المجموعات الممكنة للمصفوفة المضادة إلى نقاط في${\displaystyle d}$الفضاء الإقليدي ذو الأبعاد n: قم بتعيين إحداثية واحدة لكل كلمة أساسية${\displaystyle W}$، واجعل قيمة إحداثيات مجموعة ممكنة${\displaystyle S}$ليكن طول أطول بادئة من${\displaystyle W}$هذا جزء من${\displaystyle S}$باستخدام هذا التضمين،${\displaystyle S}$هي مجموعة جزئية من مجموعة ممكنة أخرى${\displaystyle T}$إذا وفقط إذا كانت إحداثيات${\displaystyle S}$جميعها أقل من أو تساوي الإحداثيات المقابلة لـ${\displaystyle T}$لذا، فإن بُعد الترتيب لترتيب تضمين المجموعات الممكنة يساوي على الأكثر البُعد المحدب للمصفوفة المضادة. ^{[ 26 ]} ومع ذلك، قد يختلف هذان البُعدان اختلافًا كبيرًا بشكل عام: إذ توجد مصفوفات مضادة ذات بُعد ترتيب ثلاثة ولكن ببعد محدب كبير كيفما كان. ^{[ 27 ]}

يزداد عدد الأشكال المضادة الممكنة لمجموعة من العناصر بسرعة مع ازدياد عدد العناصر في المجموعة. بالنسبة لمجموعات مكونة من عنصر واحد، أو عنصرين، أو ثلاثة عناصر، إلخ، يكون عدد الأشكال المضادة المختلفة هو ^{[ 28 ].}$${\displaystyle 1,3,22,485,59386,133059751,\dots \,.}$$

يمكن نمذجة قيود الأسبقية وقيود وقت الإفراج في الترميز القياسي لمسائل الجدولة النظرية باستخدام المصفوفات المضادة. استخدم بويد وفيجل (1990) المصفوفات المضادة لتعميم خوارزمية جشعة ليوجين لولر لحل مسائل جدولة المعالج الواحد ذات قيود الأسبقية على النحو الأمثل، حيث يكون الهدف هو تقليل الحد الأقصى للعقوبة المترتبة على تأخير جدولة مهمة ما.

يستخدم جلاسر مان وياو (1994) المصفوفات المضادة لنمذجة ترتيب الأحداث في أنظمة محاكاة الأحداث المنفصلة .

يستخدم بارمار (2003) المصفوفات المضادة لنمذجة التقدم نحو هدف في مشاكل التخطيط في الذكاء الاصطناعي .

في نظرية الأمثلية ، وهي نموذج رياضي لتطوير اللغة الطبيعية يعتمد على التحسين في ظل القيود، تكون القواعد النحوية مكافئة منطقياً للمصفوفات المضادة. ^{[ 29 ]}

في علم النفس الرياضي ، تُستخدم المصفوفات المضادة لوصف حالات المعرفة الممكنة لدى المتعلم البشري. يُمثل كل عنصر من عناصر المصفوفة المضادة مفهومًا ينبغي على المتعلم فهمه، أو فئة من المسائل التي قد يتمكن من حلها بشكل صحيح، وتمثل مجموعات العناصر التي تُشكل المصفوفة المضادة مجموعات ممكنة من المفاهيم التي يُمكن لشخص واحد فهمها. يُمكن صياغة البديهيات التي تُعرّف المصفوفة المضادة بشكل غير رسمي على النحو التالي: أن تعلم مفهوم واحد لا يمنع المتعلم من تعلم مفهوم آخر، وأنه يُمكن الوصول إلى أي حالة معرفية ممكنة من خلال تعلم مفهوم واحد في كل مرة. تتمثل مهمة نظام تقييم المعرفة في استنتاج مجموعة المفاهيم التي يعرفها متعلم معين من خلال تحليل استجاباته لمجموعة صغيرة ومختارة بعناية من المسائل. في هذا السياق، تُسمى المصفوفات المضادة أيضًا "مساحات التعلم" و"مساحات المعرفة المتدرجة جيدًا". ^{[ 30 ]}