الرسم البياني المكعب الفائق
في نظرية الرسم البياني ، الرسم البياني المكعب الفائقهو الرسم البياني للحواف لـالمكعب الفائق ذو الأبعاد n ، أي أنه الرسم البياني المُشكَّل من رؤوس وحواف المكعب الفائق. على سبيل المثال، الرسم البياني للمكعبهو الرسم البياني الذي يتكون من 8 رؤوس و 12 حافة لمكعب ثلاثي الأبعاد. لديهالرؤوس ،وهو رسم بياني منتظم ذو حوافحواف تلامس كل رأس.
الرسم البياني المكعب الفائقيمكن أيضًا إنشاء ذلك عن طريق إنشاء رأس لكل مجموعة فرعية منمجموعة من n عنصر، مع وجود رأسين متجاورين عندما تختلف مجموعاتهما الفرعية في عنصر واحد، أو عن طريق إنشاء رأس لكلعدد ثنائي مكون من خانات ، حيث تكون رأسيهما متجاورتين عندما يختلف تمثيلهما الثنائي في خانة واحدة. وهوحاصل الضرب الديكارتي ذو الرتبة n للرسم البياني الكامل ذي الرأسين ، ويمكن تقسيمه إلى نسختين منمتصلين ببعضهم البعض بتطابق تام .
لا ينبغي الخلط بين الرسوم البيانية المكعبة الفائقة والرسوم البيانية المكعبة ، وهي رسوم بيانية لها ثلاثة حواف فقط تلامس كل رأس. الرسم البياني المكعب الفائق الوحيدهذا رسم بياني مكعب، وهو الرسم البياني المكعب.
بناء

الرسم البياني المكعب الفائقيمكن إنشاء مجموعة من عائلة المجموعات الجزئية لمجموعة تحتوي علىيمكن إنشاء العناصر عن طريق إنشاء رأس لكل مجموعة جزئية ممكنة وربط رأسين بحافة عندما تختلف المجموعات الجزئية المتناظرة في عنصر واحد. وبالمثل، يمكن إنشاؤها باستخدامالرؤوس الموسومة بـالأعداد الثنائية ذات n بت ، وربط رأسين بحافة عندما تكون مسافة هامينغ بين تسمياتهما تساوي واحدًا. هذان التركيبان مرتبطان ارتباطًا وثيقًا: يمكن تفسير العدد الثنائي على أنه مجموعة (مجموعة المواضع التي يحتوي فيها على رقم غير صفري)، وتختلف مجموعتان من هذا النوع في عنصر واحد فقط عندما تكون مسافة هامينغ بين العددين الثنائيين المتناظرين تساوي واحدًا.
بدلاً عن ذلك،يمكن بناؤها من اتحاد منفصل لمكعبين فائقين، وذلك بإضافة حافة من كل رأس في نسخة واحدة منإلى الرأس المقابل في النسخة الأخرى، كما هو موضح في الشكل. تشكل الحواف المتصلة تطابقًا تامًا .
يُقدّم البناء المذكور أعلاه خوارزمية تكرارية لإنشاء مصفوفة التجاور لمكعب فائق،يتم النسخ عبر منتج Kroneckerبحيث تكون النسختان منيحتوي على مصفوفة تجاور،أينهومصفوفة الوحدة . في الوقت نفسه، تحتوي الحواف المتصلة على مصفوفة تجاور.. مجموع هذين الحدين يعطي دالة تكرارية لمصفوفة التجاور لمكعب فائق: بناء آخر لـهو حاصل الضرب الديكارتي لـ الرسوم البيانية الكاملة ذات الرأسين. بشكل عام، يُطلق على حاصل الضرب الديكارتي لنسخ من رسم بياني كامل اسم رسم بياني هامينغ ؛ وتُعد الرسوم البيانية المكعبة الفائقة أمثلة على رسوم بيانية هامينغ.
أمثلة
الرسم البيانييتكون من رأس واحد، بينماهو الرسم البياني الكامل على رأسين.
هي دورة طولها 4.
الرسم البيانيهو الهيكل العظمي للمكعب وهو رسم بياني مستوٍ بثمانية رؤوس واثني عشر ضلعًا .
الرسم البيانيهو رسم ليفي لتكوين موبيوس . وهو أيضًا رسم الفارس لتكوين حلقيرقعة الشطرنج . [ 1 ]
ملكيات
الثنائية
كل رسم بياني للمكعب الفائق ثنائي الأجزاء : يمكن تلوينه بلونين فقط. يمكن إيجاد هذين اللونين من خلال بناء المجموعات الجزئية للرسوم البيانية للمكعب الفائق، وذلك بإعطاء لون للمجموعات الجزئية التي تحتوي على عدد زوجي من العناصر، ولون آخر للمجموعات الجزئية التي تحتوي على عدد فردي من العناصر.
الهاميلتونية

