Gegeven zijn de beslissingsproblemen A, B en C met C ≤ A en B ≤ C.
Het is bekend dat B een NP-hard probleem is.
Onder welke condities is het zeker dat B een NPC-probleem is?