Un buen ejemplo de una distribución que es difícil de probar es el modelo Hard-Core, consulte esta página para obtener una descripción general:
http://www.mathematik.uni-ulm.de/stochastik/lehre/ss06/markov/skript_engl/node34.html
Este modelo define una distribución sobre cuadrículas para algunos n fijos , donde en cada punto de la cuadrícula puede tener un valor de uno o cero. Para que una cuadrícula sea admisible bajo el modelo de núcleo duro, no hay dos puntos adyacentes en la cuadrícula que puedan tener un valor de 1.n×nn
La imagen a continuación muestra un ejemplo de configuración admisible para una cuadrícula de bajo el modelo de núcleo duro. En esta imagen, los puntos se muestran como puntos negros y los ceros como blancos. Tenga en cuenta que no hay dos puntos negros adyacentes.8×8
Creo que la inspiración para este modelo proviene de la física, puede pensar en cada posición en la cuadrícula como una partícula, y el valor en esa posición representa la carga eléctrica o giro.
Queremos muestrear uniformemente de la población de cuadrículas admisibles, es decir, si es el conjunto de cuadrículas admisibles, queremos muestrear e ∈ E de manera queEe∈E
p(e)=1|E|
donde es el número de todas las configuraciones admisibles posibles.|E|
Esto ya presenta un desafío, dado que estamos considerando cuadrículas, ¿cómo podemos determinar | E | la cantidad de cuadrículas admisibles? n×n|E|
Una de las cosas buenas de MCMC es que le permite tomar muestras de distribuciones donde la constante de normalización es difícil o imposible de evaluar.
Le dejaré leer el documento sobre los detalles de cómo implementar MCMC para este problema, pero es relativamente sencillo.