جبر الرسوم البيانية
في الرياضيات ، وخاصة في مجالي الجبر الشامل ونظرية المخططات ، يُعدّ جبر المخططات طريقةً لإضفاء بنية جبرية على المخططات الموجهة . وقد قدّمه ماكنولتي وشالون [ 1 ] ، وشهد منذ ذلك الحين استخدامات عديدة في مجال الجبر الشامل.
تعريف
ليكن D = ( V , E ) رسمًا بيانيًا موجهًا ، وليكن 0 عنصرًا لا ينتمي إلى V. جبر الرسم البياني المرتبط بـ D له مجموعة أساسيةوهو مزود بعملية ضرب محددة وفقًا للقواعد
- xy = x إذاو،
- xy = 0 إذاو.
التطبيقات
أتاح هذا المفهوم استخدام أساليب نظرية المخططات في الجبر الشامل والعديد من المجالات الأخرى في الرياضيات المتقطعة وعلوم الحاسوب . وقد استُخدمت جبر المخططات، على سبيل المثال، في البنى المتعلقة بالثنائيات ، [ 2 ] والنظريات المعادلة ، [ 3 ] والتسطيح ، [ 4 ] وحلقات الزمر الجزئية ، [ 5 ] والطوبولوجيا ، [ 6 ] والمتنوعات ، [ 7 ] وآلات الحالة المحدودة ، [ 8 ] [ 9 ] ولغات الأشجار وآلات الأشجار ، [ 10 ] وغيرها.
انظر أيضاً
الاقتباسات
- ↑ ماكنولتي وشالون 1983 ، ص 206-231 .
- ↑ Davey et al. 2000 ، ص 145-172.
- ^ بوشل 1989 ، ص 273-282.
- ^ ديليتش 2001 ، ص 453-469.
- ↑ لي 1991 ، ص 117-121.
- ↑ لي 1988 ، ص 147-156.
- ↑ Oates-Williams 1984 ، ص 175-177.
- ^ كيلاريف وميلر وسوكراتوفا 2005 ، ص 46-54.
- ^ كيلاريف وسوكراتوفا 2003 ، ص 31-43.
- ^ كيلاريف وسوكراتوفا 2001 ، ص 305–311.
المراجع
- ديفي، برايان أ.؛ إدزياك، باول م.؛ لامبي، ويليام أ.؛ ماكنولتي، جورج ف. (2000). "الازدواجية وجبر الرسوم البيانية" . الرياضيات المتقطعة . 214 (1): 145-172 . doi : 10.1016/S0012-365X(99)00225-3 . ISSN 0012-365X . MR 1743633 .
- ديليتش، ديجان (2001). "قواعد منتهية لجبر الرسوم البيانية المسطحة" . مجلة الجبر . 246 (1): 453-469 . doi : 10.1006/jabr.2001.8947 . ISSN 0021-8693 . MR 1872631 .
- كيلاريف، أ. ف.؛ ميلر، م.؛ سوكراتوفا، أ. ف. (2005). "اللغات التي تتعرف عليها الأوتوماتا ثنائية الجانب للرسوم البيانية". وقائع الأكاديمية الإستونية للعلوم . 54 (1): 46-54 . ISSN 1736-6046 . MR 2126358 .
- كيلاريف، أ. ف.؛ سوكراتوفا، أ. ف. (2001). "الرسوم البيانية الموجهة والجبر النحوي للغات الشجرية". مجلة الأتمتة واللغات والتوافقية . 6 (3): 305-311 . الرقم الدولي الموحد للدوريات 1430-189X . MR 1879773 .
- كيلاريف، أ. ف.؛ سوكراتوفا، أ. ف. (2003). "حول تطابقات الأوتوماتا المعرفة بواسطة الرسوم البيانية الموجهة" (ملف PDF) . علوم الحاسوب النظرية . 301 ( 1-3 ): 31-43 . doi : 10.1016/S0304-3975(02)00544-3 . ISSN 0304-3975 . MR 1975219 .
- لي، س.-م. (1988). "جبر الرسوم البيانية الذي يقبل فقط الطوبولوجيات المنفصلة". عدد المؤتمرات 64 : 147-156 . الرقم الدولي الموحد للدوريات 1736-6046 . MR 0988675 .
- لي، س.-م. (1991). "جبر الرسوم البيانية البسيط والحلقات البسيطة". نشرة جنوب شرق آسيا للرياضيات . 15 (2): 117-121 . ISSN 0129-2021 . MR 1145431 .
- ماكنولتي، جورج ف.؛ شالون، كارولين ر. (1983). "الجبر المحدود ذو الأساس غير المحدود بطبيعته". في: فريز، رالف س.؛ غارسيا، أوكتافيو س. (محرران). الجبر الشامل ونظرية الشبكات (بويبلا، 1982) . سلسلة محاضرات في الرياضيات. المجلد 1004. برلين، مدينة نيويورك: سبرينغر-فيرلاغ . الصفحات 206-231 . doi : 10.1007/BFb0063439 . hdl : 10338.dmlcz/102157 . ISBN 978-354012329-3MR 0716184 – عبر أرشيف الإنترنت .
- أوتس-ويليامز، شيلا (1984). "حول التنوع الناتج عن جبر مورسكي". الجبر الشامل . 18 (2): 175-177 . doi : 10.1007/BF01198526 . ISSN 0002-5240 . MR 0743465. S2CID 121598599 .
- بوشيل، ر. (1989). "المنطق المعادلاتي لجبر الرسوم البيانية". مجلة الرياضيات والمنطق وأساسيات الرياضيات. 35 ( 3): 273-282 . doi : 10.1002/malq.19890350311 . MR 1000970 .
للمزيد من القراءة
- كيلاريف، AV (2003). الرسم البياني الجبر والأتمتة . مدينة نيويورك: مارسيل ديكر . رقم ISBN 0-8247-4708-9MR 2064147 – عبر أرشيف الإنترنت .
- كيس، إي دبليو؛ بوشيل، آر؛ بروهل، بي (1990). "أصناف فرعية من الأصناف المولدة بواسطة جبر الرسوم البيانية". أكتا ساينس ماث . 54 ( 1-2 ): 57-75 . MR 1073419 .
- رايبورن، إيان (2005). جبر الرسوم البيانية . الجمعية الرياضية الأمريكية . ISBN 978-082183660-6.
- نظرية الرسم البياني
- الجبر الشامل
