مثال لمخطط زائدي مجموعة الرؤوس هنا هي {\displaystyle X=\{v\_{1},v\_{2},v\_{3},v\_{4},v\_{5},v\_{6},v\_{7}\}} ومجموعة الأضلاع هي {\displaystyle E=\{e\_{1},e\_{2},e\_{3},e\_{4}\}} حيث {\displaystyle e\_{1}=\{v\_{1},v\_{2},v\_{3}\},e\_{2}=\{v\_{2},v\_{3}\},e\_{3}=\{v\_{3},v\_{5},v\_{6}\},e\_{4}=\{v\_{4}\}}. هذا الرسم الزائدي من الرتبه 7 وسعته 4. بعض الأضلاع الزائدية هنا تحتوي على أكثر من رأسين. الأضلاع تم توضيحها بالألوان.
في الرياضيات، **المخطط الزائدي** أو **الرسم الزائدي** (بالإنجليزية: Hypergraph)‏ هو تعميم لمفهوم الرسم البياني أو المخطط والذي كل ضلع فيه يحتوي على عدد من الرؤوس. بصيغة رياضية، الرسم الزائدي {\displaystyle H} هو الزوج المرتب {\displaystyle H=(X,E)} حيث {\displaystyle X} هي مجموعة من العناصر التي تسمى **رؤوس**، والمجموعة {\displaystyle E} هي مجموعة غير خاليه جزئيه من {\displaystyle X}. عناصر المجموعة E تسمى **أضلاع زائديه** أو أضلاع. بالتالي {\displaystyle E} هي مجموعة غير خاليه من مجموعة القوه {\displaystyle {\mathcal {P}}(X)\setminus \{\emptyset \}}. حجم مجموعة الرؤوس يسمى **رتبة** الرسم الزائدي بينما حجم مجموعة الاضلاع يسمى **حجم** الرسم الزائدي.

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

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

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

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

مصطلحات
-------

### تعاريف

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

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

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

ليكن {\displaystyle H=(X,E)} رسم زائدي مكون من الرؤوس {\displaystyle X=\{x\_{i}|i\in I\_{v}\}}ولديه مجموعة الأضلاع
{\displaystyle E=\{e\_{i}:i\in I\_{e}\land e\_{i}\subseteq X\land e\_{i}\neq \emptyset \},}

حيث {\displaystyle I\_{v}} و {\displaystyle I\_{e}} هما مجموعتي الترميز index sets للرؤوس والأضلاع على التوالي.

**الرسم الزائدي الثانوي (**subhypergraphs) من الرسم الزائدي {\displaystyle H} هو رسم زائدي مأخوذ من {\displaystyle H} مع حذف بعض الرؤوس. بصيغة رياضية، الرسم الزائدي الجزئي {\displaystyle H\_{A}} المولد بواسطة {\displaystyle A\subseteq X} معرف كالآتي:

