ฉันพยายามที่จะแสดงให้เห็นว่าปัญหาบางอย่างไม่สามารถทำได้โดยการลดลงจากชุดฝาครอบ การลดลงของฉันจะแปลงอินสแตนซ์ด้วยชุดขนาดพื้น และ กำหนดเป็นตัวอย่างของปัญหาของฉันที่พารามิเตอร์บางอย่าง มีขนาด . จากนั้นฉันสามารถแสดงให้เห็นว่าอินสแตนซ์ของชุดฝาครอบที่ขนาดของฝาครอบสอดคล้องกับตัวอย่างของปัญหาที่ขนาดของโซลูชันที่เหมาะสมที่สุดคือ(หรืออะไรทำนองนี้) และในทางกลับกัน ฉันต้องการเรียกใช้ Raz-Safra เพื่อสรุปว่าปัญหาของฉันไม่สามารถทำได้ถึงปัจจัยสำหรับบางค่าคงที่ . สิ่งนี้จะใช้ได้ดีถ้าฉันสามารถสันนิษฐานได้ ถูก จำกัด โดยพหุนามคงที่ของ . ไม่มีใครรู้ว่ามันเป็นโคเชอร์ที่จะคิดเรื่องนี้? นี่เป็นเรื่องจริงสำหรับครอบครัวของอินสแตนซ์ที่ใช้ในการพิสูจน์ความแข็งแบบมาตรฐานของ NP สำหรับฝาครอบชุด แต่ฉันไม่แน่ใจว่านี่จะเป็นกรณีของการลด PCP ที่ใช้โดย Raz และ Safra หรือไม่