الرسم البياني الموجه غير الدوري

مثال على رسم بياني موجه غير دوري

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

تُسمى الرسوم البيانية الموجهة غير الدورية أيضًا بالرسوم البيانية الموجهة غير الدورية [ 1 ] أو الرسوم البيانية الموجهة غير الدورية . [ 2 ]

التعريفات

يتكون الرسم البياني من رؤوس وحواف تربط أزواجًا من الرؤوس ، حيث يمكن أن تكون الرؤوس أي نوع من الكائنات المتصلة في أزواج بواسطة الحواف. في حالة الرسم البياني الموجه ، يكون لكل حافة اتجاه، من رأس إلى آخر. المسار في الرسم البياني الموجه هو سلسلة (محدودة أو غير محدودة).(v1،v2،...){\displaystyle (v_{1},v_{2},\dotsc )}من الرؤوس بحيث يكون كل زوج متتالي(vأنا،vأنا+1){\displaystyle (v_{i},v_{i+1})}متصلة بحافة موجهة. المسار هو مشي تكون فيه جميع الرؤوس متميزة. الدورة هي مشي(v1،v2،...،vن){\displaystyle (v_{1},v_{2},\dotsc ,v_{n})}حيث يكون الرأس المتكرر الوحيد هوvن=v1{\displaystyle v_{n}=v_{1}}بمعنى أن الرأس الأخير يساوي الرأس الأول. الرسم البياني الموجه غير الدوري هو رسم بياني موجه لا يحتوي على دورات. [ 1 ] [ 2 ] [ 3 ]

الخصائص الرياضية

علاقة الوصول، والإغلاق المتعدي، والاختزال المتعدي

داغ
اختزالها المتعدي

يمكن صياغة علاقة الوصول في الرسم البياني الموجه غير الدوري (DAG) كترتيب جزئي على رؤوس الرسم البياني. في هذا الترتيب الجزئي، يكون ترتيب رأسين u و v كالتالي: u وذلك عندما يوجد مسار موجه من u إلى v في الرسم البياني؛ أي عندما يكون u قادرًا على الوصول إلى v (أو عندما يكون v قابلًا للوصول من u ). [ 4 ] مع ذلك، قد تُنتج رسوم بيانية موجهة غير دورية مختلفة نفس علاقة الوصول ونفس الترتيب الجزئي. [ 5 ] على سبيل المثال، الرسم البياني الموجه غير الدوري ذو الحافتين uv و vw له نفس علاقة الوصول التي للرسم البياني الموجه غير الدوري ذي الحواف الثلاث uv و vw و uw . ينتج كلا الرسمين البيانيين الموجهين غير الدوريين نفس الترتيب الجزئي، حيث تكون الرؤوس مرتبة كالتالي: uvw .

يُعرَّف الإغلاق المتعدي للرسم البياني الموجه غير الدوري (DAG) بأنه الرسم البياني الذي يحتوي على أكبر عدد من الحواف ويتمتع بنفس علاقة الوصول الخاصة بالرسم البياني الموجه غير الدوري. يحتوي هذا الإغلاق على حافة uv لكل زوج من الرؤوس ( u , v ) في علاقة الوصول الخاصة بالرسم البياني الموجه غير الدوري، وبالتالي يمكن اعتباره ترجمة مباشرة لعلاقة الوصول إلى مصطلحات نظرية الرسم البياني. وينطبق أسلوب ترجمة الترتيبات الجزئية إلى رسوم بيانية موجهة غير دورية بشكل أعم: فلكل مجموعة مرتبة جزئيًا منتهية ( S , ≤) ، يكون الرسم البياني الذي يحتوي على رأس لكل عنصر من S وحافة لكل زوج من العناصر في رسمًا بيانيًا موجهًا غير دوري مغلقًا متعديًا تلقائيًا، وتكون علاقة الوصول الخاصة به هي ( S , ≤) . وبهذه الطريقة، يمكن تمثيل كل مجموعة مرتبة جزئيًا منتهية برسم بياني موجه غير دوري.

مخطط هاس يمثل الترتيب الجزئي لاحتواء المجموعة (⊆) بين المجموعات الجزئية لمجموعة مكونة من ثلاثة عناصر

الاختزال المتعدي للرسم البياني الموجه غير الدوري (DAG) هو الرسم البياني ذو أقل عدد من الحواف والذي يتمتع بنفس علاقة الوصول للرسم البياني الموجه غير الدوري. يحتوي هذا الاختزال على حافة uv لكل زوج من الرؤوس ( u , v ) في علاقة التغطية لعلاقة الوصول للرسم البياني الموجه غير الدوري. وهو رسم بياني فرعي من الرسم البياني الموجه غير الدوري، يتكون من حذف الحواف uv التي يحتوي الرسم البياني الموجه غير الدوري أيضًا على مسار موجه أطول من u إلى v . ومثل الإغلاق المتعدي، فإن الاختزال المتعدي مُعرَّف بشكل فريد للرسوم البيانية الموجهة غير الدورية. في المقابل، بالنسبة للرسم البياني الموجه غير الدوري، يمكن أن يكون هناك أكثر من رسم بياني فرعي أدنى واحد له نفس علاقة الوصول. [ 6 ] تُعد الاختزالات المتعدية مفيدة في تصور الترتيبات الجزئية التي تُمثلها، لأنها تحتوي على عدد أقل من الحواف مقارنةً بالرسوم البيانية الأخرى التي تُمثل نفس الترتيبات، وبالتالي تؤدي إلى رسومات بيانية أبسط . مخطط هاس للترتيب الجزئي هو رسم للاختزال المتعدي حيث يتم إظهار اتجاه كل حافة عن طريق وضع رأس البداية للحافة في موضع أدنى من رأس النهاية. [ 7 ]

