Stephen Cook viu o significado de mostrar que o SAT é NP-Hard antes de realmente provar?
Se eu entendi corretamente, para provar que o problema é NP difícil, você precisa escolher todos os possíveis problemas que estão no NP e depois provar que eles se reduzem a usando uma função computável de tempo polinomial, que mapeia instâncias de cada a instâncias de