Addario-Berry–Havet–Linhares Sales–Reed–Thomassé anti-directed-tree conjecture
Anti-directed-tree conjecture. If
MathDB