二部图是具有二分类(X,Y)的简单偶图,其中X的每个顶点与Y的每个顶点相连,若|X|=m,|Y|=n,则这样的图记为K_(m,n).该文研究了K_(n,n)的定向图.对于非负整数a和b,若存在满足每个顶点的入度或者是a或者是b的一个K_(n,n)的定向图,则存在非负整数s和t满足方程s+t=2n和as+bt=n~2.论文证明了如下结论:设s和t是任意两个非负整数,对于满足方程s+t=2n和as+bt=n~2的非负整数a和b,存在K_(n,n)的定向图使得每个顶点的入度或者是a或者是b,从而得到了上述必要条件为K_(n,n)是[a,b]_n可实现的充分条件.