Minimum cost homomorphisms to semicomplete bipartite digraphs

For digraphs D and H, a mapping f : V(D) → V(H) is a homomorphism of D to H if uv ε A(D) implies f(u)f(v) ε A(H). If, moreover, each vertex u ε V(D) is associated with costs c_i(u), i ε V(H), then the cost of the homomorphism f is σ_uεV(D) ^cf(u)^(u). For each fixed digraph H, we have the minimum cost homomorphism problem for H. The problem is to decide, for an input graph D with costs c_i(u), n ε V(D), i ε V(H), whether there exists a homomorphism of D to H and, if one exists, to find one of minimum cost. Minimum cost homomorphism problems encompass (or are related to) many well-studied optimization problems. We describe a dichotomy of the minimum cost homomorphism problem for semicomplete bipartite digraphs H. This solves an open problem from an earlier paper. To obtain the dichotomy of this paper, we introduce and study a new notion, a K-Min-Max ordering of digraphs.