Rerun Affected Tasks After Changes

In a task dependency system, [a, b] means task a depends on task b; therefore, when b changes, a must be rerun.

Given n tasks, dependency pairs prerequisites, and directly changed tasks...