Kirchhoffova matice
Kirchhoffova matice je jednou z reprezentací konečného grafu pomocí matice. Kirchhoffova matice představuje diskrétní Laplaceův operátor pro graf. Používá se k počítání kostry daného grafu ( teorém maticového stromu ) a také v teorii spektrálních grafů .
Definice
Daný jednoduchý graf s vrcholy. Poté bude Kirchhoffova matice daného grafu definována takto:
Kirchhoffovu matici lze také definovat jako rozdíl matic
kde je matice sousednosti daného grafu a je matice, na jejíž hlavní diagonále jsou stupně vrcholů grafu a zbývající prvky jsou nuly:
Pokud je graf vážený , pak se definice Kirchhoffovy matice zobecní. V tomto případě budou prvky hlavní úhlopříčky Kirchhoffovy matice součtem vah hran dopadajících na odpovídající vrchol. Pro sousední (spojené) vrcholy , kde je hmotnost (vodivost) hrany. Pro různé nesousedící (nespojené) vrcholy , .
Pro vážený graf je matice sousednosti zapsána s přihlédnutím k vodivosti hran a na hlavní diagonále matice budou součty vodivosti hran dopadajících na odpovídající vrcholy.
Příklad
Příklad Kirchhoffovy matice pro jednoduchý graf.
Vlastnosti
- Součet prvků každého řádku (sloupce) Kirchhoffovy matice je nula:
.
- Determinant Kirchhoffovy matice je nula:
- Všechny algebraické doplňky symetrické Kirchhoffovy matice jsou si navzájem rovny - konstanta Kirchhoffovy matice. Pro jednoduchý graf je hodnota dané konstanty stejná jako počet všech možných koster grafu (viz věta o maticovém stromu ).
- Pokud je váženým grafem elektrická síť, kde váha každé hrany odpovídá její vodivosti , pak nám minority Kirchhoffovy matice umožňují vypočítat odporovou vzdálenost mezi body a dané sítě:
, zde je konstanta (algebraický doplněk) Kirchhoffovy matice a je algebraický doplněk 2. řádu, tedy determinant matice získaný z Kirchhoffovy matice vymazáním dvou řádků a dvou sloupců .
- Existuje algoritmus pro obnovu Kirchhoffovy matice z matice odporu .
- 0 je vlastní hodnota matice (odpovídající vlastní vektor jsou všechny jedničky), její násobnost je rovna počtu spojených složek grafu.
- Zbytek vlastních čísel je kladný. Fiedler nazval druhou nejmenší hodnotu index konektivity grafu, odpovídajícím vlastním vektorem je Fiedlerův vektor (neplést s indexem konektivity Randicova grafu ).
Viz také