The Fulkerson–Chen–Anstee theorem is a result in graph theory, a branch of combinatorics. It provides one of two known approaches solving the digraph realization problem, i.e. it gives a necessary and sufficient condition for pairs of nonnegative integers ( ( a 1 , b 1 ) , … , ( a n , b n ) ) {\displaystyle ((a_{1},b_{1}),\ldots ,(a_{n},b_{n}))} to be the indegree-outdegree pairs of a simple directed graph; a sequence obeying these conditions is called "digraphic". D. R. Fulkerson (1960) obtained a characterization analogous to the classical Erdős–Gallai theorem for graphs, but in contrast to this solution with exponentially many inequalities. In 1966 Chen improved this result in demanding the additional constraint that the integer pairs must be sorted in non-increasing lexicographical order leading to n inequalities. Anstee (1982) observed in a different context that it is sufficient to have a 1 ≥ ⋯ ≥ a n {\displaystyle a_{1}\geq \cdots \geq a_{n}} . Berger reinvented this result and gives a direct proof.
Statement A sequence ( ( a 1 , b 1 ) , … , ( a n , b n ) ) {\displaystyle ((a_{1},b_{1}),\ldots ,(a_{n},b_{n}))} of nonnegative integer pairs with a 1 ≥ ⋯ ≥ a n {\displaystyle a_{1}\geq \cdots \geq a_{n}} is digraphic if and only if ∑ i = 1 n a i = ∑ i = 1 n b i {\displaystyle \sum _{i=1}^{n}a_{i}=\sum _{i=1}^{n}b_{i}} and the following inequality holds for k such that 1 ≤ k ≤ n {\displaystyle 1\leq k\leq n} :
∑ i = 1 k a i ≤ ∑ i = 1 k min ( b i , k − 1 ) + ∑ i = k + 1 n min ( b i , k ) {\displaystyle \sum _{i=1}^{k}a_{i}\leq \sum _{i=1}^{k}\min(b_{i},k-1)+\sum _{i=k+1}^{n}\min(b_{i},k)}
Stronger versions Berger proved that it suffices to consider the k {\displaystyle k} th inequality such that 1 ≤ k < n {\displaystyle 1\leq k<n} with a k > a k + 1 {\displaystyle a_{k}>a_{k+1}} and for k = n {\displaystyle k=n} .
… excerpt ends here. Continue reading the full article.
