Gap-ESAT[9/10,1] .a
Gap-ESAT[9/2006,10/2006] .b
Gap-SAT[9/10,1] .c
Gap-SAT[9/2006,10/2006] .d
התשובה היא 4, כלומר כולם NPקשות.
לא ברור לי למה b,d הן NPקשות.
הרי בהינתן נוסחת CNF, ניתן תמיד לספק לכל הפחות 1/2 מהפסוקיוצ ולכן
בעיות הגאפ אמורות להיות קלות, לא ?
(פשוט מחזירים כן לכל קלט)
מה גם שהיה מבחן שזה היה כתוב בפתרונות שלו.
האם פיספסתי משהו ?
תודה...