利用领域域交给出了图Ｇ的每个Ｓ－厚大圈都是Ｓ－Ｄ－圈的一个充分条件，并给出了对任意｛ｕ，ｖ｝包含Ｖ（Ｇ），Ｇ的每条（ｕ，ｖ）－Ｓ－最大路都是Ｓ－Ｄ－路的一个充分条件。......