前趋图是一个有向无环图，记为：→={(Pi,Pj) | Pi must complete before Pj may s…
单选题
前趋图是一个有向无环图，记为：→={(Pi,Pj) | Pi must complete before Pj may start}。假设系统中进程 P={P1,P2,P3,P4,P5,P6,P7,P8}，且进程的前驱图如下：
（此处应有前驱图，但原文未提供，根据选项推断）
下列哪一项表示正确的前驱关系？
A. →={（P1，P2），（P3，P1），（P4，P1），（P5，P2），（P5，P3），（P6，P4），（P7，P5），（P7，P6），（P5，P6），（P4，P5），（P6，P7），（P7，P6）}
B. →={（P1，P2），（P1，P3），（P2，P5），（P2，P3），（P3，P4），（P3，P5），（P4，P5），（P5，P6），（P5，P7），（P8，P5），（P6，P7），（P7，P8）}
C. →={（P1，P2），（P1，P3），（P2，P3），（P2，P5），（P3，P4），（P3，P5），（P4，P6），（P5，P6），（P5，P7），（P5，P8），（P6，P8），（P7，P8）}
D. →={（P1，P2），（P1，P3），（P2，P3），（P2，P5），（P3，P6），（P3，P4），（P4，P7），（P5，P6），（P6，P7），（P6，P5），（P7，P5），（P7，P8）}
答案：C
解析
正确答案：C
C 的前驱关系构成有向无环图：P1→P2、P1→P3，P2→P3、P2→P5，P3→P4、P3→P5，P4→P6，P5→P6/P7/P8，P6→P8，P7→P8。所有边方向一致，无反向边和环，可进行拓扑排序。
逐项判断：
A 含 P6→P7 与 P7→P6，形成环，违反 DAG。
B 含 P5→P7、P7→P8、P8→P5，形成环。
D 含 P5→P6 与 P6→P5，出现双向边，并有 P6→P7、P7→P5 等，也成环。
考点延伸：前趋图描述进程间“Pi 完成后 Pj 才能开始”的偏序关系；必须是 DAG，用于并发调度、同步与死锁分析，有环则无法拓扑排序。