Kruskal's tree theorem
http://dbpedia.org/resource/Kruskal's_tree_theorem an entity of type: WikicatLargeNumbers
Der Satz von Kruskal ist ein Lehrsatz der Graphentheorie, eines der Teilgebiete der Mathematik. Er wurde von dem Mathematiker Joseph Bernard Kruskal im Jahre 1960 publiziert. Der Satz behandelt eine wichtige Eigenschaft der Klasse der endlichen Bäume.
rdf:langString
En matemáticas, el árbol teorema de Kruskal indica que el conjunto de finitos más de un conjunto bien cuasi-ordenada de las etiquetas es en sí misma bien cuasi-ordenado (bajo incrustación homeomorfo). El teorema fue conjeturado por Andrew Vázsonyi y demostró por Joseph Kruskal (1960); una breve prueba fue dada por Nash-Williams (1963). es un caso especial de este teorema, de las cuales hay muchas generalizaciones que implican árboles con una incrustación plana, árboles infinitos, y así sucesivamente. Una generalización de los árboles a los gráficos arbitrarias está dado por el .
rdf:langString
In mathematics, Kruskal's tree theorem states that the set of finite trees over a well-quasi-ordered set of labels is itself well-quasi-ordered under homeomorphic embedding.
rdf:langString
En mathématiques, le théorème des arbres de Kruskal est un résultat de théorie des graphes conjecturé en 1937 par Andrew Vázsonyi et démontré indépendamment en 1960 par Joseph Kruskal et S. Tarkowski, affirmant que l'ensemble des arbres étiquetés par un ensemble muni d'un bel ordre est lui-même muni d'un bel ordre. Ce théorème est un cas particulier du théorème de Robertson-Seymour, dont il a constitué une des motivations. En utilisant ce théorème, Harvey Friedman a pu définir des entiers « incompréhensiblement grands », qu'il a utilisé pour obtenir des résultats nouveaux d'indécidabilité.
rdf:langString
W matematyce Teoria Drzew Kruskala jest jednym z problemów w teorii grafów i . Mówi ona, iż skończony zbiór drzew z uporządkowanymi zasadami tworzenia jest homeomorficzny. Twierdzenie to zostało zaprezentowane przez – węgierskiego matematyka, a udowodnione przez Josepha Kruskala (1960) oraz (1963). Od tego czasu stał się znaczącym przykładem w jako stwierdzenie, którego nie można udowodnić używając ATR0 (forma arytmetycznej rekurencji transfinitowej), a finalne zastosowanie tego twierdzenia umożliwia konstrukcję bardzo szybko rosnącej funkcji TREE(n) (ang. tree – drzewo).
rdf:langString
rdf:langString
Satz von Kruskal
rdf:langString
Teorema de los árboles de Kruskal
rdf:langString
Théorème de Kruskal
rdf:langString
Kruskal's tree theorem
rdf:langString
Teoria Drzew Kruskala
rdf:langString
Теорема Краскала
rdf:langString
克魯斯卡爾樹定理
xsd:integer
3606300
xsd:integer
1124400522
rdf:langString
yes
rdf:langString
Crispin St. J. A. Nash-Williams
rdf:langString
Joseph Kruskal
xsd:integer
1
rdf:langString
July 2020
rdf:langString
Joseph
rdf:langString
Crispin
rdf:langString
Kruskal
rdf:langString
Nash-Williams
xsd:integer
1
rdf:langString
WP:RSPSOURCES; Fandom page lists YT video as reference
xsd:integer
1960
1963
rdf:langString
Der Satz von Kruskal ist ein Lehrsatz der Graphentheorie, eines der Teilgebiete der Mathematik. Er wurde von dem Mathematiker Joseph Bernard Kruskal im Jahre 1960 publiziert. Der Satz behandelt eine wichtige Eigenschaft der Klasse der endlichen Bäume.
rdf:langString
En matemáticas, el árbol teorema de Kruskal indica que el conjunto de finitos más de un conjunto bien cuasi-ordenada de las etiquetas es en sí misma bien cuasi-ordenado (bajo incrustación homeomorfo). El teorema fue conjeturado por Andrew Vázsonyi y demostró por Joseph Kruskal (1960); una breve prueba fue dada por Nash-Williams (1963). es un caso especial de este teorema, de las cuales hay muchas generalizaciones que implican árboles con una incrustación plana, árboles infinitos, y así sucesivamente. Una generalización de los árboles a los gráficos arbitrarias está dado por el .
rdf:langString
In mathematics, Kruskal's tree theorem states that the set of finite trees over a well-quasi-ordered set of labels is itself well-quasi-ordered under homeomorphic embedding.
rdf:langString
En mathématiques, le théorème des arbres de Kruskal est un résultat de théorie des graphes conjecturé en 1937 par Andrew Vázsonyi et démontré indépendamment en 1960 par Joseph Kruskal et S. Tarkowski, affirmant que l'ensemble des arbres étiquetés par un ensemble muni d'un bel ordre est lui-même muni d'un bel ordre. Ce théorème est un cas particulier du théorème de Robertson-Seymour, dont il a constitué une des motivations. En utilisant ce théorème, Harvey Friedman a pu définir des entiers « incompréhensiblement grands », qu'il a utilisé pour obtenir des résultats nouveaux d'indécidabilité.
rdf:langString
W matematyce Teoria Drzew Kruskala jest jednym z problemów w teorii grafów i . Mówi ona, iż skończony zbiór drzew z uporządkowanymi zasadami tworzenia jest homeomorficzny. Twierdzenie to zostało zaprezentowane przez – węgierskiego matematyka, a udowodnione przez Josepha Kruskala (1960) oraz (1963). Od tego czasu stał się znaczącym przykładem w jako stwierdzenie, którego nie można udowodnić używając ATR0 (forma arytmetycznej rekurencji transfinitowej), a finalne zastosowanie tego twierdzenia umożliwia konstrukcję bardzo szybko rosnącej funkcji TREE(n) (ang. tree – drzewo).
xsd:nonNegativeInteger
13158