Chudnovsky, MariaScott, AlexSeymour, PaulSpirkl, Sophie2022-08-122022-08-122020-12-02https://doi.org/10.1016/j.aim.2020.107396http://hdl.handle.net/10012/18524The final publication is available at Elsevier via https://doi.org/10.1016/j.aim.2020.107396. © 2020. This manuscript version is made available under the CC-BY-NC-ND 4.0 license http://creativecommons.org/licenses/by-nc-nd/4.0/The Erdős-Hajnal conjecture asserts that for every graph H there is a constant c > 0 such that every graph G that does not contain H as an induced subgraph has a clique or stable set of cardinality at least |G|c. In this paper, we prove a conjecture of Liebenau and Pilipczuk [11], that for every forest H there exists c > 0, such that every graph G with |G| > 1 contains either an induced copy of H, or a vertex of degree at least c|Gj|, or two disjoint sets of at least c|G| vertices with no edges between them. It follows that for every forest H there exists c > 0 such that, if G contains neither H nor its complement as an induced subgraph, then there is a clique or stable set of cardinality at least |G|c.enAttribution-NonCommercial-NoDerivatives 4.0 InternationalErdős-Hajnal conjectureinduced subgraphsforestsArticle