Sto cercando di dimostrare che un certo problema è inapprossimabile da una riduzione dalla copertura del set. La mia riduzione trasforma un'istanza con set di terra di dimensioni e in un'istanza del mio problema in cui un determinato parametro è di dimensione . Posso quindi mostrare che un'istanza di set cover in cui la dimensione della cover è s corrisponde a un'istanza del mio problema in cui la dimensione della soluzione ottimale è (o qualcosa del genere) e viceversa. Vorrei invocare Raz-Safra per concludere che il mio problema è inapprossimabile fino a un fattore di , per qualche costante . Funzionerebbe benissimo se potessi supporre cheè delimitato da un polinomio fisso di . Qualcuno sa se è kosher assumerlo? Questo è certamente vero per la famiglia di istanze utilizzate nella prova di durezza NP standard per la copertura del set, ma non sono sicuro che ciò rimanga valido per il tipo di riduzioni del PCP impiegate da Raz e Safra.