Proof: We prove that the DSG(HT ∗ ,

Proof: We prove that the DSG(HT ∗ , ) does not contain
any oriented cycle by showing that for each edge Ne −→ Ne ,
Te < Te always holds.
If an edge Ne −→ Ne is in DSG(HT ∗ , ) we have to
distinguish two cases:
1

ผลลัพธ์ (ไทย) 1:

หลักฐาน: เราพิสูจน์ว่า ดีเอสจี (เอชที∗,) ไม่ประกอบด้วยใด ๆ เน้นรอบ โดยการแสดงว่า แต่ละเอดจ์มุ−→มุTe < ติเก็บเสมอถ้าเป็นขอบมุ−→มุอยู่ในดีเอสจี (เอชที∗,) เราต้องแยก 2 กรณี:1

ผลลัพธ์ (ไทย) 2:

พิสูจน์: (? HT *) เราพิสูจน์ให้เห็นว่าดีเอสจีไม่ได้มี
วงจรที่มุ่งเน้นการใด ๆ โดยแสดงให้เห็นว่าขอบแต่ละ Ne - → Ne,
. Te <Te เสมอถือ
ถ้าขอบ Ne - → Ne อยู่ในดีเอสจี (HT * ?) เราต้อง
แยกความแตกต่างสองกรณี:
1

ผลลัพธ์ (ไทย) 3:

พิสูจน์ : เราว่า DSG ( HT ∗  , ) ไม่ได้มีใด ๆโดยแสดงให้เห็นว่าวงจร
มุ่งเน้นแต่ละ−→ขอบเน่เน่
te < เต้เสมอถือ .
ถ้าขอบเน่−→โมเนใน DSG ( HT ∗  , เราต้องแยกสองกรณี :

1