<?xml version="1.0"?>
<feed xmlns="http://www.w3.org/2005/Atom" xml:lang="zh-Hant-TW">
	<id>https://wiki.taigi.ima.org.tw/w/index.php?action=history&amp;feed=atom&amp;title=%E7%9F%A9%E9%99%A3%E6%A8%B9%E5%AE%9A%E7%90%86</id>
	<title>矩陣樹定理 - 修訂紀錄</title>
	<link rel="self" type="application/atom+xml" href="https://wiki.taigi.ima.org.tw/w/index.php?action=history&amp;feed=atom&amp;title=%E7%9F%A9%E9%99%A3%E6%A8%B9%E5%AE%9A%E7%90%86"/>
	<link rel="alternate" type="text/html" href="https://wiki.taigi.ima.org.tw/w/index.php?title=%E7%9F%A9%E9%99%A3%E6%A8%B9%E5%AE%9A%E7%90%86&amp;action=history"/>
	<updated>2026-05-12T03:12:46Z</updated>
	<subtitle>本 wiki 上此頁面的修訂紀錄</subtitle>
	<generator>MediaWiki 1.43.1</generator>
	<entry>
		<id>https://wiki.taigi.ima.org.tw/w/index.php?title=%E7%9F%A9%E9%99%A3%E6%A8%B9%E5%AE%9A%E7%90%86&amp;diff=462169&amp;oldid=prev</id>
		<title>TaiwanTonguesApiRobot：​從 JSON 檔案批量匯入</title>
		<link rel="alternate" type="text/html" href="https://wiki.taigi.ima.org.tw/w/index.php?title=%E7%9F%A9%E9%99%A3%E6%A8%B9%E5%AE%9A%E7%90%86&amp;diff=462169&amp;oldid=prev"/>
		<updated>2025-08-23T05:16:04Z</updated>

		<summary type="html">&lt;p&gt;從 JSON 檔案批量匯入&lt;/p&gt;