كل مكعب فائقمعيحتوي على دورة هاميلتونية ، وهي دورة تزور كل رأس مرة واحدة فقط. بالإضافة إلى ذلك، يوجد مسار هاميلتوني بين رأسين.وإذا وفقط إذا كان لهما لونان مختلفان في تلوين ثنائي للرسم البياني. يسهل إثبات هاتين الحقيقتين باستخدام مبدأ الاستقراء على بُعد المكعب الفائق، وبناء الرسم البياني للمكعب الفائق عن طريق ضم مكعبين فائقين أصغر حجماً بتطابق.
ترتبط خاصية الهاميلتونية للمكعب الفائق ارتباطًا وثيقًا بنظرية رموز غراي . وبشكل أدق، هناك تطابق تقابلي بين مجموعةرموز غراي الدورية ذات البتات ومجموعة دورات هاميلتون في المكعب الفائق[ 2 ] تنطبق خاصية مماثلة على اللادوريةرموز غراي ذات البتات ومسارات هاميلتونية.
من الحقائق الأقل شهرة أن كل تطابق تام في المكعب الفائق يمتد إلى دورة هاميلتونية. [ 3 ] ولا يزال السؤال عما إذا كان كل تطابق يمتد إلى دورة هاميلتونية مسألة مفتوحة. [ 4 ]
خصائص أخرى
الرسم البياني المكعب الفائق(ل) :
- هو مخطط هاس لجبر بولياني محدود .
- هو رسم بياني وسيط . كل رسم بياني وسيط هو رسم بياني فرعي متساوي القياس لمكعب فائق ، ويمكن تشكيله كانكماش لمكعب فائق.
- لديه أكثر منالتوافقات التامة. (هذه نتيجة أخرى تتبع بسهولة من البناء الاستقرائي.)
- تتميز هذه الرسوم البيانية بأنها متعدية ومتناظرة . ويمكن تمثيل تناظرات الرسوم البيانية المكعبة الفائقة على شكل تباديل موقعة .
- يحتوي على جميع الدورات ذات الطولوبالتالي فهو رسم بياني ثنائي الدورة .
- يمكن رسمها كرسم بياني للمسافة الوحدوية في المستوى الإقليدي باستخدام بناء الرسم البياني للمكعب الفائق من مجموعات جزئية من مجموعةيتم اختيار عناصر المجموعة، واختيار متجه وحدة مميز لكل عنصر من عناصر المجموعة، ووضع الرأس المقابل للمجموعة.عند مجموع المتجهات في.
- هو رسم بياني متصل بـ n رأس ، وفقًا لنظرية بالينسكي .
- يكون مستوياً (يمكن رسمه بدون تقاطعات) إذا وفقط إذا. بالنسبة للقيم الأكبر من، للمكعب الفائق جنس[ 5 ] [ 6 ]
- يحتوي بالضبطالأشجار الممتدة . [ 6 ]
- يمتلك عرض نطاق ترددي بالضبط[ 7 ]
- له عدد لا لوني يتناسب معلكن ثابت التناسب غير معروف بدقة. [ 8 ]
- تحتوي مصفوفة التجاور الخاصة بها على الأرقاموالأرقام هي القيم الذاتية لمصفوفة لابلاس الخاصة بها.. الللقيمة الذاتية تعدديةفي كلتا الحالتين.
- له عدد متساوي المحيط.
العائلةللجميعهي عائلة ليفي من الرسوم البيانية .
مشاكل

