Формат минимального пути

Поэтому я работаю над тем, чтобы помочь мне лучше понять Пролог. Я взял традиционную проблему кувшина с водой, но добавил немного трудностей. Таким образом, мой код работает довольно хорошо. Единственное, что осталось сделать, - это сделать хорошее форматирование для вывода. В настоящее время он показывает только минимальный путь, найденный в моем коде для заполнения кувшина. (см. пример ниже)

До сих пор я думал, как мне это сделать, но я понятия не имею, как это сделать в Прологе.

Окончательный список моего оптимального пути отформатирован так: [ [x(a,b),y(c,d),z(e,f)], [], [], ...]

Я хочу достичь этого формата (см. Ниже для более подробного вывода):

a -> b
c -> d
etc
  • Во-первых, я печатаю исходный, который является жидким (в нашем случае, 1. В противном случае первый элемент в списке является исходным шаблоном). Затем я беру первый подсписок и сравниваю его с предыдущим, чтобы увидеть, какой из кувшинов перешел на другой, и распечатать его. Затем продолжайте, пока список не станет пустым.

В настоящее время это показывает это:

?- problem.
[[jug(3,0),jug(5,0),jug(8,8)],[jug(3,0),jug(5,5),jug(8,3)],
 [jug(3,3),jug(5,2),jug(8,3)],[jug(3,0),jug(5,2),jug(8,6)],
 [jug(3,2),jug(5,0),jug(8,6)],[jug(3,2),jug(5,5),jug(8,1)],
 [jug(3,3),jug(5,4),jug(8,1)],[jug(3,0),jug(5,4),jug(8,4)]]
true .

Какой правильный путь для текущей конфигурации кувшинов. (Позже я добавлю способ сделать кувшины)

Вот как я хотел бы это показать (в моем коде вы можете увидеть индекс, который я хочу для каждого из них):

?- problem.
1 -> 2
2 -> 3
3 -> 1
2 -> 3
1 -> 2
2 -> 3
3 -> 1
true.

Я хотел бы получить помощь с этим, так как все, что я пытаюсь, - логический беспорядок.

Спасибо, парни / девушки <3

Источник

2 ответа

Решение

При условии, что у вас есть реальный путь решения (я думаю, ваш код не даст правильных результатов для некоторых начальных / конечных состояний), вы можете написать процедуру следующим образом:

show([_]).
show([S1, S2|Tail]):-
  show1(S1, S2, 3, Gain, Loss),  # 3 here is the number of jugs
  write(Loss), write(' -> '), write(Gain),nl,
  show([S2|Tail]).

show1([], [], _, _, _).
show1([jug(Max1,Cur1)|S1], [jug(Max2,Cur2)|S2], Idx, Gain, Loss):-
  succ(NIdx, Idx),
  (Max1-Cur1=Max2-Cur2 -> true;
   (Cur2 > Cur1 -> Gain=Idx ;
    Loss=Idx
  )),
  show1(S1, S2, NIdx, Gain, Loss).

Однако я бы посоветовал вам улучшить исходный код для вычисления этих значений при построении пути решения.

Сампе беги:

show([[jug(3,0),jug(5,0),jug(8,8)],[jug(3,0),jug(5,5),jug(8,3)], 
     [jug(3,3),jug(5,2),jug(8,3)],[jug(3,0),jug(5,2),jug(8,6)], 
     [jug(3,2),jug(5,0),jug(8,6)],[jug(3,2),jug(5,5),jug(8,1)], 
     [jug(3,3),jug(5,4),jug(8,1)],[jug(3,0),jug(5,4),jug(8,4)]]).
1 -> 2
2 -> 3
3 -> 1
2 -> 3
1 -> 2
2 -> 3
3 -> 1
true.
Источник

См . шаблон для проверки двух соседних элементов

show(L) :-
    findall(T, (append(_,[A,B|_],L), transition(A,B,T)), Ts),
    maplist(writeln, Ts).

transition(
    [jug(3,A),jug(5,B),jug(8,C)],
    [jug(3,U),jug(5,V),jug(8,Z)],
    S->T
) :-
    P=[A^U,B^V,C^Z],
    nth0(L,P,X^M), X>M,
    nth0(R,P,Y^N), Y<N,
    S is 3-L, T is 3-R.
Источник
Другие вопросы по тегам