2

初心者コースでは、Prologでいくつかの古典的な暗号文を実行するように依頼されました。これらはすべて機能しますが、これは解決策を見つけることなく継続しますが、過熱によってPCを爆破させようとする場合を除きます。

40 + TEN + TEN = SIXTY

crypto2(F,O,R,T,Y,E,N,S,I,X) :-
  digit(F), digit(O), digit(R), digit(T), digit(Y), digit(E), digit(N), digit(S), digit(I), digit(X),
  F =\= O, F =\= R, F =\= T, F =\= Y, F =\= E, F =\= N, F =\= S, F =\= I, F =\= X,
  O =\= R, O =\= T, O =\= Y, O =\= E, O =\= N, O =\= S, O =\= I, O =\= X,
  R =\= T, R =\= Y, R =\= E, R =\= N, R =\= S, R =\= I, R =\= X,
  T =\= Y, T =\= E, T =\= N, T =\= S, T =\= I, T =\= X,
  Y =\= E, Y =\= N, Y =\= S, Y =\= I, Y =\= X,
  E =\= N, E =\= S, E =\= I, E =\= X,
  N =\= S, N =\= I, N =\= X,
  S =\= I, S =\= X,
  I =\= X,
  10000 * F + 1000 * O + 100 * R + 210 * T + Y + 20 * E + 2 * N =:= 10000 * S + 1000 * I + 100 * X + 10 * T + Y.

ヒューマンエラーを防ぐために、すべての桁間の不等式はこのPythonビットで記述されています。

nbs = ["F", "O", "R", "T", "Y", "E", "N", "S", "I", "X"]
for i in range(len(nbs)):
  s= ""
  for j in range(i + 1, len(nbs)):
    s += nbs[i] + " =\= " + nbs[j] + ", "
  print s

ここには、0〜9が数字であると主張する一連の10の単純な事実（digit（0）。からdigit（9））は書かれていません。

誰かが明白な間違いを見つけてくれませんか、それとも実際には10分以上かかりますが、より単純な6桁の暗号文はすぐに解決しますか？

ありがとう！

4

1 に答える 1

2

あなたは物事を少し動かす制約を「最初に可能」に固定することができます：

crypto2(F,O,R,T,Y,E,N,S,I,X) :-
  digit(F),
  digit(O), F =\= O,
  digit(R), F =\= R, O =\= R,
  digit(T), F =\= T, ...
于 2013-03-25T16:48:10.480 に答える