Abstract:Reed in 1998 conjectured that every graph $G$ satisfies $\chi(G) \leq \lceil \frac{\Delta(G)+1+\omega(G)}{2} \rceil$. As a partial result, he proved the existence of $\varepsilon > 0$ for which every graph $G$ satisfies $\chi(G) \leq \lceil (1-\varepsilon)(\Delta(G)+1)+\varepsilon\omega(G) \rceil$. We propose an analogue conjecture for digraphs. Given a digraph $D$, we denote by $\vec{\chi}(D)$ the dichromatic number of $D$, which is the minimum number of colours needed to partition $D$ into acyclic induced subdigraphs. We let $\overleftrightarrow{\omega}(D)$ denote the size of the largest biclique (a set of vertices inducing a complete digraph) of $D$ and $\tilde{\Delta}(D) = \max_{v\in V(D)} \sqrt{d^+(v) \cdot d^-(v)}$. We conjecture that every digraph $D$ satisfies $\vec{\chi}(D) \leq \lceil \frac{\tilde{\Delta}(D)+1+\overleftrightarrow{\omega}(D)}{2} \rceil$, which if true implies Reed's conjecture. As a partial result, we prove the existence of $\varepsilon >0$ for which every digraph $D$ satisfies $\vec{\chi}(D) \leq \lceil (1-\varepsilon)(\tilde{\Delta}(D)+1)+\varepsilon\overleftrightarrow{\omega}(D) \rceil$. This implies both Reed's result and an independent result of Harutyunyan and Mohar for oriented graphs. To obtain this upper bound on $\vec{\chi}$, we prove that every digraph $D$ with $\overleftrightarrow{\omega}(D) > \frac{2}{3}(\Delta_{\max}(D)+1)$, where $\Delta_{\max}(D) = \max_{v\in V(D)} \max(d^+(v),d^-(v))$, admits an acyclic set of vertices intersecting each biclique of $D$, which generalises a result of King.

A note on the second neighborhood problem for $k$-anti-transitive and $m$-free digraphs

A contribution to the second neighborhood problem

Seymour's second neighbourhood conjecture: random graphs and reductions

A Remark on the Second Neighborhood Problem

The Second Neighborhood Conjecture for Oriented Graphs Missing $\{C_{4}, \overline{C_{4}}, S_{3},$ chair and co-chair$\}$-Free Graph

About the second neighborhood conjecture for tournaments missing two stars or disjoint paths

On Seymour's and Sullivan's Second Neighbourhood Conjectures

Vertices with the Second Neighborhood Property in Eulerian Digraphs

On the $k$-anti-traceability Conjecture

On $k$-neighborly reorientations of oriented matroids

Extending some results on the second neighborhood conjecture

Antidirected subgraphs of oriented graphs

Antidirected trees in dense digraphs

Highly connected subgraphs with large chromatic number

Antipaths in oriented graphs

A note on asymmetric hypergraphs

Local antimagic chromatic number of partite graphs

About The Second Neighborhood Problem in Tournaments Missing Disjoint Stars

An analogue of Reed's conjecture for digraphs

On Induced Versions of Menger's Theorem on Sparse Graphs

Every connected graph admits a local antimagic orientation and almost every graph admits an antimagic orientation