vertex cut algorithm: sealed