Abstract:An ordered graph is a graph equipped with a linear ordering of its vertex set. A pair of ordered graphs is Ramsey finite if it has only finitely many minimal ordered Ramsey graphs and Ramsey infinite otherwise. Here an ordered graph <math>F</math> is an ordered Ramsey graph of a pair <math>(H,H′)</math> of ordered graphs if for any coloring of the edges of <math>F</math> in colors red and blue there is either a copy of <math>H</math> with all edges colored red or a copy of <math>H′</math> with all edges colored blue (where copies are not necessarily induced subgraphs). Such an ordered Ramsey graph is minimal if neither of its proper subgraphs is an ordered Ramsey graph of <math>(H,H′)</math>. If <math>H=H′</math> then <math>H</math> itself is called Ramsey finite.We show that a connected ordered graph is Ramsey finite if and only if it is a star with center being the first or the last vertex in the linear order. In general we prove that each Ramsey finite (not necessarily connected) ordered graph <math>H</math> has a pseudoforest as a Ramsey graph and therefore is a star forest with strong restrictions on the positions of the centers of the stars. In the asymmetric case we show that <math>(H,H′)</math> is Ramsey finite whenever <math>H</math> is a so-called monotone matching. Among several further results we show that there are Ramsey finite pairs of ordered stars and ordered caterpillars of arbitrary size and diameter. This is in contrast to the unordered setting where for any Ramsey finite pair <math>(H,H′)</math> of forests either one of <math>H</math> or <math>H′</math> is a matching or both are star forests (with additional constraints).Several of our results give a relation between Ramsey finiteness and the existence of sparse ordered Ramsey graphs. Motivated by these relations we characterize all pairs of ordered graphs that have a forest as an ordered Ramsey graph and all pairs of ordered graphs that have a pseudoforest as a Ramsey graph.Our results show similarities between the ordered and the unordered setting for graphs containing cycles and significant differences for forests.

Enumeration of irredundant forests

Counting bi-colored A'Campo forests

Minimal ordered Ramsey graphs

Revisiting Tree Isomorphism: An Algorithmic Bric-à-Brac

The Turán problem for a family of tight linear forests

Matrices of forests, analysis of networks, and ranking problems

Spin-dependent hole quantum transport in Aharonov-Bohm ring structure: possible schemes for spin filter

Arranged Forests: Enhancing Random Forests by Reducing Feature Overlap between Trees

Good Will Hunting's Problem: Counting Homeomorphically Irreducible Trees

Almost colour-balanced spanning forests in complete graphs

Detection of Common Subtrees with Identical Label Distribution

Indistinguishability of Trees in Uniform Spanning Forests

Rooted forests that avoid sets of permutations

Induced Subforests and Superforests

An Ensemble Framework to Forest Optimization Based Reduct Searching

Ramsey-minimal graphs for forests

Relation-Algebraic Verification of Disjoint-Set Forests

An Efficient Method for Computing All Reducts

Coding multitype branching forests: application to the law of the total progeny of branching forest and to enumerations

Search Problems in Trees with Symmetries: near optimal traversal strategies for individualization-refinement algorithms

Sampling Arborescences in Parallel