可以将每个节点的状态定义为“贪吃佘是否必胜”。

初始时所有节点为“必败”（即月老胜）。当一个节点被染红时，它立即变为“必胜” 然后向其所有父节点进行反向递推更新： 若轮到贪吃佘走的节点，其任一后继为“必败” → 当前节点为“必胜”；

• 若轮到月老走的节点，其所有后继均为“必胜” → 当前节点为“必败”。
• 由于图是 $DAG$，且每个节点状态最多从“必败”变为“必胜”一次，更新不会重复。 每次染色仅沿反向边更新一次状态，因此总复杂度与边数线性相关。 时间复杂度：$o(n + m + q )$。