この水差しの問題を解決する必要があり、深さ優先アルゴリズムで解決する必要があります。私は 4 ガロンと 3 ガロンの 2 つの水差しを持っていますが、どちらにもマークはありません。4 ガロンの水差しに正確に 2 ガロンの水を入れるにはどうすればよいですか? 最初は両方の水差しが空です。
ルールは次のとおりです。
capacity(C,JC), for C equal j1 or j2;
jugs(C1,C2), where C1 and C2 give the current contents of the jugs
初期開始事実: jugs(0,0) ゴール: jugs(2,0) または jugs(0,2)
initial_state(jugs,jugs(0,0)).
final_state(jugs(2,C2)).
final_state(jugs(C1,2)).
transition(jugs(C1,C2),fill(j1)).
transition(jugs(C1,C2),fill(j2)).
transition(jugs(C1,C2),empty(j1)) :-
C1 > 0.
transition(jugs(C1,C2),empty(j2)) :-
C2 > 0.
transition(jugs(C1,C2),transfer(j2,j1)).
transition(jugs(C1,C2),transfer(j1,j2)).
update(jugs(C1,C2),empty(j1),jugs(0,C2)).
update(jugs(C1,C2),empty(j2),jugs(C1,0)).
update(jugs(C1,C2),fill(j1),jugs(Capacity,C2)) :-
capacity(j1,Capacity).
update(jugs(C1,C2),fill(j2),jugs(C1,Capacity)) :-
capacity(j2,Capacity).
update(jugs(C1,C2),transfer(j2,j1),jugs(W1,W2)) :-
capacity(j1,Capacity),
Water is C1 + C2,
Overhang is Water - Capacity ,
adapt(Water,Overhang,W1,W2).
update(jugs(C1,C2),transfer(j1,j2),jugs(W1,W2)) :-
capacity(j2,Capacity),
Water is C1 + C2,
Overhang is Water - Capacity ,
adapt(Water,Overhang,W2,W1).
adapt(Water,Overhang,Water,0) :- Overhang =< 0.
adapt(Water,Overhang,C,Overhang) :-
Overhang > 0,
C is Water - Overhang.
legal(jugs(C1,C2)).
capacity(j1,4).
capacity(j2,3).
前もって感謝します!