Surveys in Combinatorics 2015 2015
DOI: 10.1017/cbo9781316106853.009
|View full text |Cite
|
Sign up to set email alerts
|

Well quasi-order in combinatorics: embeddings and homomorphisms

Abstract: The notion of well quasi-order (wqo) from the theory of ordered sets often arises naturally in contexts where one deals with infinite collections of structures which can somehow be compared, and it then represents a useful discriminator between 'tame' and 'wild' such classes. In this article we survey such situations within combinatorics, and attempt to identify promising directions for further research. We argue that these are intimately linked with a more systematic and detailed study of homomorphisms in com… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
3
1
1

Citation Types

0
8
0

Year Published

2017
2017
2024
2024

Publication Types

Select...
5
2
1

Relationship

0
8

Authors

Journals

citations
Cited by 10 publications
(8 citation statements)
references
References 52 publications
0
8
0
Order By: Relevance
“…To do so, we must first introduce a few facts about 321‐avoiding antichains. Following Huczynska and Ruškuc , we say that a double‐ended fork is the graph formed from a path by adding four vertices of degree 1, two adjacent to one end of the path, and two adjacent to the other, as shown below. It is clear that the set of double‐ended forks forms an antichain of graphs in the induced subgraph ordering.…”
Section: Well‐quasi‐ordermentioning
confidence: 99%
“…To do so, we must first introduce a few facts about 321‐avoiding antichains. Following Huczynska and Ruškuc , we say that a double‐ended fork is the graph formed from a path by adding four vertices of degree 1, two adjacent to one end of the path, and two adjacent to the other, as shown below. It is clear that the set of double‐ended forks forms an antichain of graphs in the induced subgraph ordering.…”
Section: Well‐quasi‐ordermentioning
confidence: 99%
“…As the set of finite graphs under the induced subgraph relation cannot contain an infinite strictly decreasing chain, in this case well-quasi-order is synonymous with the absence of infinite antichains. Well-quasi-ordering has been studied for a wide variety of combinatorial objects, under many different orders; see Huczynska and Ruškuc [17] for a recent survey. Thus while the celebrated Minor Theorem of Robertson and Seymour [23] shows that the family of all graphs is wqo under the minor order, one might instead ask about the induced subgraph order, and in this context the set of graphs is clearly not wqo.…”
Section: Well-quasi-order and Strengtheningsmentioning
confidence: 99%
“…Three of the most celebrated results in combinatorics-Higman's lemma [51], Kruskal's tree theorem [62], and Robertson and Seymour's graph minor theorem [89]-establish that certain notions of embedding constitute well-quasi-orders. For further background on well-quasi-order in general we refer the reader to the excellent panoramas provided by the recent surveys of Cherlin [31] and Huczynska and Ruškuc [52]. It should be noted that well-quasi-order also has significant applications to algorithmic questions, in particular questions about fixed-parameter tractability, for which the reader is referred to the book of Downey and Fellows [36,Part IV].…”
Section: Introductionmentioning
confidence: 99%