Estou procurando exemplos de problemas difíceis (em NP ou mais difíceis) da ciência da computação que podem ser reduzidos a modelos de processos físicos.
Por exemplo, max-2-sat pode ser reduzido à minimização de energia em um modelo Ising. Eu gostaria de encontrar mais exemplos desse tipo de redução.