?K*m,n表示对称的完全二部有向图,C 2k表示2k长有向圈。如果K*m,n的子有向图F满足(1) F的有向弧集可???分解为若干个有向圈C 2k,(2)K*m,n的每一个点都恰好出现在F的a个C 2k中,则称F为K*m,n的( C 2k ,a)-因子。如果??K*m,n的有向弧集可以划分为K*m,n的( C 2k ,a)-因子的和,则称K*m,n存在( C 2k ,a)-因子分解。文章利用直接构造法,?得到对称的完全二部有向图K*m,n存在( C 2k,a)-因子分解的充分必要条件:m=n o0(mod ak/d),其中d是a和k的最大公约数。