Comment montrer que ce problème de décision est en co-np?

Question

Étant donné un ensemble de nombres strictement positifs $ a_1, ..., a_n $, le problème est de déterminer si $ lfloor n / 2 rfloor $ Différents index $ i_1, ..., i _ { lfloor n / 2 rfloor} $ exister pour que dollars pour $ 2 leq j leq lfloor n / 2 rfloor $.

Comment montrer que ce problème est en co-np?