Kirchhoffs teoremi - Kirchhoffs theorem - Wikipedia

İçinde matematiksel alanı grafik teorisi, Kirchhoff teoremi veya Kirchhoff'un matris ağaç teoremi adını Gustav Kirchhoff sayısı hakkında bir teoremdir ağaçları kapsayan içinde grafik, bu sayının hesaplanabileceğini gösteren polinom zamanı olarak belirleyici of Laplacian matrisi grafiğin. Bu bir genellemedir Cayley formülü bu, bir içindeki yayılan ağaçların sayısını sağlar tam grafik.

Kirchhoff'un teoremi, Laplacian matrisi grafiğin arasındaki farka eşit bir grafiğin derece matrisi (köşegenler üzerinde köşe dereceleri olan bir köşegen matris) ve bitişik matris (a (0,1) - köşelerin bitişik olduğu girişlere karşılık gelen yerlerde 1 ve aksi takdirde 0 olan bir matris).

Belirli bir bağlantılı grafik için G ile n etiketli köşeler, İzin Vermek λ₁, λ₂, ..., λ_n₋₁ sıfır olmayan ol özdeğerler Laplacian matrisi. Sonra yayılan ağaçların sayısı G dır-dir

{ displaystyle t (G) = { frac {1} {n}} lambda _ {1} lambda _ {2} cdots lambda _ {n-1} ,.}

Eşdeğer olarak, yayılan ağaçların sayısı eşittir hiç Laplacian matrisinin kofaktörü G.

Matris ağacı teoremini kullanan bir örnek

Matris-Ağaç Teoremi, bu grafiğin etiketlenmiş yayılma ağaçlarının sayısını hesaplamak için kullanılabilir.

İlk önce Laplacian matrisi Q örnek için elmas grafik G (sağdaki resme bakın):

{ displaystyle Q = sol [{ başlar {dizi} {rrrr} 2 & -1 & -1 & 0 - 1 & 3 & -1 & -1 - 1 & -1 & 3 & -1 0 & -1 & -1 & 2 end {array} }sağ].}

Ardından bir matris oluşturun Q^* içindeki herhangi bir satırı ve herhangi bir sütunu silerek Q. Örneğin, 1. satırı ve 1. sütunu silmek,

{ displaystyle Q ^ { ast} = sol [{ begin {array} {rrr} 3 & -1 & -1 - 1 & 3 & -1 - 1 & -1 & 2 end {array}} right].}

Son olarak belirleyici nın-nin Q^* elde etmek üzere t (G), elmas grafik için 8'dir. (Farkına varmak t (G) ... (1,1)-kofaktörü Q bu örnekte.)

Kanıt taslağı

