الرسم البياني المكعب الفائق

في نظرية الرسم البياني ، الرسم البياني المكعب الفائقسؤالن{\displaystyle Q_{n}}هو الرسم البياني للحواف لـن{\displaystyle n}المكعب الفائق ذو الأبعاد n ، أي أنه الرسم البياني المُشكَّل من رؤوس وحواف المكعب الفائق. على سبيل المثال، الرسم البياني للمكعبسؤال3{\displaystyle Q_{3}}هو الرسم البياني الذي يتكون من 8 رؤوس و 12 حافة لمكعب ثلاثي الأبعاد. سؤالن{\displaystyle Q_{n}}لديه2ن{\displaystyle 2^{n}}الرؤوس ،2ن-1ن{\displaystyle 2^{n-1}n}وهو رسم بياني منتظم ذو حوافن{\displaystyle n}حواف تلامس كل رأس.

الرسم البياني المكعب الفائقسؤالن{\displaystyle Q_{n}}يمكن أيضًا إنشاء ذلك عن طريق إنشاء رأس لكل مجموعة فرعية منن{\displaystyle n}مجموعة من n عنصر، مع وجود رأسين متجاورين عندما تختلف مجموعاتهما الفرعية في عنصر واحد، أو عن طريق إنشاء رأس لكلن{\displaystyle n}عدد ثنائي مكون من خانات ، حيث تكون رأسيهما متجاورتين عندما يختلف تمثيلهما الثنائي في خانة واحدة. وهون{\displaystyle n}حاصل الضرب الديكارتي ذو الرتبة n للرسم البياني الكامل ذي الرأسين ، ويمكن تقسيمه إلى نسختين منسؤالن-1{\displaystyle Q_{n-1}}متصلين ببعضهم البعض بتطابق تام .

لا ينبغي الخلط بين الرسوم البيانية المكعبة الفائقة والرسوم البيانية المكعبة ، وهي رسوم بيانية لها ثلاثة حواف فقط تلامس كل رأس. الرسم البياني المكعب الفائق الوحيدسؤالن{\displaystyle Q_{n}}هذا رسم بياني مكعب، وهو الرسم البياني المكعبسؤال3{\displaystyle Q_{3}}.

بناء

إنشاء Q 3 عن طريق توصيل أزواج الرؤوس المتناظرة في نسختين من Q 2

الرسم البياني المكعب الفائقسؤالن{\displaystyle Q_{n}}يمكن إنشاء مجموعة من عائلة المجموعات الجزئية لمجموعة تحتوي علىن{\displaystyle n}يمكن إنشاء العناصر عن طريق إنشاء رأس لكل مجموعة جزئية ممكنة وربط رأسين بحافة عندما تختلف المجموعات الجزئية المتناظرة في عنصر واحد. وبالمثل، يمكن إنشاؤها باستخدام2ن{\displaystyle 2^{n}}الرؤوس الموسومة بـن{\displaystyle n}الأعداد الثنائية ذات n بت ، وربط رأسين بحافة عندما تكون مسافة هامينغ بين تسمياتهما تساوي واحدًا. هذان التركيبان مرتبطان ارتباطًا وثيقًا: يمكن تفسير العدد الثنائي على أنه مجموعة (مجموعة المواضع التي يحتوي فيها على رقم غير صفري)، وتختلف مجموعتان من هذا النوع في عنصر واحد فقط عندما تكون مسافة هامينغ بين العددين الثنائيين المتناظرين تساوي واحدًا.

بدلاً عن ذلك،سؤالن{\displaystyle Q_{n}}يمكن بناؤها من اتحاد منفصل لمكعبين فائقينسؤالن-1{\displaystyle Q_{n-1}}، وذلك بإضافة حافة من كل رأس في نسخة واحدة منسؤالن-1{\displaystyle Q_{n-1}}إلى الرأس المقابل في النسخة الأخرى، كما هو موضح في الشكل. تشكل الحواف المتصلة تطابقًا تامًا .

