Kruskal's tree theorem

专有名词

英文释义

专有名词
  1. 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.

词源

The theorem was conjectured by Andrew Vázsonyi and proved by Joseph Kruskal (1960).
0 次浏览 数据来源: Wiktionary