Kirchhoff matriisi
Kirchhoff -matriisi on yksi matriisia käyttävän äärellisen graafin esityksistä . Kirchhoff-matriisi edustaa graafin diskreettiä Laplace-operaattoria . Sitä käytetään tietyn graafin virittävien puiden laskemiseen ( matriisipuulause ) ja myös spektrigraafiteoriassa .
Määritelmä
Annettu yksinkertainen graafi , jossa on pisteitä. Sitten annetun graafin Kirchhoff-matriisi määritellään seuraavasti:
![\G](https://wikimedia.org/api/rest_v1/media/math/render/svg/5f38cbd6027cb9c78d50514eca99aa8d23370669)
![{\displaystyle \ |V(G)|=n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/17ef9be2521922a6d96ccc19e0b0ea3a5a974f07)
![{\displaystyle \ K=(k_{i,j})_{n\times n))](https://wikimedia.org/api/rest_v1/media/math/render/svg/a173cd149d97c8040027e10f1d66f6c2cd200b7e)
Myös Kirchhoff-matriisi voidaan määritellä matriisien erotukseksi
missä on annetun graafin vierekkäisyysmatriisi ja on matriisi, jonka päädiagonaalissa ovat graafin kärkien asteet ja loput alkiot ovat nollia:
![\A](https://wikimedia.org/api/rest_v1/media/math/render/svg/9a29b7d7604962065930f413ee72574d1f7a6e81)
![{\displaystyle \ D=(d_{i,j})_{n\times n))](https://wikimedia.org/api/rest_v1/media/math/render/svg/f6d9fb18af5f21a3911413683a8f6b181dec6301)
Jos kuvaaja on painotettu , Kirchhoff-matriisin määritelmä yleistetään. Tässä tapauksessa Kirchhoff-matriisin päädiagonaalin alkiot ovat vastaavaan kärkeen osuvien reunojen painojen summa. Vierekkäisille (liitetyille) kärkipisteille , missä on reunan paino (johtavuus). Erilaisille ei-viereisille (ei-liittyneille) kärkeille , .
![{\displaystyle \k_{i,j}=-c(v_{i},v_{j})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cb7e13b021aec5b04cc7a0a69f0c19275591f258)
![{\displaystyle \ c(v_{i},v_{j})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/be3f4b15102a26651f38b98be4a310daa4c6dc97)
![{\displaystyle \k_{i,j}=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2eca3c24763c9fd1fed58e63ed17578f03f50882)
Painotetussa graafissa viereisyysmatriisi kirjoitetaan ottaen huomioon reunojen johtavuudet, ja matriisin päädiagonaalissa on vastaaviin kärkikohtiin osuvien reunojen johtavuuksien summat.
![\A](https://wikimedia.org/api/rest_v1/media/math/render/svg/9a29b7d7604962065930f413ee72574d1f7a6e81)
![\D](https://wikimedia.org/api/rest_v1/media/math/render/svg/48383587167b826b6d844b78dfb16e6c4ecd9aa5)
Esimerkki
Esimerkki Kirchhoff-matriisista yksinkertaiselle graafille.
Ominaisuudet
- Kirchhoff-matriisin jokaisen rivin (sarakkeen) elementtien summa on nolla:
.
- Kirchhoff-matriisin determinantti on nolla:
![{\displaystyle \det K=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2551fd73262f274701ec06c83ce59f9ccde89d5d)
- Kaikki symmetrisen Kirchhoff-matriisin algebralliset komplementit ovat keskenään yhtä suuret - Kirchhoff-matriisin vakio . Yksinkertaisessa graafissa tietyn vakion arvo on sama kuin graafin kaikkien mahdollisten runkojen lukumäärä (katso Matriisipuulause ).
![{\näyttötyyli \ K_{(ij)))](https://wikimedia.org/api/rest_v1/media/math/render/svg/2867b24e0d0019a0c6265ee753a3ffe45f245110)
- Jos painotettu graafi on sähköverkko, jossa kunkin reunan paino vastaa sen johtavuutta , niin Kirchhoff-matriisin minorit mahdollistavat pisteiden ja annetun verkon
välisen resistiivisen etäisyyden laskemisen:
![{\displaystyle \ R_{ij))](https://wikimedia.org/api/rest_v1/media/math/render/svg/46c89b641fa21b7fd6620e45dd4ea82324841732)
![\i](https://wikimedia.org/api/rest_v1/media/math/render/svg/bc8d2dfe9ddfc5489e5ce676d223cc41a9489763)
![{\näyttötyyli \j}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e5596a7f96612923b3136b11fa6d8ac54e4e7e01)
, tässä on Kirchhoff-matriisin vakio (algebrallinen komplementti), ja se on 2. kertaluvun algebrallinen komplementti, eli matriisin determinantti, joka saadaan Kirchhoff-matriisista poistamalla kaksi riviä ja kaksi saraketta .![{\näyttötyyli \ K_{(ij)))](https://wikimedia.org/api/rest_v1/media/math/render/svg/2867b24e0d0019a0c6265ee753a3ffe45f245110)
![{\näyttötyyli \ K^{(i,j)))](https://wikimedia.org/api/rest_v1/media/math/render/svg/c4de2a96432cdd884c918e2f095e25c75695dda0)
![{\näyttötyyli \i,j}](https://wikimedia.org/api/rest_v1/media/math/render/svg/18bcc61d9773c334d4a959b7a5b19a646c34b9b7)
- Kirchhoff-matriisin palauttamiseksi resistanssimatriisista on olemassa algoritmi .
![R_{ij}](https://wikimedia.org/api/rest_v1/media/math/render/svg/50382df1fd3bebf0baf22e2eab56a7a471d6621a)
- 0 on matriisin ominaisarvo (vastaava ominaisvektori on kaikki ykköset), sen monikertaisuus on yhtä suuri kuin graafin yhdistettyjen komponenttien lukumäärä.
- Loput ominaisarvot ovat positiivisia. Fiedler kutsui toiseksi pienintä arvoa graafin yhteysindeksiksi, vastaava ominaisvektori on Fiedler-vektori (ei pidä sekoittaa Randic-graafin yhteysindeksiin ).
Katso myös