يُقدّم البناء المذكور أعلاه خوارزمية تكرارية لإنشاء مصفوفة التجاور لمكعب فائق،أن{\displaystyle A_{n}}يتم النسخ عبر منتج Kroneckerك{\displaystyle \otimes _{K}}بحيث تكون النسختان منسؤالن-1{\displaystyle Q_{n-1}}يحتوي على مصفوفة تجاور12كأن-1{\displaystyle \mathrm {1} _{2}\otimes _{K}A_{n-1}}،أين1د{\displaystyle 1_{d}}هود×د{\displaystyle d\times d}مصفوفة الوحدة . في الوقت نفسه، تحتوي الحواف المتصلة على مصفوفة تجاور.أ1ك12ن-1{\displaystyle A_{1}\otimes _{K}1_{2^{n-1}}}. مجموع هذين الحدين يعطي دالة تكرارية لمصفوفة التجاور لمكعب فائق:أن={12كأن-1+أ1ك12ن-1لو ن>1[0110]لو ن=1{\displaystyle A_{n}={\begin{cases}1_{2}\otimes _{K}A_{n-1}+A_{1}\otimes _{K}1_{2^{n-1}}&{\text{إذا كان }}n>1\\{\begin{bmatrix}0&1\\1&0\end{bmatrix}}&{\text{إذا كان }}n=1\end{cases}}} بناء آخر لـسؤالن{\displaystyle Q_{n}}هو حاصل الضرب الديكارتي لـن{\displaystyle n} الرسوم البيانية الكاملة ذات الرأسينك2{\displaystyle K_{2}}. بشكل عام، يُطلق على حاصل الضرب الديكارتي لنسخ من رسم بياني كامل اسم رسم بياني هامينغ ؛ وتُعد الرسوم البيانية المكعبة الفائقة أمثلة على رسوم بيانية هامينغ.

أمثلة

الرسم البيانيسؤال0{\displaystyle Q_{0}}يتكون من رأس واحد، بينماسؤال1{\displaystyle Q_{1}}هو الرسم البياني الكامل على رأسين.

سؤال2{\displaystyle Q_{2}}هي دورة طولها 4.

الرسم البيانيسؤال3{\displaystyle Q_{3}}هو الهيكل العظمي للمكعب وهو رسم بياني مستوٍ بثمانية رؤوس واثني عشر ضلعًا .

الرسم البيانيسؤال4{\displaystyle Q_{4}}هو رسم ليفي لتكوين موبيوس . وهو أيضًا رسم الفارس لتكوين حلقي4×4{\displaystyle 4\times 4}رقعة الشطرنج . [ 1 ]

ملكيات

الثنائية

كل رسم بياني للمكعب الفائق ثنائي الأجزاء : يمكن تلوينه بلونين فقط. يمكن إيجاد هذين اللونين من خلال بناء المجموعات الجزئية للرسوم البيانية للمكعب الفائق، وذلك بإعطاء لون للمجموعات الجزئية التي تحتوي على عدد زوجي من العناصر، ولون آخر للمجموعات الجزئية التي تحتوي على عدد فردي من العناصر.

الهاميلتونية

دورة هاميلتونية على مكعب رباعي الأبعاد برؤوس مُعَلَّمة برمز غراي دوري مكون من 4 بتات

كل مكعب فائقسؤالن{\displaystyle Q_{n}}معن>1{\displaystyle n>1}يحتوي على دورة هاميلتونية ، وهي دورة تزور كل رأس مرة واحدة فقط. بالإضافة إلى ذلك، يوجد مسار هاميلتوني بين رأسين.u{\displaystyle u}وv{\displaystyle v}إذا وفقط إذا كان لهما لونان مختلفان في تلوين ثنائي للرسم البياني. يسهل إثبات هاتين الحقيقتين باستخدام مبدأ الاستقراء على بُعد المكعب الفائق، وبناء الرسم البياني للمكعب الفائق عن طريق ضم مكعبين فائقين أصغر حجماً بتطابق.

ترتبط خاصية الهاميلتونية للمكعب الفائق ارتباطًا وثيقًا بنظرية رموز غراي . وبشكل أدق، هناك تطابق تقابلي بين مجموعةن{\displaystyle n}رموز غراي الدورية ذات البتات ومجموعة دورات هاميلتون في المكعب الفائقسؤالن{\displaystyle Q_{n}}[ 2 ] تنطبق خاصية مماثلة على اللادوريةن{\displaystyle n}رموز غراي ذات البتات ومسارات هاميلتونية.

من الحقائق الأقل شهرة أن كل تطابق تام في المكعب الفائق يمتد إلى دورة هاميلتونية. [ 3 ] ولا يزال السؤال عما إذا كان كل تطابق يمتد إلى دورة هاميلتونية مسألة مفتوحة. [ 4 ]

خصائص أخرى

الرسم البياني المكعب الفائقسؤالن{\displaystyle Q_{n}}ن>1{\displaystyle n>1})  :

العائلةسؤالن{\displaystyle Q_{n}}للجميعن>1{\displaystyle n>1}هي عائلة ليفي من الرسوم البيانية .

مشاكل

أقصى أطوال الثعابين ( L s ) والملفات ( L c ) في مسألة الثعابين في الصندوق للأبعاد n من 1 إلى 4

تُعرف مشكلة إيجاد أطول مسار أو دورة تمثل رسمًا بيانيًا فرعيًا مستحثًا لرسم بياني مكعب فائق معين باسم مشكلة الثعبان في الصندوق .

تتعلق فرضية شيمانسكي بمدى ملاءمة المكعب الفائق كبنية شبكية للاتصالات. وتنص على أنه بغض النظر عن كيفية اختيار التبديل الذي يربط كل رأس من رؤوس المكعب الفائق برأس آخر يُراد ربطه به، فإنه توجد دائمًا طريقة لربط أزواج الرؤوس هذه بمسارات لا تشترك في أي حافة موجهة. [ 9 ]

انظر أيضاً

ملحوظات

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

مراجع