Enunciado: Dado um subconjunto S dos vértices de um grafo G, qual das alternativas abaixo NÃO é verdadeira:

A) Se  o(G - S) > |S |, então S é um certificado de que G não possui emparelhamento perfeito.
B) Se  o(G - S)  - |S | = d > 0, então um emparelhamento máximo de G não satura pelo menos d de seus vértices.
C) Se  o(G - S) <= |S |, então G possui emparelhamento perfeito.
D) Se  o(G - S) <= |S |, então é possível que G possua emparelhamento perfeito.

Autor(a): Cândida Nunes da Silva