شجرة فائقة (نظرية البيان)

شجرة فائقة برؤوس زرقاء و أضلاع فائقة ملونه بالأصفر) وشجرة المضيف (أحمر)

في الرياضيات، يُسمى البيان فائق $H$ شجرة فائقة قالب:إنج إذا أمكن إيجاد رسم بياني مضيف $T$ تمثل شجرة . بمعنى آخر، $H$هو شجرة فائقة إذا كان هناك شجرة T بحيث كل hyperedge من H هو مجموعة من رؤوس الشجرة الفرعية المتصلة T. يطلق على الأشجار الفائقة أيضًا مسمى رسوم فائقيه شجريه( arboreal hypergraphs \tree hypergraphs).

كل شجرة $T$ هي أيضا شجرة فائقة ويكن أيضا استخدامها كرسم بياني مضيف، وكل ضلع في T يشكل شجرة فرعية من هذا الرسم البياني المضيف. لذلك، يمكن اعتبار الشجرة الفائقة في الرسوم الفائقة كتعميم لمفهوم شجرة في الرسم البياني . هذا التعريف للبيان فائق يشمل الرسوم الفائقة المتصلة بدون دورات بيرغ ( Berge-acyclic)، والتي تم استخدامها أيضًا كتعميم (ربما مختلف) للأشجار للرسومات الفائقية.

الخصائص

كل شجرة فائقة لها خاصية Helly (2-Helly property ) والتي تنص على أنه إذا كانت S مجموعة جزئية من الأضلاع الفائقة بحيث أن كل تقاطع أي ضلعين فائقيين فيها هي مجموعة غير خالية فإن المجموعة فإن S نفسها بها تقاطع غير خالي (يوجد رأس ينتمي إلى كل ضلع فائقي في S ).

من خلال نتائج Duchet و Flament و Slater يمكن تعريف أي شجرة فائقة بشكل مكافئ بأحد الخصائص التالية:

• نقول أن البيان فائق $H$ هو شجرة فائقة إذا وفقط إذا كان لديه خاصية Helly والرسم البياني الخطي هو رسم بياني وتري .
• البيان فائق $H$ يكون شجرة فائقة إذا وفقط إذا كان لها البيان فائق المزدوج له $H^{*}$هو متواز (conformal ) و الرسم البياني بقسمين للبيان فائق المزدود $H^{*}$ هو وتري (chordal) .
• يكون البيان فائق شجرة فائقة إذا وفقط إذا كانت البيان فائق المزدوج له لايحتوي على دورة ألفا ( alpha-acyclic) تبعا لتعريف الباحث Fagin.

من الممكن التعرف على البيان فائق (كمزدوج لرسم فائقي بدون دورة ألفا ) في زمن خطي . قالب:Sfnp مسألة الغطاء الدقيق (وهي العثور على مجموعة من الأضلاع الفائقة غير المتقاطعة التي تغطي جميع الرؤوس) قابلة للحل في وقت متعدد الحدود للأشجار الفائقة لكنها تظل مسألة كثيرة حدود غير قطعية كاملة للرسومات الفائقة بدون دورة ألفا.

انظر أيضا

• رسم بياني وتري مزدوج وهو رسم بياني الذي به أكبر عصبة به يمثل شجرة فائقية.