اتصال الرؤوس

في نظرية الرسم البياني ، يقال إن الرسم البياني المتصل G هو k -vertex-connected (أو k -connected ) إذا كان يحتوي على أكثر من k رأسًا ويظل متصلًا كلما تمت إزالة أقل من k رأسًا.
إن اتصال الرؤوس ، أو الاتصال فقط ، للرسم البياني هو أكبر قيمة k التي يكون عندها الرسم البياني متصلاً بـ k رأسًا.
التعريفات
تتمتع الرسوم البيانية (باستثناء الرسوم البيانية الكاملة ) باتصال k إذا كان k هو حجم أصغر مجموعة فرعية من الرؤوس التي يؤدي حذفها إلى فصل الرسم البياني. [ 1 ] في الرسوم البيانية الكاملة ، لا توجد مجموعة فرعية يؤدي حذفها إلى فصل الرسم البياني. تُعدّل بعض المصادر تعريف الاتصال للتعامل مع هذه الحالة، بتعريفه على أنه حجم أصغر مجموعة فرعية من الرؤوس التي يؤدي حذفها إما إلى رسم بياني منفصل أو رأس واحد. بالنسبة لهذا التباين، يكون اتصال الرسم البياني الكامليكون[ 2 ]
التعريف المكافئ هو أن الرسم البياني الذي يحتوي على رأسين على الأقل يكون متصلاً من الرتبة k إذا كان من الممكن، لكل زوج من رؤوسه، إيجاد k مسارًا مستقلاً عن الرؤوس يربط بين هذين الرأسين؛ انظر نظرية مينجر ( ديستل 2005 ، ص 55) . ينتج عن هذا التعريف نفس النتيجة، n − 1، لاتصال الرسم البياني الكامل K n . [ 1 ]
الرسم البياني المتصل من الدرجة k هو رسم بياني متصل بحكم التعريف ؛ ويسمى ثنائي الاتصال عندما يكون k ≥ 2 وثلاثي الاتصال عندما يكون k ≥ 3.
التطبيقات
عناصر
ينقسم كل رسم بياني إلى اتحاد منفصل من مكونات متصلة من الدرجة الأولى . وتنقسم الرسوم البيانية المتصلة من الدرجة الأولى إلى شجرة من مكونات متصلة من الدرجة الثانية . وتنقسم الرسوم البيانية المتصلة من الدرجة الثانية إلى شجرة من مكونات متصلة من الدرجة الثالثة .
التوافقية متعددة الأوجه
يشكل الهيكل العظمي أحادي البعد لأي متعدد سطوح محدب ذي k بُعد رسمًا بيانيًا متصلًا بـ k رأسًا ( نظرية بالينسكي ). [ 3 ] وكنتيجة جزئية، تنص نظرية شتاينيتز على أن أي رسم بياني مستوٍ متصل بـ 3 رؤوس يشكل الهيكل العظمي لمتعدد سطوح محدب .
التعقيد الحسابي
يمكن حساب اتصال الرؤوس في الرسم البياني المدخل G في وقت متعدد الحدود بالطريقة التالية [ 4 ] : ضع في اعتبارك جميع الأزواج الممكنةلفصل العقد غير المتجاورة، باستخدام نظرية مينجر لتبرير أن الفاصل ذو الحجم الأدنى لـيمثل عدد المسارات المستقلة عن الرؤوس بينهما، ويتم ترميز المدخلات عن طريق مضاعفة كل رأس كحافة لتقليلها إلى حساب عدد المسارات المستقلة عن الحواف، ويتم حساب الحد الأقصى لعدد هذه المسارات عن طريق حساب الحد الأقصى للتدفق في الرسم البياني بينهماوبسعة 1 لكل حافة، مع ملاحظة أن تدفقيتوافق هذا الرسم البياني، وفقًا لنظرية التدفق التكاملي ، معالمسارات المستقلة عن الحواف منل.
ملكيات
ليكن k≥2 .
- كلرسم بياني متصل من الرتبة على الأقليحتوي على دورة طولها على الأقل
- فيالرسم البياني المتصل، أيالرؤوس فيتقع على دورة مشتركة . [ 5 ]
مساحة الدورة لـيتم توليد الرسم البياني المتصل بواسطة دوراته المستحثة غير المنفصلة . [ 6 ]
الرسم البياني المرتبط بـ k
رسم بياني يحتوي على الأقليُطلق على الرؤوس اسم-مرتبط إذا كان هناكمسارات منفصلة لأي تسلسلات ولرؤوس مميزة. كلالرسم البياني المرتبط هوالرسم البياني المتصل، ولكن ليس بالضرورة-متصل. [ 7 ]
إذا كان الرسم البياني-متصل ولديه درجة متوسطة لا تقل عنإذن فهومرتبط. [ 8 ]
انظر أيضاً
ملحوظات
- 1 2 شريفر (12 فبراير 2003)، التحسين التوافقي ، سبرينغر، ISBN 9783540443896
- ↑ بينيك، لويل دبليو .؛ باغا، جاي إس. (2021)، الرسوم البيانية الخطية والرسوم البيانية الخطية الموجهة ، التطورات في الرياضيات، المجلد 68، سبرينغر نيتشر، ص 87، ISBN 9783030813864
- ↑ بالينسكي، إم إل (1961)، "حول بنية الرسم البياني للمجسمات المحدبة في الفضاء ذي البعد n "، مجلة المحيط الهادئ للرياضيات ، 11 (2): 431-434 ، doi : 10.2140/pjm.1961.11.431.
- ↑ دليل تصميم الخوارزميات ، صفحة 506، والرياضيات المنفصلة الحسابية: التوافقية ونظرية الرسم البياني باستخدام Mathematica ، صفحة 290-291
- ↑ ديستل (2016) ، ص 84
- ↑ ديستل (2012) ، ص 65.
- ↑ ديستل (2016) ، ص 85
- ↑ ديستل (2016) ، ص 75
مراجع
- ديستيل، راينهارد (2005)، نظرية الرسم البياني ( الطبعة الثالثة)، برلين، نيويورك: Springer-Verlag، ISBN 978-3-540-26183-4
- ديستل، راينهارد (2012)، نظرية الرسم البياني (الطبعة الإلكترونية الرابعة المصححة ).
- ديستيل، راينهارد (2016)، نظرية الرسم البياني ( الطبعة الخامسة)، برلين، نيويورك: Springer-Verlag، ISBN 978-3-662-53621-6
- اتصال الرسم البياني
- عائلات الرسوم البيانية
