Estoy tratando de resolver nonogramas.

En este momento, estoy tratando de resolver los patrones superpuestos: una barra de 3 de largo en una cuadrícula de 5 de ancho siempre estará al menos en la tercera celda, un 2-6 en una cuadrícula de 10 de ancho permite colocar 1 celda para la barra de 2 y 5 celdas para la barra de 6

Traté de resolver esto a través de permutaciones, pero es demasiado ineficiente (permutación de 3M para una cuadrícula de 10 de ancho) y hay bastantes reglas para reducir el recuento de resultados:

• el orden de la barra no se puede cambiar
• hay al menos 1 celda vacía entre 2 barras (no se pueden fusionar barras)

Necesito encontrar un algoritmo para encontrar todas las diferentes particiones de celdas vacías entre barras: 2XX2XX2, X2X2XX2, X2X2X2X, etc.