اتصال الرؤوس

الرسم البياني ذو الاتصال 4 وليس 5: يظل الرسم البياني متصلاً بغض النظر عن إزالة 3 رؤوس، ولكن إزالة جميع الرؤوس المتقابلة باستثناء رأسين (أي إزالة 4) يترك رسمًا بيانيًا غير متصل.

في نظرية الرسم البياني ، يقال إن الرسم البياني المتصل G هو k -vertex-connected (أو k -connected ) إذا كان يحتوي على أكثر من k رأسًا ويظل متصلًا كلما تمت إزالة أقل من k رأسًا.

إن اتصال الرؤوس ، أو الاتصال فقط ، للرسم البياني هو أكبر قيمة k التي يكون عندها الرسم البياني متصلاً بـ k رأسًا.

التعريفات

تتمتع الرسوم البيانية (باستثناء الرسوم البيانية الكاملة ) باتصال k إذا كان k هو حجم أصغر مجموعة فرعية من الرؤوس التي يؤدي حذفها إلى فصل الرسم البياني. [ 1 ] في الرسوم البيانية الكاملة ، لا توجد مجموعة فرعية يؤدي حذفها إلى فصل الرسم البياني. تُعدّل بعض المصادر تعريف الاتصال للتعامل مع هذه الحالة، بتعريفه على أنه حجم أصغر مجموعة فرعية من الرؤوس التي يؤدي حذفها إما إلى رسم بياني منفصل أو رأس واحد. بالنسبة لهذا التباين، يكون اتصال الرسم البياني الكاملكن{\displaystyle K_{n}}يكونن-1{\displaystyle n-1}[ 2 ]

التعريف المكافئ هو أن الرسم البياني الذي يحتوي على رأسين على الأقل يكون متصلاً من الرتبة k إذا كان من الممكن، لكل زوج من رؤوسه، إيجاد k مسارًا مستقلاً عن الرؤوس يربط بين هذين الرأسين؛ انظر نظرية مينجر ( ديستل 2005 ، ص 55) . ينتج عن هذا التعريف نفس النتيجة، n 1، لاتصال الرسم البياني الكامل K n . [ 1 ]   

الرسم البياني المتصل من الدرجة k هو رسم بياني متصل بحكم التعريف ؛ ويسمى ثنائي الاتصال عندما يكون k ≥ 2 وثلاثي الاتصال عندما يكون k ≥ 3.

التطبيقات

عناصر

ينقسم كل رسم بياني إلى اتحاد منفصل من مكونات متصلة من الدرجة الأولى . وتنقسم الرسوم البيانية المتصلة من الدرجة الأولى إلى شجرة من مكونات متصلة من الدرجة الثانية . وتنقسم الرسوم البيانية المتصلة من الدرجة الثانية إلى شجرة من مكونات متصلة من الدرجة الثالثة .

التوافقية متعددة الأوجه

يشكل الهيكل العظمي أحادي البعد لأي متعدد سطوح محدب ذي k بُعد رسمًا بيانيًا متصلًا بـ k رأسًا ( نظرية بالينسكي ). [ 3 ] وكنتيجة جزئية، تنص نظرية شتاينيتز على أن أي رسم بياني مستوٍ متصل بـ 3 رؤوس يشكل الهيكل العظمي لمتعدد سطوح محدب .

التعقيد الحسابي

يمكن حساب اتصال الرؤوس في الرسم البياني المدخل G في وقت متعدد الحدود بالطريقة التالية [ 4 ] : ​​ضع في اعتبارك جميع الأزواج الممكنة(s،ت){\displaystyle (s,t)}لفصل العقد غير المتجاورة، باستخدام نظرية مينجر لتبرير أن الفاصل ذو الحجم الأدنى لـ(s،ت){\displaystyle (s,t)}يمثل عدد المسارات المستقلة عن الرؤوس بينهما، ويتم ترميز المدخلات عن طريق مضاعفة كل رأس كحافة لتقليلها إلى حساب عدد المسارات المستقلة عن الحواف، ويتم حساب الحد الأقصى لعدد هذه المسارات عن طريق حساب الحد الأقصى للتدفق في الرسم البياني بينهماs{\displaystyle s}وت{\displaystyle t}بسعة 1 لكل حافة، مع ملاحظة أن تدفقك{\displaystyle k}يتوافق هذا الرسم البياني، وفقًا لنظرية التدفق التكاملي ، معك{\displaystyle k}المسارات المستقلة عن الحواف منs{\displaystyle s}لت{\displaystyle t}.

ملكيات

ليكن k≥2 .

  • كلك{\displaystyle k}رسم بياني متصل من الرتبة على الأقل2ك{\displaystyle 2k}يحتوي على دورة طولها على الأقل2ك{\displaystyle 2k}
  • فيك{\displaystyle k}الرسم البياني المتصل، أيك{\displaystyle k}الرؤوس فيجي{\displaystyle G}تقع على دورة مشتركة . [ 5 ]

مساحة الدورة لـ3{\displaystyle 3}يتم توليد الرسم البياني المتصل بواسطة دوراته المستحثة غير المنفصلة . [ 6 ]

الرسم البياني المرتبط بـ k

رسم بياني يحتوي على الأقل2ك{\displaystyle 2k}يُطلق على الرؤوس اسمك{\displaystyle k}-مرتبط إذا كان هناكك{\displaystyle k}مسارات منفصلة لأي تسلسلات أ1،...،أك{\displaystyle a_{1},\dots ,a_{k}}وب1،...،بك{\displaystyle b_{1},\dots ,b_{k}}ل2ك{\displaystyle 2k}رؤوس مميزة. كلك{\displaystyle k}الرسم البياني المرتبط هو(2ك-1){\displaystyle (2k-1)}الرسم البياني المتصل، ولكن ليس بالضرورة2ك{\displaystyle 2k}-متصل. [ 7 ]

إذا كان الرسم البياني2ك{\displaystyle 2k}-متصل ولديه درجة متوسطة لا تقل عن16ك{\displaystyle 16k}إذن فهوك{\displaystyle k}مرتبط. [ 8 ]

انظر أيضاً

ملحوظات

  1. 1 2 شريفر (12 فبراير 2003)، التحسين التوافقي ، سبرينغر، ISBN 9783540443896
  2. بينيك، لويل دبليو .؛ باغا، جاي إس. (2021)، الرسوم البيانية الخطية والرسوم البيانية الخطية الموجهة ، التطورات في الرياضيات، المجلد 68، سبرينغر نيتشر، ص 87، ISBN   9783030813864
  3. بالينسكي، إم إل (1961)، "حول بنية الرسم البياني للمجسمات المحدبة في الفضاء ذي البعد nمجلة المحيط الهادئ للرياضيات ، 11 (2): 431-434 ، doi : 10.2140/pjm.1961.11.431.
  4. دليل تصميم الخوارزميات ، صفحة 506، والرياضيات المنفصلة الحسابية: التوافقية ونظرية الرسم البياني باستخدام Mathematica ، صفحة 290-291
  5. ديستل (2016) ، ص 84
  6. ديستل (2012) ، ص 65.
  7. ديستل (2016) ، ص 85
  8. ديستل (2016) ، ص 75

مراجع