Eu estou tentando mostrar que um determinado problema é incompreensível devido a uma redução da cobertura do conjunto. Minha redução transforma uma instância com o conjunto de aterramento de tamanho e em uma instância do meu problema em que um determinado parâmetro r é do tamanho . Em seguida, posso mostrar que uma instância de cobertura do conjunto em que o tamanho da capa é s corresponde a uma instância do meu problema em que o tamanho da solução ideal é (ou algo assim) e vice-versa. Gostaria de invocar Raz-Safra para concluir que meu problema é incompreensível até um fator de , para uma constante . Isso funcionaria bem se eu pudesse assumir queé delimitada por um polinômio fixo de. Alguém sabe se é kosher assumir isso? Isso certamente é verdadeiro para a família de instâncias usadas na prova de dureza NP padrão para cobertura de conjunto, mas não tenho certeza se esse ainda é o caso do tipo de redução de PCP empregada por Raz e Safra.
fonte