(Aşağıdaki kanıt, Cauchy-Binet formülü. Kirchhoff teoremi için temel bir tümevarım argümanı sayfa 654'te bulunabilir. ^[1].)

İlk olarak, Laplacian matrisinin, herhangi bir satır ve herhangi bir sütundaki girişlerinin toplamının 0 olma özelliğine sahip olduğuna dikkat edin. Böylece, herhangi bir küçük, satırlar ve sütunlar ekleyerek, bunları değiştirerek ve bir satırı veya bir sütunu çarparak herhangi bir minöre dönüştürebiliriz. −1 ile. Böylece kofaktörler imzalamak için aynıdır ve aslında aynı işarete sahip oldukları doğrulanabilir.

Minörün determinantının M₁₁ yayılan ağaçların sayısını sayar. İzin Vermek n grafiğin köşe noktalarının sayısı ve m kenarlarının sayısı. İnsidans matrisi E bir n-tarafından-m aşağıdaki gibi tanımlanabilen matris: varsayalım (ben, j) kgrafiğin kenarı ve bu ben < j. Sonra E_ik = 1, E_jk = −1ve sütundaki diğer tüm girişler k 0'dır (bkz. Sıklık matrisi Bu değiştirilmiş insidans matrisini anlamak için E). Önceki örnek için ( n = 4 ve m = 5):

{ displaystyle E = { begin {bmatrix} 1 & 1 & 0 & 0 & 0 - 1 & 0 & 1 & 1 & 0 0 & -1 & -1 & 0 & 1 0 & 0 & 0 & -1 & -1 end {bmatrix}}.}

Laplacian'ın L ürünün çarpanlarına ayrılabilir insidans matrisi ve devrik, yani L = EE^T. Ayrıca, izin ver F matris ol E ilk satırı silindi, böylece FF^T = M₁₁.

Şimdi Cauchy-Binet formülü yazmamıza izin verir

{ displaystyle det sol (M_ {11} sağ) = toplamı _ {S} det sol (F_ {S} sağ) det sol (F_ {S} ^ {T} sağ) = toplam _ {S} det left (F_ {S} sağ) ^ {2}}

nerede S alt kümelerindeki aralıklar [m] boyut n - 1 ve F_S (n - 1) -by- (n - 1) sütunları aşağıdakilere ait olan matris F indeksi ile S. Sonra her S belirtir n - Orijinal grafiğin 1 kenarı, ve bu kenarların belirleyicinin belirleyicisi dışında bir yayılan ağacı indüklediği gösterilebilir. F_S +1 veya -1'dir ve determinant 0 ise kapsayan bir ağaç oluşturmazlar. Bu ispatı tamamlar.

Özel durumlar ve genellemeler

Cayley formülü

Cayley formülü Kirchhoff teoremini özel bir durum olarak takip eder, çünkü bir yerde 1, başka bir yerde −1 ve başka bir yerde 0 olan her vektör, karşılık gelen özdeğeri olan tüm grafiğin Laplacian matrisinin bir özvektörüdür. n. Bu vektörler birlikte bir boyut uzayını kapsar n - 1, yani sıfır olmayan başka özdeğer yok.

Alternatif olarak, Cayley formülünün tam bir grafiğin farklı etiketli ağaçlarının sayısını saydığına dikkat edin. K_n Laplacian matrisinin herhangi bir kofaktörünü hesaplamamız gerekir. K_n. Bu durumda Laplacian matrisi

{ displaystyle { begin {bmatrix} n-1 & -1 & cdots & -1 - 1 & n-1 & cdots & -1 vdots & vdots & ddots & vdots - 1 & -1 & cdot & n-1 end {bmatrix}}.}

Yukarıdaki matrisin herhangi bir kofaktörü, nⁿ⁻², Cayley'nin formülü.

Kirchhoff'un multigraflar için teoremi

Kirchhoff teoremi için geçerlidir çoklu grafik ayrıca; matris Q aşağıdaki gibi değiştirildi:

Giriş q_{ben, j} eşittir -m, nerede m arasındaki kenarların sayısı ben ve j;
bir tepe noktasının derecesini sayarken, tümü döngüler dahil edilmez.

Cayley'in tam bir multigrafi formülü şöyledir: m^n-1(n^n-1- (n-1) n^n-2) Yukarıda üretilen aynı yöntemlerle, çünkü basit bir grafik m = 1 olan bir multigraftır.

Yayılan ağaçların açık numaralandırılması

Kirchhoff teoremi, Laplacian matrisinin tanımını değiştirerek güçlendirilebilir. Yalnızca her köşeden çıkan kenarları saymak veya bir çift köşeyi birleştirmek yerine, her kenarı bir belirsiz ve izin ver (ben, j) - Değiştirilmiş Laplacian matrisinin. girişi, arasındaki kenarlara karşılık gelen belirsizlerin toplamıdır. ben-th ve j-th köşeler ne zaman ben eşit değil jve tüm belirsizlerin negatif toplamı, ben-th köşe ne zaman ben eşittir j.

Değiştirilmiş Laplacian matrisinin herhangi bir satırı ve sütunu silerek belirleyicisi (orijinal Laplacian matrisinden yayılan ağaçların sayısını bulmaya benzer şekilde), o zaman yukarıdaki bir homojen polinom (Kirchhoff polinomu) grafiğin kenarlarına karşılık gelen belirsizlerde. Şartları topladıktan ve olası tüm iptalleri gerçekleştirdikten sonra, her biri tek terimli sonuçta ortaya çıkan ifadede, o tek terimlide görünen belirsizlere karşılık gelen kenarlardan oluşan bir kapsayan ağacı temsil eder. Bu şekilde, basitçe determinantı hesaplayarak grafiğin tüm yayılan ağaçlarının açık bir şekilde numaralandırılması elde edilebilir.

Matroidler

Bir grafiğin yayılan ağaçları, bir grafiğin temellerini oluşturur. grafik matroid Kirchhoff teoremi bir grafik matroid içindeki baz sayısını saymak için bir formül sağlar. Aynı yöntem, içindeki bazların sayısını saymak için de kullanılabilir. normal matroidler, grafik matroidlerin bir genellemesi (Maurer 1976 ).

Kirchhoff'un yönlendirilmiş multigraflar için teoremi

Kirchhoff teoremi, yönlendirilmiş çoklu grafiklerde yönlendirilmiş yayılan ağaçların sayısını saymak için değiştirilebilir. Q aşağıdaki gibi inşa edilmiştir:

Giriş q_{ben, j} farklı için ben ve j eşittir -m, nerede m kenarların sayısı ben -e j;
Giriş q_{ben, ben} dezavantajına eşittir ben eksi döngü sayısı ben.

Bir tepe noktasında köklenen yönlendirilmiş yayılan ağaçların sayısı ben kaldırılarak elde edilen matrisin determinantıdır bensatır ve sütun Q.

Kapsayan sayma kbileşen ormanlar

Kirchhoff teoremi saymak için genelleştirilebilir $k$ - ağırlıksız bir grafikte ormanları kapsayan bileşen.^[2] Bir $k$ ormanı kapsayan bileşen bir alt grafiktir $k$ bağlı bileşenler tüm köşeleri içeren ve döngü içermeyen, yani her köşe çifti arasında en fazla bir yol vardır. Böyle bir orman verildiğinde F bağlı bileşenlerle ${ textstyle F_ {1}, noktalar, F_ {k}}$ , ağırlığını tanımlayın ${ textstyle w (F) = | V (F_ {1}) | cdot noktalar cdot | V (F_ {k}) |}$ her bileşendeki köşe sayısının ürünü olmak. Sonra

{ displaystyle toplamı _ {F} w (F) = q_ {k},}

toplamın bittiği yerde $k$ - ormanları kapsayan bileşen ve ${ textstyle q_ {k}}$ katsayısı ${ displaystyle x ^ {k}}$ polinomun

{ displaystyle (x + lambda _ {1}) noktalar (x + lambda _ {n-1}) x.}

Polinomdaki son faktör, sıfır özdeğerine bağlıdır. ${ textstyle lambda _ {n} = 0}$ . Daha açık bir şekilde, sayı ${ textstyle q_ {k}}$ olarak hesaplanabilir

{ displaystyle q_ {k} = toplam _ { {i_ {1}, noktalar, i_ {nk} } alt küme {1 noktalar n-1 }} lambda _ {i_ {1}} noktalar lambda _ {i_ {nk}}.}

toplamın bittiği yerde n–k-element alt kümeleri ${ textstyle {1, noktalar, n }}$ . Örneğin

${ displaystyle { begin {align} q_ {n-1} & = lambda _ {1} + dots + lambda _ {n-1} = mathrm {tr} Q = 2 | E | q_ {n-2} & = lambda _ {1} lambda _ {2} + lambda _ {1} lambda _ {3} + dots + lambda _ {n-2} lambda _ {n- 1} q_ {2} & = lambda _ {1} dots lambda _ {n-2} + lambda _ {1} dots lambda _ {n-3} lambda _ {n-1 } + dots + lambda _ {2} dots lambda _ {n-1} q_ {1} & = lambda _ {1} dots lambda _ {n-1} end { hizalı}}}$

Geniş bir ormandan beri n–1 bileşenler tek bir kenara karşılık gelir, k = n - 1 durum, özdeğerlerin toplamının Q kenar sayısının iki katıdır. k = 1 durumu orijinal Kirchhoff teoremine karşılık gelir çünkü her yayılan ağacın ağırlığı n.

İspat, Kirchhoff teoreminin ispatına benzer şekilde yapılabilir. Bir tersinir ${ metin stili (n-k) kere (n-k)}$ İnsidans matrisinin alt matrisi, iki taraflı olarak bir k- her bileşen için bir tepe noktası seçimi ile ormanı kapsayan bileşen.

Katsayılar ${ textstyle q_ {k}}$ katsayılarını imzalayacak karakteristik polinom nın-nin Q.

Ayrıca bakınız

Referanslar

^ Moore, Cristopher (2011). Hesaplamanın doğası. Oxford İngiltere New York: Oxford University Press. ISBN 978-0-19-923321-2. OCLC 180753706.
^ Biggs, N. (1993). Cebirsel Grafik Teorisi. Cambridge University Press.

Harris, John M .; Hirst, Jeffry L .; Mossinghoff, Michael J. (2008), Kombinatorik ve Çizge Teorisi, Matematik Lisans Metinleri (2. baskı), Springer.
Maurer, Stephen B. (1976), "Grafiklerdeki ağaçlar, döngüler ve döngülerin bazı teoremlerinin matris genellemeleri", SIAM Uygulamalı Matematik Dergisi, 30 (1): 143–148, doi:10.1137/0130017, BAY 0392635.
Tutte, W.T. (2001), Grafik teorisi, Cambridge University Press, s. 138, ISBN 978-0-521-79489-3.
Chaiken, S .; Kleitman, D. (1978), "Matris Ağacı Teoremleri", Kombinatoryal Teori Dergisi, Seri A, 24 (3): 377–381, doi:10.1016/0097-3165(78)90067-5, ISSN 0097-3165

Dış bağlantılar

Kirchhoff teoreminin bir kanıtı

[Moore_2011_p._654-1] Moore, Cristopher (2011). Hesaplamanın doğası. Oxford İngiltere New York: Oxford University Press. ISBN 978-0-19-923321-2. OCLC 180753706.

[2] Biggs, N. (1993). Cebirsel Grafik Teorisi. Cambridge University Press.

[1]

[2]