Cuando dice:
"Primero mostramos que CONTRATAR ∈ NP. Para esto, definimos un certificado para una instancia
(A, T, C, k) como un conjunto de aplicantes, definido mediante un arreglo de bits de tamaño n, donde
el i-ésimo bit del arreglo es 1 si el aplicante ai pertenece al conjunto, y 0 en otro caso."
no entiendo a qué conjunto se refiere. C se supone que es un conjunto de subconjuntos y que todos los ai aparecen ahí, o sea que serían todos unos? No le encuentro mucho sentido