الترتيب الطوبولوجي

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

الترتيب الطوبولوجي للرسم البياني الموجه هو ترتيب رؤوسه في تسلسل، بحيث يكون رأس بداية كل حافة في التسلسل يسبق رأس نهايتها. لا يمكن أن يحتوي الرسم البياني ذو الترتيب الطوبولوجي على أي دورات، لأن الحافة المؤدية إلى أول رأس في الدورة ستكون موجهة في الاتجاه الخاطئ. لذلك، كل رسم بياني ذو ترتيب طوبولوجي هو رسم بياني غير دوري. وعلى العكس، كل رسم بياني موجه غير دوري له ترتيب طوبولوجي واحد على الأقل. وبالتالي، يمكن استخدام وجود الترتيب الطوبولوجي كتعريف مكافئ للرسوم البيانية الموجهة غير الدورية: فهي تحديدًا الرسوم البيانية التي لها ترتيبات طوبولوجية. [ 2 ] بشكل عام، هذا الترتيب ليس فريدًا؛ فالرسم البياني الموجه غير الدوري له ترتيب طوبولوجي فريد إذا وفقط إذا كان لديه مسار موجه يحتوي على جميع الرؤوس، وفي هذه الحالة يكون الترتيب هو نفسه ترتيب ظهور الرؤوس في المسار. [ 8 ]

إن عائلة الترتيبات الطوبولوجية لـ DAG هي نفسها عائلة الامتدادات الخطية لعلاقة الوصول لـ DAG، [ 9 ] لذلك فإن أي رسمين بيانيين يمثلان نفس الترتيب الجزئي لهما نفس مجموعة الترتيبات الطوبولوجية.

التعداد التوافقي

درس روبنسون (1973) مسألة تعداد الرسوم البيانية الموجهة غير الدورية . [ 10 ] عدد الرسوم البيانية الموجهة غير الدورية التي تحتوي على n رأسًا مُصنَّفة، حيث n = 0، 1، 2، 3، ... (دون قيود على ترتيب ظهور هذه الأرقام في الترتيب الطوبولوجي للرسم البياني الموجه غير الدوري) هو  

1، 1، 3، 25، 543، 29281، 3781503، ... (التسلسل A003024 في OEIS ) .

يمكن حساب هذه الأرقام من خلال علاقة التكرار

أن=ك=1ن(-1)ك-1(نك)2ك(ن-ك)أن-ك.{\displaystyle a_{n}=\sum _{k=1}^{n}(-1)^{k-1}{n \choose k}2^{k(nk)}a_{nk}.}[ 10 ]

افترض إريك و. وايسشتاين ، [ 11 ] وأثبت مكاي وآخرون (2004) ، أن نفس الأرقام تُستخدم لحساب المصفوفات (0,1) التي تكون جميع قيمها الذاتية أعدادًا حقيقية موجبة . البرهان تقابلي : المصفوفة A هي مصفوفة تجاور لرسم بياني موجه غير دوري (DAG) إذا وفقط إذا كانت A  + I  مصفوفة (0,1) ذات جميع قيم ذاتية موجبة، حيث I هي مصفوفة الوحدة . ولأن الرسم البياني الموجه غير الدوري لا يمكن أن يحتوي على حلقات ذاتية ، يجب أن يكون قطر مصفوفة تجاوره صفريًا، لذا فإن إضافة I تحافظ على خاصية أن جميع معاملات المصفوفة إما 0 أو 1. [ 12 ]

الشجرة المتعددة ، وهي رسم بياني موجه غير دوري (DAG) حيث يؤدي الرسم البياني الفرعي الذي يمكن الوصول إليه من أي رأس إلى إنشاء شجرة غير موجهة (على سبيل المثال باللون الأحمر).
الشجرة المتعددة ، وهي رسم بياني موجه غير دوري يتكون من توجيه حواف شجرة غير موجهة

الشجرة المتعددة (وتسمى أيضاً الرسم البياني غير المبهم بقوة أو شجرة المانغروف ) هي رسم بياني موجه غير دوري (DAG) يوجد فيه مسار موجه واحد على الأكثر بين أي رأسين. وبصورة مكافئة، هي رسم بياني موجه غير دوري (DAG) يكون فيه الرسم البياني الفرعي الذي يمكن الوصول إليه من أي رأس شجرة غير موجهة . [ 13 ]

الشجرة المتعددة (وتسمى أيضًا الشجرة الموجهة ) هي شجرة متعددة تتكون من خلال توجيه حواف شجرة غير موجهة. [ 14 ]

التفرع الشجري هو شجرة متعددة تتكون من خلال توجيه حواف شجرة غير موجهة بعيدًا عن رأس معين يسمى جذر التفرع الشجري.

المشاكل الحسابية

الفرز والتعرف الطوبولوجي

يُعدّ الترتيب الطوبولوجي مسألةً خوارزميةً لإيجاد ترتيب طوبولوجي لرسم بياني موجه غير دوري (DAG) مُعطى. ويمكن حلّها في زمن خطي . [ 15 ] تقوم خوارزمية كان للترتيب الطوبولوجي ببناء ترتيب الرؤوس مباشرةً. إذ تحتفظ بقائمة من الرؤوس التي لا تتصل بأي حواف من رؤوس أخرى لم تُضَمَّن بعد في الترتيب الطوبولوجي المُنشأ جزئيًا؛ وتتكون هذه القائمة مبدئيًا من الرؤوس التي لا تتصل بأي حواف على الإطلاق. ثم تُضيف الخوارزمية رأسًا واحدًا من هذه القائمة بشكل متكرر إلى نهاية الترتيب الطوبولوجي المُنشأ جزئيًا، وتتحقق مما إذا كان ينبغي إضافة جيرانه إلى القائمة. وتنتهي الخوارزمية عند معالجة جميع الرؤوس بهذه الطريقة. [ 16 ] بدلاً من ذلك، يمكن بناء ترتيب طوبولوجي عن طريق عكس ترقيم ما بعد الترتيب لاجتياز الرسم البياني باستخدام خوارزمية البحث العميق أولاً . [ 15 ]

