رسم بياني ممتلئ للغاية

هذا الرسم البياني مكتظ لأن حجمه أكبر من حاصل ضرب أعلى درجة له ​​في عدد رؤوس الرسم البياني (رتبته ) مقسومًا على 2 ومقربًا إلى أقرب عدد صحيح أصغر. في هذه الحالة، 22>{\displaystyle >}20.
مشكلة لم تُحل في الرياضيات
الفرضية: رسم بياني G معΔ(جي)>ن/3{\displaystyle \Del (G)>n/3}تكون الفئة 2 إذا وفقط إذا كان لها رسم بياني فرعي ممتلئ S بحيثΔ(جي)=Δ(S){\displaystyle \displaystyle \Delta (G)=\Delta (S)}.

في نظرية الرسوم البيانية ، يُعرف الرسم البياني الممتلئ بأنه الرسم البياني الذي يزيد حجمه عن حاصل ضرب درجته القصوى في نصف رتبته بعد تقريبها إلى أقرب عدد صحيح أصغر، أي|هـ|>Δ(جي)|V|/2{\displaystyle |E|>\Delta (G)\lfloor |V|/2\rfloor }أين|هـ|{\displaystyle |E|}حجمها G ،Δ(جي){\displaystyle \displaystyle \Delta (G)}هي الدرجة القصوى لـ G ، و|V|{\displaystyle |V|}هو ترتيب G. ويتبع ذلك مباشرةً مفهوم الرسم البياني الفرعي الممتلئ ، وهو رسم بياني ممتلئ يُعد رسمًا بيانيًا فرعيًا . ويتطلب تعريف بديل وأكثر دقة للرسم البياني الفرعي الممتلئ S من الرسم البياني GΔ(جي)=Δ(S){\displaystyle \displaystyle \Delta (G)=\Delta (S)}.

أمثلة

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

ملكيات

بعض خصائص الرسوم البيانية الممتلئة:

  1. تكون الرسوم البيانية الممتلئة للغاية ذات رتبة غريبة.
  2. الرسوم البيانية الممتلئة هي من الفئة 2. أي أنها تتطلب على الأقل Δ + 1 لونًا في أي تلوين للحواف .
  3. رسم بياني G ، مع رسم بياني فرعي S ممتلئ بشكل زائد بحيثΔ(جي)=Δ(S){\displaystyle \displaystyle \Delta (G)=\Delta (S)}، من الفئة 2.

تخمين مفرط

في عام 1986، طرحت أماندا تشيتويند وأنتوني هيلتون التخمين التالي الذي يُعرف الآن باسم تخمين الامتلاء الزائد . [ 1 ]

رسم بياني G معΔ(جي)>ن/3{\displaystyle \Del (G)>n/3}تكون الفئة 2 إذا وفقط إذا كان لها رسم بياني فرعي ممتلئ S بحيثΔ(جي)=Δ(S){\displaystyle \displaystyle \Delta (G)=\Delta (S)}.

إذا صحت هذه الفرضية، فسيكون لها آثار عديدة في نظرية الرسم البياني، بما في ذلك فرضية التحليل إلى عامل واحد . [ 2 ]

الخوارزميات

بالنسبة للرسوم البيانية التيΔن/3{\displaystyle \Delta \geq n/3}يوجد على الأكثر ثلاثة رسوم بيانية فرعية ممتلئة مستحثة ، ومن الممكن إيجاد رسم بياني فرعي ممتلئ في وقت متعدد الحدود . عندماΔن/2{\displaystyle \Delta \geq n/2}، يوجد على الأكثر رسم بياني فرعي واحد ممتلئ بشكل زائد، ومن الممكن إيجاده في وقت خطي . [ 3 ]

مراجع

  1. تشيتويند، أ.ج.؛ هيلتون، أ.ج.و. (1986)، "الرسوم البيانية النجمية المتعددة بثلاثة رؤوس ذات درجة قصوى" (ملف PDF) ، وقائع الجمعية الفلسفية في كامبريدج ، 100 (2): 303-317 ، رمز Bibcode : 1986MPCPS.100..303C ، doi : 10.1017/S030500410006610X ، MR 0848854 .
  2. تشيتويند، أ.ج.؛ هيلتون، أ.ج.و. (1989)، "تحليل الرسوم البيانية المنتظمة ذات الدرجة العالية إلى عامل واحد - حد محسّن"، الرياضيات المتقطعة ، 75 ( 1-3 ): 103-112 ، doi : 10.1016/0012-365X(89)90082-4 ، MR 1001390 .
  3. نيسن، توماس (2001)، "كيفية إيجاد الرسوم البيانية الفرعية الممتلئة في الرسوم البيانية ذات الدرجة القصوى الكبيرة. الجزء الثاني" ، المجلة الإلكترونية للتوافقية ، 8 (1)، ورقة بحثية 7، MR 1814514 .