Redirecting to Dominator (graph theory)