Para utilizar una máquina de Boltzmann para resolver un problema de
optimización combinatoria, se define una función bijectiva
que mapea el conjunto de
configuraciones
al conjunto de soluciones
, siguiendo
la siguiente estrategia general:
Una función de consenso es factible si todos los máximos locales de la función de consenso corresponden a soluciones factibles.
Factibilidad implica que siempre se encuentra una solución factible.
Una función de consenso se dice que preserva el orden si
, con
, tenemos que:
Para un problema de minimización sería: