本文给有限有向图Ｄ定义了乘法，从而得到这个有向图确定的半群Ｓ，证明了Ｓ的最小生成集Ａ＝Ｓ－Ｓ２＝Ｖ（Ｄ的顶点集）且，这个半群的秩等于Ｄ的顶点的个数。证明了两......