TREE函數、Kruskal樹定理(英語:Kruskal's tree theorem)是逆數學的突出示例。由安德魯·瓦茲尼(英语:Andrew Vázsonyi)推測並由約瑟夫·克魯斯卡爾證明。 已隱藏部分未翻譯内容,歡迎參與翻譯。 In mathematics, Kruskal's tree theorem
T's Tree Massacre. 1987-05-30 [2012-04-28]. (原始内容存档于2012-04-19). Mr. T Chops Away At Lake Forest`s Fiber. [2015-06-16]. (原始内容存档于2015-06-01). Mr T Gives
rebalanced AA tree. if nil(T) then return Nil else if nil(right(T)) or nil(right(right(T))) then return T else if level(T) == level(right(right(T))) then We