{\displaystyle H\_{A}=(A,\{e\cap A|e\in E\land e\cap A\neq \emptyset \}.}

**توسعة (extension) الرسم الزائدي الثانوي** هو رسم زائدي حيث كل ضلع من {\displaystyle H} هو محتوى جزئيا بالرسم الزائدي الثانوي {\displaystyle H\_{A}} ومحتوى كليا في التوسعة {\displaystyle Ex(H\_{A})}. رياضيا:

{\displaystyle Ex(H\_{A})=(A\cup A',E')} حيث {\displaystyle A'=\bigcup \_{e\in E}e\setminus A} و {\displaystyle E'=\{e\in E|e\subseteq (A\cup A')\}} .

الرسم الزائدي الجزئي هو رسم زائدي من مع حذف بعض الآضلاع الزائديه. بصيغه رياضية، ليكن {\displaystyle J\subset I\_{e}} مجموعة جزئية من مجموعة ترميز الآضلاع٫ الرسم الزائدي الجزئي المولد بالمجموعة {\displaystyle J} هو رسم زائدي {\displaystyle (X,\{e\_{i}|i\in J\})}.

لتكن {\displaystyle A\subset X} مجموعة معطاه، يعرف section hypergraph بآنه رسم زائدي جزئي معرف كالتالي:

{\displaystyle H\times A=(A,\{e\_{i}|i\in I\_{e}\land e\_{i}\subseteq A\})}.

الرسم الزائدي المزدوج (dual hypergraph) {\displaystyle H^{\*}} للرسم الزائدي {\displaystyle H} هو رسم زائدي مجموعة رؤوسه هي {\displaystyle \{e\_{i}\}} وآضلاعه معطى بالمجموعة {\displaystyle \{X\_{m}\}} حيث {\displaystyle X\_{m}=\{e\_{i}|x\_{m}\in e\_{i}\}}.

لاحظ آن الرسم الزائدي المزدوج لـ {\displaystyle H^{\*}} هو {\displaystyle H} ٫ آي آن {\displaystyle (H^{\*})^{\*}=H}.

نمذجة المخطط ثنائي التجزئة
--------------------------

يمكن تمثيل آي رسم زائدي {\displaystyle H} برسم ثنائي التجزئة {\displaystyle BG} كما يلي: المجموعات {\displaystyle X} و E تمثل تجزئات لـ {\displaystyle BG} و {\displaystyle \{x\_{i},e\_{i}\}} هو ضلع في {\displaystyle BG}إذا وفقط إذا كان كل رأس {\displaystyle x\_{i}}ينتمي للضلع الزائدي {\displaystyle e\_{i}} في {\displaystyle H}. بالمقابل ليس كل رسم ثنائي تجزئة تمثل رسم زائدي. يسمى هـذا الرسم الثنائي برسم الوقوع .

بدون دورة (Acyclicity)
----------------------

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

عرف العالم بيرج (Claude Berge) آول تعريف للرسومات الزائديه بدون دورات: يكون الرسم الزائدي هو رسم خالي من الدورات إذا كان رسم الوقوع المقابل له لايحتوي على أي دورة. هذا التعريف يعتبر محدود جداً٫ فعلى سبيل المثال إذا كان الرسم الزائدي يحتوي على زوج من الرؤوس المختلفة {\displaystyle v\neq v'} وزوج من الآضلاع الزائديه المختلفة {\displaystyle f\neq f'} بحيث آن {\displaystyle v,v'\in f} و {\displaystyle v,v'\in f'} فإنه يمكن اختبار انه لايحتوي على دوره بزمن خطي بواسطة رسم الوقوع له.يوجد تعريف آخر المسمى ب **α-acyclicity** آضعف ومختلف من تعريف بيرج.

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

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

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

الرسم الزائدي {\displaystyle H=(X,E)} هو تشاكل احادي للرسم الزائدي {\displaystyle G=(Y,F)} ونكتب {\displaystyle H\simeq G} إذا كان يوجد تقابل {\displaystyle \phi :X\rightarrow Y} وتبديله {\displaystyle \pi } لـ {\displaystyle I} بحيث آن {\displaystyle \phi (e\_{i})=f\_{\pi (i)}}. بالتالي تسمى دالة التقابل {\displaystyle \phi } في هذه الحالة بتشاكل احادي للرسومات. لاحظ ان {\displaystyle H\simeq G} إذا وفقط إذا كان {\displaystyle H^{\*}\simeq G^{\*}}.

### أمثلة

ليكن لدينا الرسم الزائدي {\displaystyle H} والذي مجموعة أضلاعه {\displaystyle H=\{e\_{1},e\_{2},e\_{3},e\_{4},e\_{5},e\_{6}\}}حيث

{\displaystyle e\_{1}=\{a,b\},e\_{2}=\{b,c\},e\_{3}=\{c,d\},e\_{4}=\{d,a\},e\_{5}=\{b,d\},e\_{6}=\{a,c\}}.  
والرسم الزائدي {\displaystyle G} والمعرف بمجموعة أضلاعه {\displaystyle G=\{f\_{1},f\_{2},f\_{3},f\_{4},f\_{5},f\_{6}\}} حيث

{\displaystyle f\_{1}=\{\alpha ,\beta \},f\_{2}=\{\beta ,\gamma \},f\_{3}=\{\gamma ,\delta \},f\_{4}=\{\delta ,\alpha \},f\_{5}=\{\alpha ,\gamma \},f\_{6}=\{\beta ,\gamma \}}.

بالتالي فإن الرسمين الزائدين {\displaystyle H} و {\displaystyle G} متشاكلان حيث الدالة {\displaystyle \phi } معرفه كالتالي:

{\displaystyle \phi (a)=\alpha ,\phi (b)=\beta ,\phi (c)=\gamma ,\phi (d)=\delta }.

هذين الرسمين متشاكلان لكن ليس تشاكل قوي (strongly isomorphic) لأنه يوجد رأس a في {\displaystyle H} ينتمي للأضلاع {\displaystyle 1,3,6} أي أن {\displaystyle e\_{1}\cap e\_{4}\cap e\_{6}=\{a\}}

لكن لايوجد رأس في {\displaystyle G}بحيث ينتمي للأضلاع {\displaystyle 1,3,6} لأن {\displaystyle f\_{1}\cap f\_{4}\cap f\_{6}=\emptyset }.

في هذا المثال الرسمين الزائدين {\displaystyle H} و {\displaystyle G} متكافئين ونكتب في هذه الحالة {\displaystyle H\equiv G}. أيضا رسومهم المزدوجه متشاكله٫ أي أن {\displaystyle H^{\*}\cong G^{\*}}.

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

**رتبة** (rank) رسم زائدي {\displaystyle H} ويرمز له بالرمز {\displaystyle r(H)} هو أكبر سعة لآي من اضلاع الرسم الزائدي. يسمى الرسم الزائدي الذي كل ضلع فيه يحتوي على نفس العدد من الرؤوس مساوي للعدد k ب**الرسم الزائدي الموحد السعه** k٫ ويسمى أيضا **hypergraph-**k**.** بالتالي فإن الرسم هو عباره عن رسم زائدي من السعه {\displaystyle 2} .

**درجة الرآس** v ويرمز له بالرمز {\displaystyle d(v)} هي عدد الاضلاع التي تحتوي على هذا الرآس. يسمى الرسم الزائدي **بمنتظم من الدرجة** k (regular-k) إذا كان درجة كل رآس فيه تساوي k .

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

القواطع (Transversals)
----------------------

يٍُعرف قاطع رسم زائدي {\displaystyle H=(X,E)} بالمجموعة {\displaystyle T\subseteq X} التي تتقاطع مع كل ضلع في {\displaystyle H} بمجموعه غير خالية من الرؤوس. يطلق على {\displaystyle T} بآنه القاطع **الآصغر** إذا كان لايوجد أي مجموعه جزئيه فعليه من {\displaystyle T}وتمثل قاطع. الرسم الزائدي القاطع (**transversal hypergraph**) للرسم الزائدي {\displaystyle H}هو رسم زائدي {\displaystyle (X,F)} والذي مجموعة آضلاعه F تحتوي على كل القواطع الصغرى لـ {\displaystyle H}.

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

مصفوفة الوقوع (Incidence matrix)
--------------------------------

لتكن {\displaystyle V=\{v\_{1},v\_{2},\ldots ,v\_{n}\}} مجموعة الرؤوس و {\displaystyle E=\{e\_{1},e\_{2},\ldots ,e\_{m}\}} مجموعة الآضلاع الزائديه. كل رسم زائدي له مصفوفة وقوع {\displaystyle A=(a\_{ij})} من النوع {\displaystyle n\times m} حيث:

{\displaystyle a\_{ij}=\left\{{\begin{matrix}1&\mathrm {if} ~v\_{i}\in e\_{j}\\0&\mathrm {otherwise} .\end{matrix}}\right.}
  
يمثل منقول مصفوفة الوقوع {\displaystyle A^{t}} الرسم الزائدي المزدوج {\displaystyle H^{\*}=(V^{\*},E^{\*})} لـ {\displaystyle H}.

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

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

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

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

التجزئات (Partitions)
---------------------

نظريات
------

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

  

يمكن تمثيل هذه الدوره الإلكترونيه برسم زائدي بأربع رؤوس والملونه باللون الأبيض بالشكل المعطى والمرتبطة بواسطة ثلاث أضلاع زائديه على شكل أشجار.

Hypergraph grammars
-------------------

تعميمات
-------

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

المزيد
------

*

مراجع
-----

1. ↑  Haussler، David؛ Welzl، Emo (1987)، "ε-nets and simplex range queries"، *Discrete and Computational Geometry*، ج. 2، ص. 127–151، DOI:10.1007/BF02187876، MR:0884223
2. ↑  Judea Pearl, in *HEURISTICS Intelligent Search Strategies for Computer Problem Solving*, Addison Wesley (1984), p. 25.
3. ↑  Claude Berge, *Graphs and Hypergraphs*
4. ↑  C. Beeri, R. Fagin, D. Maier, M. Yannakakis, *On the Desirability of Acyclic Database Schemes*
5. ↑  R. E. Tarjan, M. Yannakakis. *Simple linear-time algorithms to test chordality of graphs, test acyclicity of hypergraphs, and selectively reduce acyclic hypergraphs*. SIAM J. on Computing, 13(3):566-579, 1984.

ملاحظات
-------

* 

* أيقونة بوابةبوابة رياضيات

|  |
| --- |
| **رسم زائدي** في المشاريع الشقيقة: |
|  | 
* صور وملفات صوتية من كومنز.
 |


| ضبط استنادي عدلها في ويكي بيانات |
| --- |
| دولية | 
* المُعرِّف مُتعدِّد الأوجه (FAST)

 |
| وطنية | 
* المكتبة الوطنية الفرنسية (BnF)
* الملف الاستنادي المتكامِل (GND)
* المكتبة القومية الإسرائيلية (J9U)
* مكتبة الكونغرس (LCNAF)
* قاعدة البيانات الوطنية التشيكية (NLCR AUT)

 |
| أخرى | 
* النظام الجامعي للتوثيق (IdRef)

 |