من الممكن أيضًا التحقق مما إذا كان الرسم البياني الموجه المعطى هو رسم بياني موجه غير دوري (DAG) في وقت خطي، إما عن طريق محاولة إيجاد ترتيب طوبولوجي ثم اختبار كل حافة لمعرفة ما إذا كان الترتيب الناتج صحيحًا [ 17 ] أو بدلاً من ذلك، بالنسبة لبعض خوارزميات الفرز الطوبولوجي، عن طريق التحقق من أن الخوارزمية ترتب جميع الرؤوس بنجاح دون الوقوع في حالة خطأ. [ 16 ]

البناء من الرسوم البيانية الدورية

يمكن تحويل أي رسم بياني غير موجه إلى رسم بياني موجه غير دوري (DAG) باختيار ترتيب كلي لرؤوسه وتوجيه كل حافة من نقطة البداية في الترتيب إلى نقطة النهاية اللاحقة. يُسمى التوجيه الناتج للحواف بالتوجيه غير الدوري . قد تؤدي ترتيبات كلية مختلفة إلى نفس التوجيه غير الدوري، لذا يمكن أن يحتوي رسم بياني ذو n رأس على أقل من n ! توجيهًا غير دوري. عدد التوجيهات غير الدورية يساوي | χ (−1) | ، حيث χ هي متعددة الحدود اللونية للرسم البياني المعطى. [ 18 ]

الرسم البياني الأصفر الموجه غير الدوري هو تكثيف للرسم البياني الأزرق الموجه. ويتكون من خلال دمج كل مكون متصل بقوة من الرسم البياني الأزرق في رأس أصفر واحد.

يمكن تحويل أي رسم بياني موجه إلى رسم بياني موجه غير دوري (DAG) عن طريق إزالة مجموعة رؤوس التغذية الراجعة أو مجموعة أقواس التغذية الراجعة ، وهي مجموعة من الرؤوس أو الحواف (على التوالي) التي تلامس جميع الدورات. مع ذلك، فإن إيجاد أصغر مجموعة من هذا النوع يُعدّ مسألة صعبة الحل (NP-hard ). [ 19 ] كما يمكن تحويل أي رسم بياني موجه إلى رسم بياني موجه غير دوري (DAG)، يُسمى تكثيفه ، عن طريق دمج كل مكون من مكوناته المتصلة بقوة في رأس فائق واحد. [ 20 ] عندما يكون الرسم البياني غير دوري بالفعل، تكون أصغر مجموعات رؤوس التغذية الراجعة ومجموعات أقواس التغذية الراجعة فارغة ، ويكون تكثيفه هو الرسم البياني نفسه.

الإغلاق المتعدي والاختزال المتعدي

يمكن إنشاء الإغلاق المتعدي لرسم بياني موجه غير دوري (DAG) ذي n رأسًا و m حافة في زمن O ( mn ) باستخدام البحث بالعرض أولًا أو البحث بالعمق أولًا لاختبار إمكانية الوصول من كل رأس. [ 21 ] بدلاً من ذلك ، يمكن حله في زمن O ( ) حيث ω  <  2.373 هو أس خوارزميات ضرب المصفوفات ؛ وهذا يُعد تحسينًا نظريًا على الحد O ( mn ) للرسوم البيانية الكثيفة . [ 22 ]

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

مشكلة الإغلاق

تأخذ مسألة الإغلاق كمدخل رسمًا بيانيًا موجهًا غير دوري مُثقَّل الرؤوس، وتسعى إلى إيجاد الحد الأدنى (أو الأقصى) لوزن الإغلاق - مجموعة من الرؤوس C - بحيث لا تغادر أي حافة من C. يمكن صياغة المسألة للرسوم البيانية الموجهة دون افتراض عدم الدورية، ولكن دون مزيد من التعميم، لأنها في هذه الحالة تُكافئ المسألة نفسها على تكثيف الرسم البياني. يمكن حلها في وقت متعدد الحدود باستخدام اختزال إلى مسألة التدفق الأقصى . [ 24 ]

خوارزميات المسار

تصبح بعض الخوارزميات أبسط عند استخدامها على الرسوم البيانية الموجهة غير الدورية (DAGs) بدلاً من الرسوم البيانية العامة، وذلك استنادًا إلى مبدأ الترتيب الطوبولوجي. على سبيل المثال، من الممكن إيجاد أقصر المسارات وأطولها من رأس بداية مُعطى في الرسوم البيانية الموجهة غير الدورية في زمن خطي، وذلك بمعالجة الرؤوس بترتيب طوبولوجي ، وحساب طول المسار لكل رأس ليكون أقصر أو أطول طول مُمكن الحصول عليه عبر أي من حوافه الواردة. [ 25 ] في المقابل، بالنسبة للرسوم البيانية العشوائية، قد يتطلب إيجاد أقصر مسار خوارزميات أبطأ مثل خوارزمية ديكسترا أو خوارزمية بيلمان-فورد ، [ 26 ] كما أن إيجاد أطول المسارات في الرسوم البيانية العشوائية يُعدّ مسألة صعبة الحل (NP-hard) . [ 27 ]

التطبيقات

الجدولة

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