تُعرف مشكلة إيجاد أطول مسار أو دورة تمثل رسمًا بيانيًا فرعيًا مستحثًا لرسم بياني مكعب فائق معين باسم مشكلة الثعبان في الصندوق .
تتعلق فرضية شيمانسكي بمدى ملاءمة المكعب الفائق كبنية شبكية للاتصالات. وتنص على أنه بغض النظر عن كيفية اختيار التبديل الذي يربط كل رأس من رؤوس المكعب الفائق برأس آخر يُراد ربطه به، فإنه توجد دائمًا طريقة لربط أزواج الرؤوس هذه بمسارات لا تشترك في أي حافة موجهة. [ 9 ]
انظر أيضاً
ملحوظات
- ↑ واتكينز، جون ج. (2004)، عبر اللوحة: رياضيات مسائل رقعة الشطرنج ، مطبعة جامعة برينستون، ص 68، ISBN 978-0-691-15498-5.
- ↑ ميلز، دبليو إتش (1963)، "بعض الدورات الكاملة على المكعب ذي البعد n "، وقائع الجمعية الرياضية الأمريكية ، 14 (4)، الجمعية الرياضية الأمريكية: 640-643 ، doi : 10.2307/2034292 ، JSTOR 2034292 .
- ↑ فينك، ج. (2007)، "التطابقات المثالية تمتد إلى دورات هاميلتونية في المكعبات الفائقة"، مجلة نظرية التوافيق، السلسلة ب ، 97 (6): 1074-1076 ، doi : 10.1016/j.jctb.2007.02.007.
- ↑ روسكي، ف. وسافاج، ج. تمتد المطابقات إلى دورات هاميلتونية في المكعبات الفائقة على Open Problem Garden. 2007.
- ^ Ringel، G. (1955)، “Über drei kombinatorischeإشكالية am n - Dimensionen Wiirfel und Wiirfelgitter”، Abh. الرياضيات. سيم. جامعة. هامبورغ ، 20 : 10-19 ، م.ر 0949280
- 1 2 هاراري، فرانك ؛ هايز، جون ب.؛ وو، هورنغ-جيه (1988)، "مسح لنظرية الرسوم البيانية المكعبة الفائقة" (ملف PDF) ، الحوسبة والرياضيات مع التطبيقات ، 15 (4): 277-289 ، doi : 10.1016/0898-1221(88)90213-1 ، hdl : 2027.42/27522 ، MR 0949280 .
- ↑ الترقيم الأمثل ومسائل المحيط المتساوي على الرسوم البيانية، إل إتش هاربر، مجلة نظرية التوافيق ، 1، 385-393 ، doi : 10.1016 /S0021-9800(66)80059-5
- ↑ رويشمان، ي. (2000)، "حول العدد اللوني للمكعبات الفائقة"، مجلة نظرية التوافيق، السلسلة ب ، 79 (2): 177-182 ، doi : 10.1006/jctb.2000.1955.
- ↑ شيمانسكي، تيد هـ. (1989)، "حول إمكانية التبديل لمكعب فائق ذي تبديل الدوائر"، وقائع المؤتمر الدولي للمعالجة المتوازية ، المجلد 1، سيلفر سبرينغ، ماريلاند: مطبعة جمعية مهندسي الكهرباء والإلكترونيات، الصفحات 103-110 .
مراجع
- هاراري، ف .؛ هايز، ج.ب.؛ وو، هـ.-ج. (1988)، "دراسة استقصائية لنظرية الرسوم البيانية المكعبة الفائقة"، الحوسبة والرياضيات مع التطبيقات ، 15 (4): 277-289 ، doi : 10.1016/0898-1221(88)90213-1 ، hdl : 2027.42/27522.
- عائلات الرسوم البيانية البارامترية
- الرسوم البيانية المنتظمة
