Решатель криптограмм в Прологе - PullRequest
Новая
       15

Решатель криптограмм в Прологе

3 голосов
/ 20 марта 2011

Я должен решить криптограмму, которая выглядит следующим образом: 

ABC / DEF = 0.GHGHGH...

, где длина переменных может быть разной.Также повторение может быть другим (например, 0.XYZXYZ ...).Я написал фрагмент кода, который, как я думал, будет работать, но это не так: 

cryp(A,B,C) :-
  mn(A, X),
  mn(B, Y),
  mn(C, Z),
  Z = X/Y.

mn([], 0).
mn([H|T], W) :- D is 10, mn(T, W1), length(T, D), P is 10^D, W is W1 + H*P.

Я выполняю его как crypt ([A, B, C], [D, E, F],[G, H]).Я думал, что это по крайней мере решит ABC / DEF = GH просто для того, чтобы иметь какую-то часть рабочего решения, но это не работает.

Я не имею ни малейшего понятия, как это сделать даже для одного примера ввода.Я не знаю, как представить 0.GHGHGH ....

РЕДАКТИРОВАТЬ: MN / 2 для преобразования списка цифр в число ([1,2,3] -> 123).

Ответы [ 2 ]

3 голосов
/ 21 марта 2011

Вот clp (fd) -way 

 ?- use_module(library(clpfd)).
true.

 ?- Vars=[A,B,C,D,E,F,G,H], Vars ins 0..9, A#\=0, D#\=0, ((10*A + B)*10+C)*99 #= ((10*D+E)*10+F)*(10*G+H),all_distinct(Vars),forall(label(Vars),format('~w~n',[Vars])).
[1,0,8,2,9,7,3,6]
[1,0,8,3,9,6,2,7]
[1,3,0,2,8,6,4,5]
[1,3,0,4,9,5,2,6]
[1,3,8,2,9,7,4,6]
[1,3,8,5,0,6,2,7]
[1,6,0,4,9,5,3,2]
[1,8,0,3,9,6,4,5]
[1,8,0,4,9,5,3,6]
[2,0,4,3,9,6,5,1]
[2,5,9,4,0,7,6,3]
[2,8,4,3,9,6,7,1]
[2,8,7,4,5,1,6,3]
[2,8,7,6,9,3,4,1]
[2,9,0,6,3,8,4,5]
[3,1,0,4,9,5,6,2]
[3,1,0,6,8,2,4,5]
[3,6,0,4,9,5,7,2]
[3,6,0,7,9,2,4,5]
[3,8,0,4,9,5,7,6]
[4,0,8,5,6,1,7,2]
[4,0,8,7,9,2,5,1]
[4,9,3,5,6,1,8,7]
[5,0,4,6,9,3,7,2]
[5,0,4,7,9,2,6,3]
[5,1,8,6,9,3,7,4]
[5,7,4,6,9,3,8,2]
[5,7,4,9,0,2,6,3]
[5,9,4,7,2,6,8,1]
[6,8,0,9,3,5,7,2]
[7,5,6,9,2,4,8,1]
1 голос
/ 20 марта 2011

Вы можете сделать следующую идентификацию: let a=0.GHGHGHGH....Тогда 

a = 0.GHGH....
GH + a = GH.GHGHGHGH.... = 100 a
GH = 99 a

=> a = GH/99

Таким образом, вы можете заменить его на GH/99 в своих формулах.

Аналогично 0.XYZXYZXYZ = XYZ/999.

...