Mapping among the nodes of infinite trees: A variation of Kőnig's infinity lemma
نویسنده
چکیده
Koenig’s infinity lemma states that an infinite rooted tree in which every node has finite degree has an infinite path. A variation of this lemma about mappings from one tree to another is presented in this note. Its proof utilizes Koenig’s lemma, and Koenig’s lemma follows from this variation.
منابع مشابه
Degrees in $k$-minimal label random recursive trees
This article describes the limiting distribution of the degrees of nodes has been derived for a kind of random tree named k-minimal label random recursive tree, as the size of the tree goes to infinity. The outdegree of the tree is equal to the number of customers in a pyramid marketing agency immediatly alluring
متن کاملA view from infinity of the uniform infinite planar quadrangulation
We introduce a new construction of the Uniform Infinite Planar Quadrangulation (UIPQ). Our approach is based on an extension of the Cori-Vauquelin-Schaeffer mapping in the context of infinite trees, in the spirit of previous work [11, 27, 30]. However, we release the positivity constraint on the labels of trees which was imposed in these references, so that our construction is technically much ...
متن کاملGeneralizing König's infinity lemma
1 Introduction D. Kόnig's famous lemma on trees has many applications; in graph theory it is used to extend certain results from finite to infinite graphs (see Nash-Williams [7]); in logic it can be used to prove that a denumerable set of propositional formulas is satisfiable if every finite subset is (see, for example, Van Fraassen [9]). This last result, known as the compactness theorem for p...
متن کاملMorpho-phenology and chromosome number of Iranian Bromus danthoniae Trin. genotypes
ABSTRACT- Bromus danthoniae Trin. is an annual grass species which grows mainly on dry grassy rocky mountain slopes and grassy steppe, and is grazed by many herbivores and recognized as a useful pasture plant. The chromosome number, morphological and anatomical traits of 82 genotypes of B. danthoniae belonging to three sub-taxa were investigated. Twenty-seven quantitative and 20 qualitative mor...
متن کاملSentinel Node Mapping in Non-small Cell Lung Cancer Using an Intraoperative Radiotracer Technique
Objective(s): Lymph node metastases are the most significant prognostic factor in localized non-small cell lung cancer (NSCLC). Identification of the first nodal drainage site (sentinel node) may improve detection of metastatic nodes. Extended surgeries, such as lobectomy or pneumonectomy with lymph node dissection, are among the therapeutic options of higher acceptab...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Inf. Process. Lett.
دوره 115 شماره
صفحات -
تاریخ انتشار 2015