Seja S = {s1, …, sn}, um conjunto contendo n números reais estritamente positivos. Nós queremos saber se existem n/2 indices i1, ..., i n/2 tal que s_ij/ s_ij-1 = s_ij+1 / s_ij para j=2, ..., n/2 - 1. Mostre que este problema está em NP intersecção co-NP.