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

في حين أن أضلاع الرسم البياني يحتوي على عنصرين فقط من مجموعة الرؤوس، الأضلاع الزائدية هي مجموعات مختارة من الرؤوس، ومن الممكن أن تحتوي على أي عدد من الرؤوس. لكن الغالب يرغب بدراسة الرسوم الزائديه التي كل أضلاعها تحتوي على نفس العدد من الرؤوس. الرسم الزائدي ذو أضلاع موحدة السعة  (k-uniform hypergraph) هو الرسم الزائدي الذي كل ضلع زائدي به  من الرؤوس، أو بمعنى آخر هو الرسم الزائدي الذي أضلاعه الزائدية هي مجموعات بها  من الرؤوس. فبالتالي، الرسم الزائدي ذو اضلاع سعتها 2 هو الرسم البياني المعروف، والرسم الزائدي ذو الاضلاع الموحدة بسعة 3 هو مجموعة من المجموعات الثلاثية، أي بها 3 عناصر. الرسم الزائدي يسمى أيضاً بنظام المجموعة أو عائلة من المجموعات والمستوحاة من مجموعة شاملة.

الرسومات الزائدية يمكن اعتبارها كهياكل الوقوع (incidence structures). وبصورة خاصة، يوجد مخطط وقوع ثنائي التجزئة (incidence graph" or Levi graph ) مقابل كل رسم زائدي. بالمقابل، ليس كل الرسومات البيانية الثنائية التجزئة يمكن اعتبارها كرسومات وقوع لرسومات زائدية.

المخططات الزائدية لها مسميات عديدة. ففي الهندسة الحاسوبية يسمى المخطط الزائدي في بعض الاحيان بـ range space وبالتالي أضلاعه الزائدية تسمى ranges. تسمى الرسوم الزائديه في نظرية اللعب التعاوني بالألعاب البسيطة وينطبق نفس المسمى لحل المشاكل في نظرية الإختيار الإجتماعي. تسمى الأضلاع الزائدية في بعض الدراسات بالروابط الزائدية (hyperlinks) أو موصلات (connectors).

يوجد أنواع خاصة من الرسومات الزائدية والمصنفه حسب سعة الأضلاع الزائديه بها. فمثلا الرسم الزائدي من السعة  كما وضح أعلاه. ورسم زائدي اخر يسمى clutters والذي به كل ضلع زائدي ليس محتوى بأي ضلع زائدي آخر بنفس الرسم الزائدي. بالمقابل، الرسومات الزائديه التي تحتوي على كل المجموعات الجزئية من أي ضلع زائدي بها تسمى بـ abstract simplicial complexes.

مصطلحات

تعاريف

يوجد أنواع مختلفه من الرسوم الزائديه، منها 

 الرسم الزائدي الخالي: والذي لايحتوي على أي ضلع زائدي.
 الرسم الزائدي المتعدد أو الغير بسيط: وهو الرسم الزائدي الذي ممكن ان يحتوي على عروة أو اضلاع مكرره وهو عباره عن ضلعين يحتويان على نفس مجموعة الرؤوس.
 الرسم الزائدي البسيط وهو رسم زائدي لايحتوي على عروات ولا أضلاع مكررة.
 الرسم الزائدي المنتظم ذو الدرجة  (regular hypergraph-): هو رسم زائدي الذي كل كل رأس به له نفس الدرجة  .

يوجد عدة مصطلحات للمصطلح المقابل لـ الرسم الجزئي في الرسم الزائدي لأن أضلاع الرسم الزائدي ممكن أن تحتوي على أي عدد من الرؤوس. من هذه المسميات يعرف بالرسم الزائدي الثانوي (subhypergraphs) والرسم الزائدي الجزئي (partial hypergraphs) و section hypergraphs وسيتم تعرف كل من هذه المصطلحات كما موضح أدناه.

 ليكن  رسم زائدي مكون من الرؤوس ولديه مجموعة الأضلاع

حيث  و  هما مجموعتي الترميز index sets للرؤوس والأضلاع على التوالي.

الرسم الزائدي الثانوي (subhypergraphs) من الرسم الزائدي  هو رسم زائدي مأخوذ من  مع حذف بعض الرؤوس. بصيغة رياضية، الرسم الزائدي الجزئي  المولد بواسطة  معرف كالآتي:

توسعة (extension) الرسم الزائدي الثانوي هو رسم زائدي حيث كل ضلع من  هو محتوى جزئيا بالرسم الزائدي الثانوي  ومحتوى كليا في التوسعة  . رياضيا:

 حيث  و  .

الرسم الزائدي الجزئي هو رسم زائدي من مع حذف بعض الآضلاع الزائديه. بصيغه رياضية، ليكن  مجموعة جزئية من مجموعة ترميز الآضلاع٫ الرسم الزائدي الجزئي المولد بالمجموعة  هو رسم زائدي .

لتكن  مجموعة معطاه، يعرف section hypergraph بآنه رسم زائدي جزئي معرف كالتالي:

.

الرسم الزائدي المزدوج (dual hypergraph)  للرسم الزائدي  هو رسم زائدي مجموعة رؤوسه هي  وآضلاعه معطى بالمجموعة  حيث .

لاحظ آن الرسم الزائدي المزدوج لـ  هو  ٫ آي آن .

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

بدون دورة (Acyclicity) 

يوجد عدة مصطلحات غير متكافئة للرسومات الزائديه بدون دورات ٫ بعكس الرسم الغير موجه والذي به تعريف موحد للدورات وللرسومات بدون دورات.

عرف العالم بيرج (Claude Berge) آول تعريف للرسومات الزائديه بدون دورات: يكون الرسم الزائدي هو رسم خالي من الدورات إذا كان رسم الوقوع المقابل له لايحتوي على أي دورة. هذا التعريف يعتبر محدود جداً٫ فعلى سبيل المثال إذا كان الرسم الزائدي يحتوي على زوج من الرؤوس المختلفة  وزوج من الآضلاع الزائديه المختلفة  بحيث آن  و  فإنه يمكن اختبار انه لايحتوي على دوره بزمن خطي بواسطة رسم الوقوع له.يوجد تعريف آخر المسمى ب α-acyclicity آضعف ومختلف من تعريف بيرج.

يمكن بزمن خطي تحديد ماإذا كان أي رسم زائدي هو α-acyclicity.

التشاكل والمساواة 

تشاكل رسوم زائدي هو داله من مجموعة رؤوس رسم زائدي إلى مجموعة رؤوس رسم زائدي آخر بحيث كل ضلع هو صوره لضلع بالرسم الزائدي المقابل.

الرسم الزائدي  هو تشاكل احادي للرسم الزائدي  ونكتب  إذا كان يوجد تقابل  وتبديله  لـ  بحيث آن  . بالتالي تسمى دالة التقابل  في هذه الحالة بتشاكل احادي للرسومات. لاحظ ان  إذا وفقط إذا كان .

أمثلة 
ليكن لدينا الرسم الزائدي  والذي مجموعة أضلاعه حيث

.والرسم الزائدي  والمعرف بمجموعة أضلاعه  حيث

.

بالتالي فإن الرسمين الزائدين  و  متشاكلان حيث الدالة  معرفه كالتالي:

.

هذين الرسمين متشاكلان لكن ليس تشاكل قوي (strongly isomorphic) لأنه يوجد رأس  في  ينتمي للأضلاع  أي أن 

لكن لايوجد رأس في بحيث ينتمي للأضلاع  لأن .

في هذا المثال الرسمين الزائدين  و  متكافئين ونكتب في هذه الحالة  . أيضا رسومهم المزدوجه متشاكله٫ أي أن .

الرسوم الزائديه المتماثله 

رتبة (rank) رسم زائدي  ويرمز له بالرمز  هو أكبر سعة لآي من اضلاع الرسم الزائدي. يسمى الرسم الزائدي الذي كل ضلع فيه يحتوي على نفس العدد من الرؤوس مساوي للعدد  بالرسم الزائدي الموحد السعه ٫ ويسمى أيضا hypergraph-. بالتالي فإن الرسم هو عباره عن رسم زائدي من السعه  .

درجة الرآس  ويرمز له بالرمز  هي عدد الاضلاع التي تحتوي على هذا الرآس. يسمى الرسم الزائدي بمنتظم من الدرجة  (regular-) إذا كان درجة كل رآس فيه تساوي  .

الرسم الزائدي المزدوج لرسم زائدي موحد السعه هو منتظم والعكس صحيح.

القواطع (Transversals) 

يٍُعرف قاطع رسم زائدي  بالمجموعة  التي تتقاطع مع كل ضلع في  بمجموعه غير خالية من الرؤوس. يطلق على  بآنه القاطع الآصغر إذا كان لايوجد أي مجموعه جزئيه فعليه من وتمثل قاطع. الرسم الزائدي القاطع (transversal hypergraph) للرسم الزائدي هو رسم زائدي  والذي مجموعة آضلاعه  تحتوي على كل القواطع الصغرى لـ .

يوجد تطبيقات لحساب الرسم الزائدي القاطع في امثلة التراكيب وفي نظرية الألعاب وفي عدة فروع من علوم الحاسب على سبيل المثال في التعلم الألي وفهرسة قواعد البيانات وتنقيب البيانات وأمثلية البرمجيات وsatisfiability problem.

مصفوفة الوقوع (Incidence matrix) 
لتكن  مجموعة الرؤوس و  مجموعة الآضلاع الزائديه. كل رسم زائدي له مصفوفة وقوع  من النوع  حيث:

 

يمثل منقول مصفوفة الوقوع  الرسم الزائدي المزدوج  لـ .

مسألة تلوين الرسوم الزائدية (Hypergraph coloring) 

في تلوين الرسم الزائدي التقليدي٫ يتم تعيين لون واحد من ألوان المجموعة لكل رأس بالرسم الزائدي بحيث أن أي ضلع زائدي يحتوي على الأقل رأسين بألوان مختلفه. بمعنى آخر، لايمكن الحصول على ضلع بلون واحد فقط وبه على الأقل رأسين. هذا التعريف هو تعميم مباشر لتلوين الرسومات. يسمى أصغر عدد من الألوان المختلفه والممكن استخدامها بتلوين رسم زائدي يسمى بـ chromatic number للرسم الزائدي.

الرسومات الزائديه التي يوجد بها عالأكثر من الألوان تُلقب بـ k-colorable. الرسومات الزائديه ثنائي التلوين (2-colorable) هي رسوم زائديه ثنائية التجزئة.

يوجد العديد من التعاريف والتي تعمم مسألة تلوين الرسوم الزائديه. أحد هذه التعاريف التي تسمى بمسألة تلوين مختلط للرسم الزائدي (mixed hypergraph coloring) والتي تسمح بوجود أضلاع موحدة اللون. يوجد رسوم زائديه غير قابله للتلوين لأي عدد من الألوان. بمسألة التلوين المختلط وعندما يكون الرسم الزائدي قابل للتلوين فإن أصغر وأكبر عدد مستخدم من الألوان تُعتبر على التوالي حد سفلي وعلوي لـ chromatic number .

التجزئات (Partitions)

نظريات

تمثيل الرسم الزائدي

Hypergraph grammars

تعميمات

تدريس الرسم الزائدي

المزيد

مراجع

ملاحظات 

نظرية المخططات
في الرياضيات ، المخطط الزائدي أو الرسم الزائدي هو تعميم لمفهوم الرسم البياني أو المخطط و الذي كل ضلع في ه يحتوي على عدد من ال رؤوس . بصيغة رياضية ، الرسم الزائدي هو الزوج المرتب حيث هي مجموعة من العناصر التي تسمى رؤوس ، و المجموعة هي مجموعة غير خالي ه جزئيه من\ . عناصر المجموعة تسمى أضلاع زائدي ه أو أضلاع . ب التالي هي مجموعة غير خالي ه من مجموعة القوا ه \ . حجم مجموعة ال رؤوس يسمى رتبة الرسم الزائدي بينما حجم مجموعة الاضلاع يسمى حجم الرسم الزائدي . في حين أن أضلاع الرسم البياني يحتوي على عنصرين فقط من مجموعة ال رؤوس ، الأضلاع الزائدية هي مجموعات مختارة من ال رؤوس ، و من الممكن أن تحتوي على أي عدد من ال رؤوس . لكن الغالب يرغب ب دراسة الرسوم الزائدي ه التي كل أضلاع ها تحتوي على نفس العدد من ال رؤوس . الرسم الزائدي ذو أضلاع موحدة السعة ( k - uniform hypergraph ) هو الرسم الزائدي الذي كل ضلع زائدي ب ه من ال رؤوس ، أو ب معنى آخر هو الرسم الزائدي الذي أضلاع ه الزائدية هي مجموعات ب ها من ال رؤوس . ف ب التالي ، الرسم الزائدي ذو اضلاع سعتهاهو الرسم البياني المعروف ، والرسم الزائدي ذو الاضلاع الموحدة بسعةهو مجموعة من المجموعات الثلاثية ، أي بهاعناصر . الرسم الزائدي يسمى أيضاً ب نظام المجموعة أو عائلة من المجموعات والمستوحاة من مجموعة شاملة . ال رسومات الزائدية يمكن اعتبار ها ك هياكل الوقوع ( incidence structur es ) . و ب صورة خاصة ، يوجد مخطط وقوع ثنائي التجزئة ( incidence graph " or Levi graph ) مقابل كل رسم زائدي . ب المقابل ، ليس كل ال رسومات البيانية الثنائية التجزئة يمكن اعتبار ها ك رسومات وقوع ل رسومات زائدية . المخططات الزائدية ل ها مسميات عديدة . ف في الهندسة الحاسوبية يسمى المخطط الزائدي في بعض الاحيان بـ range space و ب التالي أضلاع ه الزائدية تسمى ranges . تسمى الرسوم الزائدي ه في نظرية اللعب التعاوني بالألعاب البسيطة و ينطبق نفس المسمى ل حل المشاكل في نظرية الإختيار الإجتماعي . تسمى الأضلاع الزائدية في بعض الدراسات بالروابط الزائدية ( hyperlinks ) أو موصلات ( connectors ) . يوجد أنواع خاصة من ال رسومات الزائدية والمصنف ه حسب سعة الأضلاع الزائدي ه ب ها . فمثلا الرسم الزائدي من السعة كما وضح أعلا ه . ورسم زائدي اخر يسمى clutters و الذي ب ه كل ضلع زائدي ليس محتوى ب أي ضلع زائدي آخر ب نفس الرسم الزائدي . ب المقابل ، ال رسومات الزائدي ه التي تحتوي على كل المجموعات الجزئية من أي ضلع زائدي ب ها تسمى بـ abstract simplicial complexes . مصطلحات تعاريف يوجد أنواع مختلف ه من الرسوم الزائدي ه ، من ها الرسم الزائدي الخالي : و الذي لا يحتوي على أي ضلع زائدي . الرسم الزائدي المتعدد أو الغير بسيط : و هو الرسم الزائدي الذي ممكن ان يحتوي على عروة أو اضلاع مكرر ه و هو عبار ه عن ضلعين يحتويان على نفس مجموعة ال رؤوس . الرسم الزائدي البسيط و هو رسم زائدي لا يحتوي على عروات و لا أضلاع مكررة . الرسم الزائدي المنتظم ذو الدرجة ( regular hypergraph - ) : هو رسم زائدي الذي كل كل رأس ب ه ل ه نفس الدرجة \ . يوجد عدة مصطلحات للمصطلح المقابل لـ الرسم الجزئي في الرسم الزائدي لأن أضلاع الرسم الزائدي ممكن أن تحتوي على أي عدد من ال رؤوس . من هذه المسميات يعرف بالرسم الزائدي الثانوي ( subhypergr aphs ) والرسم الزائدي الجزئي ( partial hypergr aphs ) و section hypergr aphs و س يتم تعرف كل من هذه المصطلحات كما موضح أدنا ه . ليكن رسم زائدي مكون من ال رؤوس و لدي ه مجموعة الأضلاع حيث و هما مجموعتي الترميز index sets لل رؤوس والأضلاع على التوالي . الرسم الزائدي الثانوي ( subhypergr aphs ) من الرسم الزائدي هو رسم زائدي مأخوذ من مع حذف بعض ال رؤوس . بصيغة رياضية ، الرسم الزائدي الجزئي ال مولد ب واسطة معرف ك الآتي : توسعة ( extension ) الرسم الزائدي الثانوي هو رسم زائدي حيث كل ضلع من هو محتوى جزئيا بالرسم الزائدي الثانوي ومحتوى كليا في التوسعة \ . رياضيا : حيث و \ . الرسم الزائدي الجزئي هو رسم زائدي من مع حذف بعض الآضلاع الزائدي ه . بصيغه رياضية ، ليكن مجموعة جزئية من مجموعة ترميز الآضلاع ٫ الرسم الزائدي الجزئي ال مولد ب المجموعة هو رسم زائدي \ . لتكن مجموعة معطاه ، يعرف section hypergraph بآنه رسم زائدي جزئي معرف ك التالي : . الرسم الزائدي المزدوج ( dual hypergraph ) للرسم الزائدي هو رسم زائدي مجموعة رؤ ه هي وآضلاع ه معطى ب المجموعة حيث \ . لاحظ آن الرسم الزائدي المزدوج لـ هو ٫ آي آن\ . نمذجة المخطط ثنائي التجزئة يمكن تمثيل آي رسم زائدي ب رسم ثنائي التجزئة كما يلي : المجموعات و تمثل تجزئات لـ و هو ضلع في إذا وفقط إذا كان كل رأس ينتمي للضلع الزائدي في \ . ب المقابل ليس كل رسم ثنائي تجزئة تمثل رسم زائدي . يسمى هـذا الرسم الثنائي ب رسم الوقوع \ . ب دون دورة ( A cyclicity ) يوجد عدة مصطلحات غير متكافئة لل رسومات الزائدي ه ب دون دورات ٫ ب عكس الرسم الغير موجه و الذي ب ه تعريف موحد للدورات ولل رسومات ب دون دورات . عرف العالم بيرج ( Claude Berge ) آول تعريف لل رسومات الزائدي ه ب دون دورات : يكون الرسم الزائدي هو رسم خالي من الدورات إذا كان رسم الوقوع المقابل ل ه لا يحتوي على أي دورة . هذا التعريف يعتبر محدود جداً ٫ ف على سبيل المثال إذا كان الرسم الزائدي يحتوي على زوج من ال رؤوس المختلفة وزوج من الآضلاع الزائدي ه المختلفة ب حيث آن و ف إن ه يمكن اختبار إن ه لا يحتوي على دور ه ب زمن خطي ب واسطة رسم الوقوع ل ه . يوجد تعريف آخر المسمى ب α - acyclicity آضعف و مختلف من تعريف بيرج . يمكن ب زمن خطي تحديد ما إذا كان أي رسم زائدي هو α - acyclicity . التشاكل و المساواة تشاكل رسوم زائدي هو دال ه من مجموعة رؤوس رسم زائدي إلى مجموعة رؤوس رسم زائدي آخر ب حيث كل ضلع هو صور ه لضلع بالرسم الزائدي المقابل . الرسم الزائدي هو تشاكل احادي للرسم الزائدي ونكتب إذا كان يوجد تقابل وتبديل ه لـ ب حيث آن\ . ب التالي تسمى دالة التقابل في هذه الحالة بتشاكل احادي لل رسومات . لاحظ ان إذا وفقط إذا كان\ . أمثلة ليكن لدي نا الرسم الزائدي و الذي مجموعة أضلاع ه حيث . والرسم الزائدي والمعرف بمجموعة أضلاع ه حيث . ب التالي ف إن الرسمين الزائدين و متشاكلان حيث الدالة معرف ه ك التالي : . هذين الرسمين متشاكلان لكن ليس تشاكل قوي ( strongly isomorphic ) لأن ه يوجد رأس في ينتمي للأضلاع أي أن لكن لا يوجد رأس في ب حيث ينتمي للأضلاع لأن\ . في هذا المثال الرسمين الزائدين و متكافئين ونكتب في هذه الحالة \ . أيضا رسوم هم المزدوجه متشاكله ٫ أي أن\ . الرسوم الزائدي ه المتماثل ه رتبة ( rank ) رسم زائدي ويرمز ل ه بالرمز هو أكبر سعة لآي من اضلاع الرسم الزائدي . يسمى الرسم الزائدي الذي كل ضلع في ه يحتوي على نفس العدد من ال رؤوس مساوي للعدد بالرسم الزائدي الموحد السع ه ٫ ويسمى أيضا hypergraph - . ب التالي ف إن الرسم هو عبار ه عن رسم زائدي من السع ه \ . درجة الرآس ويرمز ل ه بالرمز هي عدد الاضلاع التي تحتوي على هذا الرآس . يسمى الرسم الزائدي بمنتظم من الدرجة ( regular - ) إذا كان درجة كل رآس في ه تساوي \ . الرسم الزائدي المزدوج ل رسم زائدي موحد السع ه هو منتظم و العكس صحيح . القواطع ( Transversals ) يٍُعرف قاطع رسم زائدي ب المجموعة التي تتقاطع مع كل ضلع في بمجموع ه غير خالية من ال رؤوس . يطلق على بآنه القاطع الآصغر إذا كان لا يوجد أي مجموع ه جزئيه ف علي ه من و تمثل قاطع . الرسم الزائدي القاطع ( transversal hypergraph ) للرسم الزائدي هو رسم زائدي و الذي مجموعة آضلاع ه تحتوي على كل القواطع الصغرى لـ \ . يوجد تطبيقات ل حساب الرسم الزائدي القاطع في امثلة التراكيب و في نظرية الألعاب و في عدة فروع من علوم الحاسب على سبيل المثال في التعلم الألي وفهرسة قواعد البيانات وتنقيب البيانات وأمثلية البرمجيات وsatisfiability problem . مصفوفة الوقوع ( Incidence matrix ) لتكن مجموعة ال رؤوس و مجموعة الآضلاع الزائدي ه . كل رسم زائدي ل ه مصفوفة وقوع من النوع حيث : يمثل منقول مصفوفة الوقوع الرسم الزائدي المزدوج لـ \ . مسألة تلوين الرسوم الزائدية ( Hypergraph coloring ) في تلوين الرسم الزائدي التقليدي ٫ يتم تعيين لون واحد من ألوان المجموعة ل كل رأس بالرسم الزائدي ب حيث أن أي ضلع زائدي يحتوي على الأقل رأسين بألوان مختلف ه . ب معنى آخر ، لا يمكن الحصول على ضلع بلون واحد فقط و ب ه على الأقل رأسين . هذا التعريف هو تعميم مباشر لتلوين ال رسومات . يسمى أصغر عدد من الألوان المختلف ه والممكن استخدام ها بتلوين رسم زائدي يسمى بـ chromatic number للرسم الزائدي . ال رسومات الزائدي ه التي يوجد ب ها عالأكثر من الألوان تُلقب بـ k - color able . ال رسومات الزائدي ه ثنائي التلوينcolo r able ) هي رسوم زائدي ه ثنائية التجزئة . يوجد العديد من التعاريف و التي تعمم مسألة تلوين الرسوم الزائدي ه . أحد هذه التعاريف التي تسمى بمسألة تلوين مختلط للرسم الزائدي ( mixed hypergraph coloring ) و التي تسمح ب وجود أضلاع موحدة اللون . يوجد رسوم زائدي ه غير قابل ه للتلوين ل أي عدد من الألوان . بمسألة التلوين المختلط و عندما يكون الرسم الزائدي قابل للتلوين ف إن أصغر و أكبر عدد مستخدم من الألوان تُعتبر على التوالي حد سفلي وعلوي لـ chromatic number\ . التجزئات ( Partitions ) نظريات تمثيل الرسم الزائدي Hypergraph gramm ars تعميمات تدريس الرسم الزائدي المزيد مراجع ملاحظات نظرية المخططات