Current Slide

Small screen detected. You are viewing the mobile version of SlideWiki. If you wish to edit slides you will need to use a larger device.

การปิดกั้นสำหรับ \ (\ mathcal {ALC} \)

เป้าหมาย: ตรวจสอบให้แน่ใจสิ้นสุดของอัลกอริทึมฉาก
การแก้ไข: ตรวจสอบรอบที่อาจเกิดขึ้นเนื่องจากการประยุกต์ใช้ \ (\ mathcal {T} - \ text {กฎ} \)
ผล: กราฟเสร็จอยู่เสมอแน่นอน

การปิดกั้น:

โหนด \ (v '\ in V \) ถูกบล็อกโดยตรงโดยโหนด \ (\ v ใน V \) ถ้า

  1. \ (\ v) เป็นบรรพบุรุษของ \ (v '\)
  2. \ (L (v ') \ subseteq L (V) \)
  3. ไม่มีโหนดบล็อกโดยตรง \ (V ^ {''} \) นั้น \ (V'' \) เป็นบรรพบุรุษของ \ (\ v)

โหนด \ (v '\) ถูกบล็อคถ้าอย่างใดอย่างหนึ่ง

  1. \ (v '\) ถูกบล็อกโดยตรงหรือ
  2. มีโหนดบล็อกโดยตรง \ (\ v) ซึ่งเป็นบรรพบุรุษของ \ (v '\)

Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.