على سبيل المثال، عند تغيير قيمة خلية واحدة في جدول بيانات ، يلزم إعادة حساب قيم الخلايا الأخرى التي تعتمد بشكل مباشر أو غير مباشر على الخلية المتغيرة. في هذه الحالة، تتمثل المهام المطلوب جدولتها في إعادة حساب قيم الخلايا الفردية في جدول البيانات. تنشأ التبعيات عندما يستخدم تعبير في خلية ما قيمة من خلية أخرى. في هذه الحالة، يجب إعادة حساب القيمة المستخدمة قبل التعبير الذي يستخدمها. يسمح الترتيب الطوبولوجي لمخطط التبعية، واستخدام هذا الترتيب الطوبولوجي لجدولة تحديثات الخلايا، بتحديث جدول البيانات بالكامل بتقييم واحد فقط لكل خلية. [ 30 ] تظهر مشاكل مماثلة لترتيب المهام في ملفات التجميع البرمجية [ 30 ] وجدولة التعليمات لتحسين برامج الحاسوب منخفضة المستوى. [ 31 ]

مخطط بيرت لمشروع يتضمن خمس مراحل رئيسية (مرقمة من 10 إلى 50) وست مهام (مرقمة من A إلى F). يوجد مساران حرجان، ADF وBC.

تستخدم تقنية تقييم ومراجعة البرامج (PERT)، وهي طريقة لإدارة المشاريع البشرية الكبيرة وتُعدّ من أوائل تطبيقات الرسوم البيانية الموجهة غير الدورية (DAGs)، صياغةً مختلفةً نوعًا ما لقيود الجدولة. في هذه الطريقة، تمثل رؤوس الرسم البياني الموجه غير الدوري مراحل المشروع الرئيسية بدلًا من المهام المحددة المطلوب تنفيذها. بدلًا من ذلك، تُمثَّل المهمة أو النشاط بحافة في الرسم البياني، تربط بين مرحلتين رئيسيتين تُشيران إلى بداية المهمة ونهايتها. تُصنَّف كل حافة من هذه الحواف بتقدير للوقت الذي سيستغرقه فريق من العمال لإنجاز المهمة. يُمثل أطول مسار في هذا الرسم البياني الموجه غير الدوري المسار الحرج للمشروع، وهو المسار الذي يتحكم في إجمالي وقت المشروع. يمكن جدولة المراحل الرئيسية الفردية وفقًا لأطوال أطول المسارات التي تنتهي عند رؤوسها. [ 32 ]

شبكات معالجة البيانات

يمكن استخدام الرسم البياني الموجه غير الدوري لتمثيل شبكة من عناصر المعالجة. في هذا التمثيل، تدخل البيانات إلى عنصر المعالجة من خلال حوافها الواردة وتخرج منه من خلال حوافها الصادرة.

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

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

في المترجمات ، يمكن تمثيل الشيفرة الخطية (أي تسلسلات التعليمات البرمجية بدون حلقات أو فروع شرطية) بواسطة رسم بياني موجه غير دوري (DAG) يصف مدخلات ومخرجات كل عملية حسابية تُنفذ داخل الشيفرة. يُمكّن هذا التمثيل المترجم من حذف التعبيرات الفرعية المتكررة بكفاءة. [ 35 ] على مستوى أعلى من تنظيم الشيفرة، ينص مبدأ التبعيات غير الدورية على أن التبعيات بين وحدات أو مكونات نظام برمجي كبير يجب أن تُشكل رسمًا بيانيًا موجهًا غير دوري. [ 36 ]

تُعد الشبكات العصبية ذات التغذية الأمامية مثالاً آخر.

الهياكل السببية

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

أحيانًا لا ترتبط الأحداث بوقتٍ فيزيائي محدد. إذا كانت أزواج الأحداث تربطها علاقة سببية بحتة، أي أن الحواف تمثل علاقات سببية بين الأحداث، فسنحصل على رسم بياني موجه غير دوري. [ 37 ] على سبيل المثال، تمثل الشبكة البايزية نظامًا من الأحداث الاحتمالية كرؤوس في رسم بياني موجه غير دوري، حيث يمكن حساب احتمالية وقوع حدث ما من احتمالات وقوع أحداث سابقة له في الرسم البياني الموجه غير الدوري. [ 38 ] في هذا السياق، يُعد الرسم البياني الأخلاقي للرسم البياني الموجه غير الدوري هو الرسم البياني غير الموجه الذي يتم إنشاؤه بإضافة حافة (غير موجهة) بين جميع آباء نفس الرأس (يُطلق عليها أحيانًا " الزواج ")، ثم استبدال جميع الحواف الموجهة بحواف غير موجهة. [ 39 ] نوع آخر من الرسوم البيانية ذات بنية سببية مماثلة هو مخطط التأثير ، حيث تمثل رؤوسه إما قرارات يجب اتخاذها أو معلومات غير معروفة، وتمثل حوافه تأثيرات سببية من رأس إلى آخر. [ 40 ] في علم الأوبئة ، على سبيل المثال، تُستخدم هذه المخططات غالبًا لتقدير القيمة المتوقعة لخيارات التدخل المختلفة. [ 41 ] [ 42 ]

والعكس صحيح أيضاً. أي أنه في أي تطبيق يُمثَّل برسم بياني موجه غير دوري، توجد بنية سببية، إما ترتيب زمني صريح في المثال، أو ترتيب يمكن استنتاجه من بنية الرسم البياني. ويعود ذلك إلى أن جميع الرسوم البيانية الموجهة غير الدورية لها ترتيب طوبولوجي ، أي أن هناك طريقة واحدة على الأقل لوضع الرؤوس بترتيب بحيث تشير جميع الحواف في نفس الاتجاه على طول ذلك الترتيب.

