صيغة كايلي

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

الصيغة تعد بصورة مكافئة عدد الأشجار المغطية في رسم بياني كامل مع رؤوس مميزة.

برهان 
العديد من البراهين صيغة كايلي الجديرة بالملاحظة معروفة.

واحد من البراهين، تجد دالة تقابلية بين عدد الأشجار بـ n رؤوس مع عدد الكلمات بطول n - 2 وn أحرف ممكنة.

تاريخ 
تم اكتشاف الصيغة في البداية على يد كارل برتشاردت في 1860، وبرهنت بواسطة المحدد. في مذكرة قصيرة من سنة 1889، كايلي وسع الصيغة في اتجاهات عدة، مع أخذ درجات الرؤوس بالحسبان. بالرغم من أنه أشار إلى مقال برتشاردت الأصلي، إلا أن الاسم «صيغة كايلي» أصبح القياسي في هذا المجال.

مراجع 

 .
 
 
 .

أشجار (نظرية المخططات)
مقالات تحوي براهين
نظرية المخططات