&lt;p&gt;&lt;b&gt;新頁面&lt;/b&gt;&lt;/p&gt;&lt;div&gt;佇圖論內底，&amp;#039;&amp;#039;&amp;#039;基爾霍夫定理（Kirchhoff theorem）&amp;#039;&amp;#039;&amp;#039;抑是&amp;#039;&amp;#039;&amp;#039;矩陣樹定理（matrix tree theorem）&amp;#039;&amp;#039;&amp;#039;是指圖的生做樹數量等於調佮矩陣的行列式（所以需要時間多項式計算）。&lt;br /&gt;
&lt;br /&gt;
若是 _ G _ 有 _ n _ 頂點，_ λ _ 一 ,   _ λ _ 二 ,   . . . ,   _ λn _ 鋪一是拉普拉斯矩陣的非零特徵值，著&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
: $ t ( G )={ \ frac { 一 } { n } } \ lambda _ { 一 } \ lambda _ { 二 } \ cdots \ lambda _ { n 影一 } . $&lt;br /&gt;
&lt;br /&gt;
這个定理以基爾霍夫名號名。這嘛是凱萊公式的推廣（若圖是完全圖）。&lt;br /&gt;
&lt;br /&gt;
==舉例==&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
: $ Q=\ left [{ \ begin { array } { rrrr } 二 &amp;amp; 影一 &amp;amp; 影一 &amp;amp; 零 \ \ 影一 &amp;amp; 三 &amp;amp; 影一 &amp;amp; 影一 \ \ 影一 &amp;amp; 影一 &amp;amp; 三 &amp;amp; 影一 \ \ 零 &amp;amp; 影一 &amp;amp; 影一 &amp;amp; 二 \ end { array } } \ right] . $&lt;br /&gt;
&lt;br /&gt;
刪除任何一个行佮一个列，比如講第一行佮第一列：&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
: $ Q ^ { \ ast }=\ left [{ \ begin { array } { rrr } 三 &amp;amp; 影一 &amp;amp; 影一 \ \ 影一 &amp;amp; 三 &amp;amp; 影一 \ \ 影一 &amp;amp; 影一 &amp;amp; 二 \ end { array } } \ right] . $&lt;br /&gt;
&lt;br /&gt;
著&lt;br /&gt;
&lt;br /&gt;
$ $&lt;br /&gt;
\ det ( Q ^ { * } )=八=t ( G )&lt;br /&gt;
$ $&lt;br /&gt;
&lt;br /&gt;
接續矩陣是&lt;br /&gt;
&lt;br /&gt;
$ $&lt;br /&gt;
K={ \ begin { bmatrix } 一 &amp;amp; 一 &amp;amp; 零 &amp;amp; 零 &amp;amp; 零 \ \ 影一 &amp;amp; 零 &amp;amp; 一 &amp;amp; 一 &amp;amp; 零 \ \ 零 &amp;amp; 影一 &amp;amp; 影一 &amp;amp; 零 &amp;amp; 一 \ \ 零 &amp;amp; 零 &amp;amp; 零 &amp;amp; 影一 &amp;amp; 影一 \ \ \ end { bmatrix } } .&lt;br /&gt;
$ $&lt;br /&gt;
&lt;br /&gt;
===凱萊公式===&lt;br /&gt;
&lt;br /&gt;
完全圖 _ Kn _ 伊的調佮矩陣是&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
: $ { \ begin { bmatrix } n 影一 &amp;amp; 影一 &amp;amp; \ cdots &amp;amp; 影一 \ \ 影一 &amp;amp; n 影一 &amp;amp; \ cdots &amp;amp; 影一 \ \ \ vdots &amp;amp; \ vdots &amp;amp; \ ddots &amp;amp; \ vdots \ \ 影一 &amp;amp; 影一 &amp;amp; \ cdots &amp;amp; n 影一 \ \ \ end { bmatrix } } . $&lt;br /&gt;
&lt;br /&gt;
任何餘因子的行列式是 _ nn-_ 二。閣再講 L 的所有特徵值是 n，而且 L 只有 n 糊一个特徵向量。所以成樹仔的總數閣是 _ nn-_ 二。&lt;br /&gt;
&lt;br /&gt;
==證明大綱==&lt;br /&gt;
&lt;br /&gt;
拉氏矩陣有這个屬性：任何行抑是列的元素總佮等於零。所以乎，無論刪除啥物行抑列，$ \ det ( L ^ { * } ) $ 攏是不變的。抑是講 L 的任何餘因為有仝款的行列式。&lt;br /&gt;
&lt;br /&gt;
若是 K 是接續矩陣，_ L _=KKT。佇矩陣 K 中，刪除任何一條行抑是列得著矩陣 F。設 _ FF _ T=_ M 十一 _。&lt;br /&gt;
&lt;br /&gt;
用柯西奈式&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
: $ \ det \ left ( M _ { 十一 } \ right )=\ sum _ { S } \ det \ left ( F _ { S } \ right ) \ det \ left ( F _ { S } ^ { T } \ right )=\ sum _ { S } \ det \ left ( F _ { S } \ right ) ^ { 二 } $&lt;br /&gt;
&lt;br /&gt;
會當表示這个行列式予生做樹仔的數量。&lt;br /&gt;
&lt;br /&gt;
==參見==&lt;br /&gt;
&lt;br /&gt;
* 普呂舒序列&lt;br /&gt;
* 細漢生做樹仔&lt;br /&gt;
&lt;br /&gt;
==閱讀==&lt;br /&gt;
&lt;br /&gt;
* Harris , John M . ; Hirst , Jeffry L . ; Mossinghoff , Michael J . , Combinatorics and Graph Theory , Undergraduate Texts in Mathematics 二 nd , Springer , 兩千空八&lt;br /&gt;
* Maurer , Stephen B . , Matrix generalizations of some theorems on trees , cycles and cocycles in graphs , SIAM Journal on Applied Mathematics , 一千九百七十六 ,&amp;#039;&amp;#039;&amp;#039;三十&amp;#039;&amp;#039;&amp;#039;( 一 ) : 一百四十三–一百四十八 , MR  三十九石兩千六百三十五 , doi : 十 . 十三抹空一十七分之一千一百三十七   .&lt;br /&gt;
* Tutte , W . T . , Graph Theory , Cambridge University Press : 一百三十八 , 兩千空一 , ISBN  九百七十八追空抹五百二十一孵七鋪九千四百八十九鼻三   .&lt;br /&gt;
* Chaiken , S . ; Kleitman , D . , Matrix Tree Theorems , Journal of Combinatorial Theory , Series A , 一千九百七十八 ,&amp;#039;&amp;#039;&amp;#039;二十四&amp;#039;&amp;#039;&amp;#039;( 三 ) : 三百七十七–三百八十一 , ISSN  九十七孵三千一百六十五 , doi : 十 . 九十七分之一千空一十六嬸三千一百六十五 ( 七十八 ) 九九四空六十七孵五&lt;br /&gt;
&lt;br /&gt;
==參考文獻==&lt;br /&gt;
&lt;br /&gt;
[[分類: 待校正]]&lt;/div&gt;</summary>
		<author><name>TaiwanTonguesApiRobot</name></author>
	</entry>
</feed>