Hvordan kan man bevise NPC generelt? Evt gjør om problemet til et beslutningsproblem. Bevis at det er verifiserbart i polynomisk tid. Bevis at problemet er NPH (via en reduksjon).