علم الأنساب وتاريخ الإصدارات

شجرة عائلة السلالة البطلمية ، حيث تسببت العديد من الزيجات بين الأقارب المقربين في انهيار النسب.

يمكن اعتبار شجرة العائلة بمثابة رسوم بيانية موجهة غير دورية، حيث يمثل كل رأس فردًا من أفراد العائلة، ويمثل كل ضلع علاقة بين الأب والابن. [ 43 ] على الرغم من التسمية، فإن هذه الرسوم البيانية ليست بالضرورة أشجارًا، نظرًا لاحتمالية حدوث زيجات بين الأقارب (بحيث يكون للطفل سلف مشترك من جهة الأم والأب)، مما قد يؤدي إلى انهيار شجرة النسب . [ 44 ] تُعد رسوم النسب الأمومي (علاقات الأم والابنة) والنسب الأبوي (علاقات الأب والابن) أشجارًا ضمن هذا الرسم البياني. ولأنه لا يمكن لأحد أن يصبح سلفًا لنفسه، فإن شجرة العائلة غير دورية. [ 45 ]

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

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

رسوم بيانية للاستشهاد

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

يُعدّ نموذج برايس بسيطًا للغاية بحيث لا يُمكن اعتباره نموذجًا واقعيًا لشبكة الاستشهادات، ولكنه بسيط بما يكفي للسماح بإيجاد حلول تحليلية لبعض خصائصه. يُمكن إيجاد العديد من هذه الحلول باستخدام نتائج مُستمدة من النسخة غير المُوجّهة من نموذج برايس ، وهي نموذج باراباسي-ألبرت . مع ذلك، ولأن نموذج برايس يُنتج رسمًا بيانيًا مُوجّهًا غير دوري، فهو نموذج مفيد عند البحث عن حسابات تحليلية لخصائص فريدة للرسوم البيانية المُوجّهة غير الدورية. على سبيل المثال، يتناسب طول أطول مسار، من العقدة رقم n المُضافة إلى الشبكة إلى العقدة الأولى فيها، مع [ 51 ].ln(ن){\displaystyle \ln(n)}.

ضغط البيانات

يمكن استخدام الرسوم البيانية الموجهة غير الدورية كتمثيل مُختصر لمجموعة من المتتاليات. في هذا النوع من التطبيقات، نجد رسمًا بيانيًا موجهًا غير دوري (DAG) تُشكّل مساراته المتتاليات المُعطاة. عندما تشترك العديد من المتتاليات في نفس المتتاليات الفرعية، يُمكن تمثيل هذه المتتاليات الفرعية المشتركة بجزء مشترك من الرسم البياني الموجه غير الدوري، مما يسمح باستخدام مساحة أقل من تلك اللازمة لسرد جميع المتتاليات بشكل منفصل. على سبيل المثال، يُعد الرسم البياني الموجه غير الدوري للكلمات بنية بيانات في علوم الحاسوب تتكون من رسم بياني موجه غير دوري بمصدر واحد وحواف مُصنّفة بأحرف أو رموز؛ تُمثل المسارات من المصدر إلى الوجهات في هذا الرسم البياني مجموعة من السلاسل النصية ، مثل الكلمات الإنجليزية. [ 52 ] يُمكن تمثيل أي مجموعة من المتتاليات كمسارات في شجرة، وذلك بتكوين رأس شجرة لكل بادئة من المتتالية وجعل الأصل لأحد هذه الرؤوس يُمثل المتتالية التي تحتوي على عنصر أقل؛ تُسمى الشجرة المُشكّلة بهذه الطريقة لمجموعة من السلاسل النصية "شجرة ثلاثية" (Trie ).

وبالمثل، يمكن اعتبار شجرة البحث الثنائية بمثابة رسم بياني موجه غير دوري (DAG) ذي جذر، حيث تمثل المسارات ترتيبات مرتبة للمفاتيح، على الرغم من أنها تفتقر إلى ضغط دمج المسارات الموجود في الرسوم البيانية الموجهة غير الدورية الأكثر تعقيدًا. [ 53 ] يوفر الرسم البياني الموجه غير الدوري للكلمات مساحةً مقارنةً بشجرة البحث من خلال السماح للمسارات بالتباعد وإعادة الاتصال، بحيث يمكن تمثيل مجموعة من الكلمات ذات اللواحق الممكنة نفسها برأس شجرة واحد. [ 54 ]

تُستخدم الفكرة نفسها المتمثلة في استخدام الرسم البياني الموجه غير الدوري (DAG) لتمثيل مجموعة من المسارات في مخطط القرار الثنائي ، [ 55 ] [ 56 ] وهو بنية بيانات قائمة على الرسم البياني الموجه غير الدوري لتمثيل الدوال الثنائية. في مخطط القرار الثنائي، يُسمى كل رأس غير مصب باسم متغير ثنائي، ويُسمى كل مصب وكل حافة بالرقم 0 أو 1. قيمة الدالة لأي تعيين منطقي للمتغيرات هي القيمة عند المصب التي يتم العثور عليها باتباع مسار، بدءًا من رأس المصدر الوحيد، والذي يتبع عند كل رأس غير مصب الحافة الخارجة التي تحمل قيمة متغير ذلك الرأس. وكما يمكن اعتبار الرسوم البيانية الموجهة غير الدورية للكلمات شكلاً مضغوطًا من أشجار القرار ، يمكن اعتبار مخططات القرار الثنائية أشكالاً مضغوطة من أشجار القرار التي توفر المساحة من خلال السماح للمسارات بالالتحام مرة أخرى عندما تتفق على نتائج جميع القرارات المتبقية. [ 57 ]

