مخطط مستوي
في المخططات، المخطط المستوي هو المخطط الذي يقبل تمثيلا في المستوى، بحيث لا يتقاطع أي حرفين من المخطط.
معايير المخطط المستوي
حسب Kuratowski يكون المخطط مستويا إذا لم يتضمن زمرة من الرتبة 5، أو مخطط ثنائي كامل من الرتبة 3 (انظر الصور).
- Graphe K32C3.png
مخطط ثنائي كامل من الرتبة 3
وجوه مخطط مستوي
ليكن G مخطط مستوي، الوجه F هو أكبر منطقة من المستوى محددة بمجموعة حروف G ولا تتضمن أيا منها.
ليكن G مخطط مستوي، و a عدد حروف G. إذن :
صيغة أولير
تعاريف
- المسار ذو الطول r هو سلسلة من القمم المرتبطة مع أصل السبيل و طرفه.
- يكون المخطط متصلا إذا وُجد مسار بين كل قمتين من G.
- المسار المغلق هو حالة .
- الشجرة هي مخطط متصل بدون أي مسار مغلق.
تمهيدة
كل مخطط متصل يمكن الحصول عليه بإضافة عدة قمم لشجرة (لها نفس عدد القمم).
صيغة أولير للمخططات المستوية المتصلة
ليكن G مخطط مستوي متصل. ليكن n عدد قمم a, G عدد حروفه و f عدد وجوهه. إذن: n − a + f = 2
المعايير
تحديد المعايير التي تمكن من معرفة ان كان مخطط ما مستويا. ليكن G مخطط مستوي متصل. ليكن n عدد قمم a, G عدد حروفه:
- في حالة وجود مثلثات.
- في حالة عدم وجود مثلثات.
مميزة Kuratowski
الرياضي البولوني كورتاوسكي وضع الميزة التالية للمخططات المستوية :
- يكون المخطط مستويا إذا وفقط إذا لم يتضمن مخططا جزئيا عبارة عن تمديد ل K5 (زمرة ب 5 قمم) أو K3,3 (المخطط ثنائي كامل ب3+3 رؤوس).
'التمديد بالنسبة لمخطط هو نتيجة إضافة قمة أو أكثر لحرف أو عدة حروف (مثلا, تحويل الحرف•——• إلى •—•—•).
وصلات خارجية
- Edge Addition Planarity Algorithm Source Code — Free C source code for reference implementation of Boyer-Myrvold planarity algorithm, which provides both a combinatorial planar embedder and Kuratowski subgraph isolator.
- Public Implementation of a Graph Algorithm Library and Editor — GPL graph algorithm library including planarity testing, planarity embedder and Kuratowski subgraph exhibition in linear time.
- 3 Utilities Puzzle and Planar Graphs
- Planarity — A puzzle game created by John Tantalo.
- Mindgames nTangle Freeware nTangle puzzle program with 20,000 puzzles