Acertijo de los misioneros y los caníbales

[1]​ Un sistema actual para solucionar el acertijo de los misioneros y los caníbales por el cual el estado está representado por un vector sencillo ⟨m, c, b⟩.Los elementos del vector representan el número de misioneros, caníbales, y si la barca es en el lado incorrecto, respectivamente.Desde la barca y todo del misioneros e inicio de caníbales en el lado incorrecto, el vector está inicializado a ⟨3,3,1⟩.Para caso, si un caníbal solitario cruzó el río, el vector ⟨0,1,1⟩ sería restado del estatal de ceder ⟨3,2,0⟩.A plenamente solucionar el problema, un árbol sencillo está formado con el estado inicial como la raíz.El algoritmo continúa adición y sustracción alternas para cada nivel del árbol hasta un nodo está generado con el vector ⟨0,0,0⟩ cuando su valor.La solución más temprana conocida al problema de los maridos celosos, utilizando 11 viajes, como sigue.El primer aspecto conocido del problema de los maridos celosos es en el texto medieval Propositiones ad Acuendos Juvenes, normalmente atribuido a Alcuin (muerto en 804).
Gráfico de solución al Acertijo de los Maridos Celosos.