Kruskal's tree theorem
present participle of widthen
plural of Battenberger
plural of overabundance
(mathematics) A theorem stating that the set of finite trees over a well-quasi-ordered set of labels is itself well-quasi-ordered under homeomorphic embedding.
良準順序を研究する際、クルスカルの木の定理は、ラベルが良準順序された集合上の有限木の集合が同相埋め込みに関して良準順序になることを述べており、同相埋め込みに関する有限ラベル付き木の議論にとって重要な基盤を提供する。
Don't have an account? Sign up
Do you have an account? Login
DiQt
Free
★★★★★★★★★★
