משפט קירכהוף

בתחום המתמטי של תורת הגרפים משפט קירכהוף או משפט מטריצת העץ של קירכהוף, הנקרא על שם הפיזיקאי הגרמני גוסטב קירכהוף, מספק את מספר העצים הפורשים בגרף. המשפט הוא הכללה לנוסחת קיילי הקובעת כי מספר העצים הפורשים בגרף שלם בעל n צמתים הוא . 

הלפלסיאן של גרף
עבור גרף  בעל  קודקודים הלפלסיאן  של  הוא המטריצה  המתקבלת מההפרש בין מטריצת הדרגות (מטריצה אלכסונית בה  דרגות הצמתים מופיעות על האלכסון) למטריצת השכנויות של . הערכים העצמיים של מטריצה זו  מקיימים:  (הווקטור העצמי המתאים לו הוא ) ולכל ,
.
מספר הפעמים שהערך 0 מופיע כערך עצמי הוא כמספר רכיבי הקשירות של , ולכן אם הגרף קשיר אז  חיוביים ממש.

המשפט
יהא  גרף קשיר בעל  קודקודים, ויהיו  ערכים עצמיים שונים מאפס של הלאפלסיאן  של . אזי , מספר העצים הפורשים של , הוא:

במילים אחרות, מספר העצים הפורשים שווה למינור של .

נוסחת קיילי ומשפט קירכהוף
נוסחת קיילי נגזרת ממשפט קירכהוף כמקרה פרטי, על ידי חישוב הערכים העצמיים של הלפלסיאן של גרף שלם בעל  צמתים: כל וקטור בעל הערך 1 באיבר אחד, 1- באיבר אחר ו-0 בכל מקום אחר בווקטור העצמי של הלפלסיאן של הגרף השלם, כאשר הערך העצמי המתאים לו הוא . הווקטורים הללו פורשים מרחב בעל ממד מסדר  ולכן אין שום ערכים עצמיים נוספים השונים מ-0, כלומר .

קישורים חיצוניים

קירכהוף
קירכהוף