مراجع

  1. 1 2 ثولاسيرامان، ك.؛ سوامي، م.ن.س. (1992)، "5.7 الرسوم البيانية الموجهة غير الدورية"، الرسوم البيانية: النظرية والخوارزميات ، جون وايلي وأولاده، ص  118، ISBN 978-0-471-51356-8.
  2. 1 2 3 بانغ-جنسن، يورغن (2008)، "2.1 الرسوم البيانية الموجهة غير الدورية"، الرسوم البيانية الموجهة: النظرية والخوارزميات والتطبيقات ، سلسلة دراسات سبرينغر في الرياضيات ( الطبعة الثانية)، سبرينغر-فيرلاغ، ص 32-34 ، ISBN   978-1-84800-997-4.
  3. كريستوفيدس، نيكوس ( 1975)، نظرية الرسم البياني: منهج خوارزمي ، دار النشر الأكاديمية، ص 170-174 .
  4. كوزين، ديكستر (1992)، تصميم وتحليل الخوارزميات ، سلسلة دراسات في علوم الحاسوب، سبرينغر، ص ISBN  978-0-387-97687-7.
  5. بانيرجي، أوتال (1993)، "التمرين 2(ج)"، تحويلات الحلقات لإعادة هيكلة المترجمات: الأسس ، سبرينغر، ص 19، Bibcode : 1993ltfr.book.....B ، ISBN  978-0-7923-9318-4.
  6. بانغ-جنسن، يورغن؛ غوتين، غريغوري ز. (2008)، "2.3 الرسوم البيانية الموجهة المتعدية، والإغلاقات المتعدية، والاختزالات"، الرسوم البيانية الموجهة: النظرية، والخوارزميات، والتطبيقات ، سلسلة دراسات سبرينغر في الرياضيات، سبرينغر، ص 36-39 ، ISBN  978-1-84800-998-1.
  7. يونغنيكل، ديتر (2012)، الرسوم البيانية والشبكات والخوارزميات ، الخوارزميات والحساب في الرياضيات، المجلد 5، سبرينغر، الصفحات 92-93 ، ISBN   978-3-642-32278-5.
  8. سيدجويك، روبرت ؛ واين، كيفن (2011)، "الترتيب الطوبولوجي الفريد 4،2،25"، الخوارزميات ( الطبعة الرابعة)، أديسون-ويسلي، ص 598-599 ، ISBN   978-0-13-276256-4.
  9. بيندر، إدوارد أ.؛ ويليامسون، س. جيل (2005)، "المثال 26 (الامتدادات الخطية - التصنيفات الطوبولوجية)"، دورة مختصرة في الرياضيات المتقطعة ، كتب دوفر في علوم الحاسوب، منشورات كوريير دوفر، ص 142، ISBN  978-0-486-43946-4.
  10. 1 2 روبنسون، آر دبليو ( 1973)، "إحصاء الرسوم البيانية الموجهة غير الدورية المصنفة"، في هاراري، إف. (محرر)، اتجاهات جديدة في نظرية الرسوم البيانية ، مطبعة أكاديمية، ص 239-273 انظر أيضًا: هاراري، فرانك ؛ بالمر، إدغار م. (1973)، التعداد البياني ، دار النشر الأكاديمية ، ص 19، رقم ISBN  978-0-12-324245-7.
  11. ^ وايزستين، إريك دبليو ، “حدسية فايستين” ، MathWorld{{cite web}}: CS1 maint: overridden setting ( link )
  12. مكاي، ب.درويل، ج.فوانليس، إ.م .؛ أوجير، ف.إ .؛ سلون، ن.ج.أويلف، هـ. (2004)، "الرسوم البيانية الموجهة غير الدورية والقيم الذاتية للمصفوفات (0،1)" ، مجلة متواليات الأعداد الصحيحة ، 7 : 33، arXiv : math/0310423 ، Bibcode : 2004JIntS...7...33M، المادة 04.3.3.
  13. فورناس، جورج و .؛ زاكس، جيف (1994)، "الأشجار المتعددة: إثراء وإعادة استخدام البنية الهرمية"، وقائع مؤتمر SIGCHI حول العوامل البشرية في أنظمة الحوسبة (CHI '94) ، الصفحات 330-336 ، doi : 10.1145/191666.191778 ، ISBN  978-0897916509، S2CID 18710118 .
  14. ريبان، جورج؛ بيرل، جوديا (1987)، "استعادة الأشجار السببية المتعددة من البيانات الإحصائية"، وقائع المؤتمر السنوي الثالث حول عدم اليقين في الذكاء الاصطناعي (UAI 1987)، سياتل، واشنطن، الولايات المتحدة الأمريكية، يوليو 1987 (PDF) ، الصفحات 222-228 .
  15. 1 2 كورمن، توماس هـليسرسون، تشارلز إيريفست، رونالد ل.؛ شتاين ، كليفورد (2001) [1990]، مقدمة في الخوارزميات ( الطبعة الثانية)، مطبعة معهد ماساتشوستس للتكنولوجيا وماكجرو هيل، ISBN  0-262-03293-7{{cite book}}: CS1 maint: overridden setting ( link ) القسم 22.4، الفرز الطوبولوجي، الصفحات 549-552.
  16. 1 2 Jungnickel (2012) ، ص 50-51.
  17. بالنسبة لخوارزمية الفرز الطوبولوجي القائمة على البحث العميق أولاً ، يمكن دمج فحص الصلاحية هذا مع خوارزمية الفرز الطوبولوجي نفسها؛ انظر على سبيل المثال: Skiena, Steven S. (2009), The Algorithm Design Manual , Springer, pp. 179–181 , ISBN  978-1-84800-070-4.
  18. ستانلي، ريتشارد ب. (1973)، "التوجهات غير الدورية للرسوم البيانية" (ملف PDF) ، الرياضيات المتقطعة ، 5 (2): 171-178 ، doi : 10.1016/0012-365X(73)90108-8.
  19. غاري، مايكل رجونسون، ديفيد س. (1979)، الحواسيب والاستعصاء: دليل لنظرية اكتمال NP ، سلسلة كتب في العلوم الرياضية ( الطبعة الأولى)، نيويورك: دبليو إتش فريمان وشركاه ، ISBN  9780716710455، MR 0519066 ، OCLC 247570676  ، المسائل GT7 و GT8، الصفحات  191-192.
  20. هاراري، فرانك ؛ نورمان، روبرت ز.؛ كارترايت، دوروين (1965)، النماذج الهيكلية: مقدمة لنظرية الرسوم البيانية الموجهة ، جون وايلي وأولاده، ص 63 .
  21. Skiena (2009) ، ص 495.
  22. Skiena (2009) ، ص 496.
  23. ^ بانج جنسن وجوتين (2008) ، ص. 38.
  24. بيكارد، جان كلود (1976)، "الإغلاق الأقصى للرسم البياني وتطبيقاته على المسائل التوافقية"، مجلة علوم الإدارة ، 22 (11): 1268-1272 ، doi : 10.1287/mnsc.22.11.1268 ، MR 0403596 .
  25. كورمن وآخرون 2001، القسم 24.2، أقصر المسارات ذات المصدر الواحد في الرسوم البيانية الموجهة غير الدورية، الصفحات 592-595.
  26. كورمن وآخرون 2001، الأقسام 24.1، خوارزمية بيلمان-فورد، الصفحات 588-592، و24.3، خوارزمية ديكسترا، الصفحات 595-601.
  27. ^ كورمين وآخرون. 2001، ص. 966.
  28. Skiena (2009) ، ص 469.
  29. المطوع، ح. أ.؛ ديتريش، ج.؛ مارسيلاند، س.؛ مكارتن، س. (2014)، "حول شكل التبعيات الدائرية في برامج جافا"، المؤتمر الأسترالي الثالث والعشرون لهندسة البرمجيات ، معهد مهندسي الكهرباء والإلكترونيات، ص 48-57 ، doi : 10.1109/ASWEC.2014.15 ، ISBN  978-1-4799-3149-1، S2CID 17570052 .
  30. 1 2 غروس، جوناثان ل.؛ يلين، جاي؛ تشانغ، بينغ (2013)، دليل نظرية الرسم البياني (الطبعة الثانية )، مطبعة سي آر سي، ص 1181، ISBN   978-1-4398-8018-0.
  31. سريكانت، واي إن؛ شانكار، بريتي (2007)، دليل تصميم المترجمات: التحسينات وتوليد كود الآلة (الطبعة الثانية )، مطبعة سي آر سي، الصفحات 19-39 ، رقم ISBN   978-1-4200-4383-9.
  32. وانغ، جون إكس. (2002)، ما يجب أن يعرفه كل مهندس عن اتخاذ القرارات في ظل عدم اليقين ، مطبعة سي آر سي، ص 160، رقم ISBN  978-0-8247-4373-4.
  33. ^ ساباتنيكار، ساشين (2004)، التوقيت ، سبرينغر، ص. 133، ردمك  978-1-4020-7671-8.
  34. دينيس، جاك ب. (1974)، "النسخة الأولى من لغة إجراءات تدفق البيانات"، ندوة البرمجة ، سلسلة محاضرات في علوم الحاسوب، المجلد 19، الصفحات 362-376 ، doi : 10.1007/3-540-06859-7_145 ، hdl : 1721.1/148889 ، ISBN   978-3-540-06859-4.
  35. تواتي، سيد؛ دي دينشين، بينوا (2014)، تحسين الواجهة الخلفية المتقدم ، جون وايلي وأولاده، ص 123، ISBN  978-1-118-64894-0.
  36. جارلاند، جيف؛ أنتوني، ريتشارد (2003)، هندسة البرمجيات واسعة النطاق: دليل عملي باستخدام لغة النمذجة الموحدة (UML) ، جون وايلي وأولاده، ص 215، رقم ISBN  9780470856383.
  37. غوبنيك، أليسون ؛ شولز، لورا (2007)، التعلم السببي ، مطبعة جامعة أكسفورد، ص ISBN  978-0-19-803928-0.
  38. شموليفيتش، إيليا؛ دوغيرتي، إدوارد ر. (2010)، الشبكات البوليانية الاحتمالية: نمذجة شبكات تنظيم الجينات والتحكم بها ، جمعية الرياضيات الصناعية والتطبيقية، ص 58، ISBN  978-0-89871-692-4.
  39. ^ كويل، روبرت ج. داود, أ. فيليب ; لوريتزن، ستيفن إل . Spiegelhalter، David J. (1999)، “3.2.1 Moralization”، الشبكات الاحتمالية وأنظمة الخبراء ، سبرينغر، الصفحات من 31 إلى 33، ISBN  978-0-387-98767-5.
  40. دورف، ريتشارد سي. (1998)، دليل إدارة التكنولوجيا ، مطبعة سي آر سي، ص 9-7 ، رقم ISBN  978-0-8493-8577-3.
  41. بوسلاو، سارة (2008)، موسوعة علم الأوبئة، المجلد 1 ، دار سيج للنشر، ص 255، رقم ISBN  978-1-4129-2816-8.
  42. بيرل، جوديا (1995)، "المخططات السببية للبحث التجريبي" ، Biometrika ، 82 (4): 669-709 ، doi : 10.1093/biomet/82.4.669.
  43. كيركباتريك، بوني ب. (أبريل 2011)، "الأنماط الفردية مقابل الأنماط الجينية في الأنساب"، خوارزميات البيولوجيا الجزيئية ، 6 (10) 10، doi : 10.1186/1748-7188-6-10 ، PMC 3102622 ، PMID 21504603  .
  44. ماكغوفين، إم جيه؛ بالاكريشنان، آر. (2005)، "التصور التفاعلي للرسوم البيانية للأنساب" (ملف PDF) ، ندوة IEEE حول تصور المعلومات (INFOVIS 2005) ، الصفحات 16-23 ، doi : 10.1109/INFVIS.2005.1532124 ، ISBN  978-0-7803-9464-3، S2CID 15449409 .
  45. بيندر، مايكل أ.؛ بيماساني، جيريدهار؛ سكينا، ستيفن؛ سومازين، بافيل (2001)، "إيجاد أقل الأسلاف المشتركة في الرسوم البيانية الموجهة غير الدورية" ، وقائع الندوة السنوية الثانية عشرة لجمعية ACM-SIAM حول الخوارزميات المنفصلة (SODA '01) ، فيلادلفيا، بنسلفانيا، الولايات المتحدة الأمريكية: جمعية الرياضيات الصناعية والتطبيقية، الصفحات 845-854 ، ISBN  978-0-89871-490-6.
  46. بارتلانغ، أودو (2010)، بنية وأساليب إدارة المحتوى المرنة في أنظمة الند للند ، سبرينغر، ص 59، رمز Bibcode : 2010aamf.book.....B ، ISBN  978-3-8348-9645-2.
  47. باتش، يانوس ؛ شارير، ميشا (2008)، الهندسة التوافقية وتطبيقاتها الخوارزمية: محاضرات ألكالا ، دراسات وأبحاث رياضية، المجلد 152، الجمعية الرياضية الأمريكية، الصفحات 93-94 ، ISBN   978-0-8218-7533-9.
  48. برايس، ديريك ج. دي سولا (30 يوليو 1965)، "شبكات الأوراق العلمية" (ملف PDF) ، مجلة ساينس ، 149 (3683): ​​510-515 ، رمز Bibcode : 1965Sci...149..510D ، doi : 10.1126/science.149.3683.510 ، PMID 14325149 .
  49. برايس، ديريك ج. دي سولا (1976)، "نظرية عامة لعمليات قياس الإنتاجية البحثية وغيرها من عمليات الميزة التراكمية"، مجلة الجمعية الأمريكية لعلوم المعلومات ، 27 (5): 292-306 ، doi : 10.1002/asi.4630270505 ، S2CID 8536863 .
  50. كلوف، جيمس ر.؛ جولينجز، جيمي؛ لوتش، تامار ف.؛ إيفانز، تيم س. (2015)، "الاختزال المتعدي لشبكات الاستشهاد"، مجلة الشبكات المعقدة ، 3 (2): 189-203 ، arXiv : 1310.8224 ، doi : 10.1093/comnet/cnu039 ، S2CID 10228152 .
  51. إيفانز، تي إس؛ كالمون، إل؛ فاسيليوسكايت، في (2020)، "أطول مسار في نموذج السعر"، التقارير العلمية ، 10 (1): 10503، arXiv : 1903.03667 ، Bibcode : 2020NatSR..1010503E ، doi : 10.1038/s41598-020-67421-8 ، PMC 7324613 ، PMID 32601403  
  52. كروشيمور، ماكسيم؛ فيرين، رينو (1997)، "الإنشاء المباشر لرسوم بيانية للكلمات الموجهة المدمجة غير الدورية"، مطابقة الأنماط التوافقية ، سلسلة محاضرات في علوم الحاسوب، المجلد 1264، سبرينغر، الصفحات 116-129 ، CiteSeerX 10.1.1.53.6273 ، doi : 10.1007/3-540-63220-4_55 ، ISBN    978-3-540-63220-7، S2CID 17045308 .
  53. ^ كورمين، توماس هـ. ليسرسون، تشارلز إي. ريفست، رونالد L.؛ Stein، Clifford (2009)، مقدمة للخوارزميات ( الطبعة الثالثة)، مطبعة معهد ماساتشوستس للتكنولوجيا، الصفحات من 286 إلى 307، ISBN   978-0-262-03384-8.
  54. لوثير، م. (2005)، التوافقية التطبيقية على الكلمات ، موسوعة الرياضيات وتطبيقاتها، المجلد 105، مطبعة جامعة كامبريدج، ص 18، ISBN   9780521848022.
  55. لي، سي واي (1959)، "تمثيل دوائر التبديل بواسطة برامج القرار الثنائي"، مجلة بيل سيستم التقنية ، 38 (4): 985-999 ، رمز Bibcode : 1959BSTJ...38..985L ، doi : 10.1002/j.1538-7305.1959.tb01585.x.
  56. أكيرز، شيلدون ب. (1978)، "مخططات القرار الثنائية"، معاملات IEEE في الحوسبة ، C-27 (6): 509-516 ، Bibcode : 1978ITCmp.100..509A ، doi : 10.1109/TC.1978.1675141 ، S2CID 21028055 .
  57. فريدمان، إس. جيه.؛ سوبويت، كيه. جيه. (1987)، "إيجاد الترتيب الأمثل للمتغيرات في مخططات القرار الثنائية"، وقائع المؤتمر الرابع والعشرين لأتمتة التصميم ACM/IEEE (DAC '87) ، نيويورك، نيويورك، الولايات المتحدة الأمريكية: ACM، الصفحات 348-356 ، doi : 10.1145/37888.37941 ، ISBN  978-0-8186-0781-3، S2CID 14796451 .