Пролог ограничения - головоломка
Я занимаюсь разработкой игры под названием woodntDie. Эта игра состоит из 9 частей, которые должны выглядеть следующим образом:
Цель состоит в том, чтобы расположить все эти части и сделать их похожими на кости:
Это четыре окончательных возможных решения со всеми этими 9 штуками.
Я пытаюсь реализовать некоторые ограничения, но их недостаточно:
sum([V5, V6, V11, V12, V17, V18, V23, V24, V29, V30, V35, V36, V41, V42, V47, V48, V53, V54], #=, 7),
Сумма противоположных граней всегда должна быть 7. В этом ограничении я говорю, что сумма верхней и нижней граней равна 7.
sum([V2, V19, V7, V16, V31, V26], #=, 7),
Сумма передней и задней граней составляет 7, а также.
sum([V1, V49, V13, V8, V37, V25], #=, 7),
Сумма левого и правого лица равна 7.
sum(Vars, #=, 21),
Сумма всех точек это 21.
Но я получаю действительно странный вывод, я получаю повторяющиеся фрагменты и множество решений, которые не имеют никакого смысла и вообще не образуют кости. Я думаю, что мне нужно немного больше ограничений, и мои вопросы:
Как я могу сделать ограничение, сказав, что некоторые части не могут повторяться (обратите внимание, что у меня может быть две части F, но все остальные не могут быть похожими)
Как мне сделать новое ограничение с этим:
Единственный оставшийся стержень с двумя точками на его стороне - это C, поэтому C должен соединиться с A, чтобы сделать 4 или 5 грань
Единственный другой стержень, у которого есть пятно на его стороне около одного конца, это E, поэтому E должен объединиться с B, чтобы сделать 2 или 3 грань.
Я имею в виду, есть ли способ сказать "сумма VX, VY, VZ это 2 или 3".
И есть ли у вас другое мнение, которое облегчит решение?
Я борюсь здесь, и я действительно не знаю, что делать, я был бы очень признателен за любую помощь, которую я мог получить.
Вот весь код:
:-use_module(library(clpfd)).
:-use_module(library(lists)).
dice(Vars):-
Vars=[V1, V2, V3, V4, V5, V6, V7, V8, V9, V10, V11, V12, V13, V14, V15, V16, V17, V18,
V19, V20, V21, V22, V23, V24, V25, V26, V27, V28, V29, V30, V31, V32, V33, V34, V35, V36,
V37, V38, V39, V40, V41, V42, V43, V44, V45, V46, V47, V48, V49, V50, V51, V52, V53, V54],
% pecas dos topos
domain([V5, V6, V11, V12, V17, V18, V23, V24, V29, V30, V35, V36, V41, V42, V47, V48, V53, V54], 0, 1),
% pecas laterais
domain([V1, V2, V3, V4, V7, V8, V9, V10, V13, V14, V15, V16, V19, V20, V21, V22, V25, V26, V27, V28,
V31, V32, V33, V34, V37, V38, V39, V40, V43, V44, V45, V46, V49, V50, V51, V52], 0,2),
table([
[V1, V2, V3, V4, V5, V6], %%peca1
[V7, V8, V9, V10, V11, V12], %%peca2
[V13, V14, V15, V16, V17, V18], %%peca3
[V19, V20, V21, V22, V23, V24], %%peca4
[V25, V26, V27, V28, V29, V30], %%peca5
[V31, V32, V33, V34, V35, V36], %%peca6
[V37, V38, V39, V40, V41, V42], %%peca7
[V43, V44, V45, V46, V47, V48], %%peca8
[V49, V50, V51, V52, V53, V54]], %%peca9
[[2,2,0,0,1,0], %%peca1
[2,1,0,0,1,1], %%peca2
[2,0,0,0,1,1], %%peca3
[2,0,0,0,0,0], %%peca4
[1,0,0,0,1,0], %%peca5
[1,0,0,0,0,0], %%peca6
[1,0,0,0,0,0], %%peca7
[0,0,0,0,1,0], %%peca8
[0,0,0,0,0,0]]), %%peca9
% restricoes para as faces que envolve os topos de cada peça
% Na figura de descriçºao das peças os topos de cima estão guardados
% na posicao 5 de cada lista. Os topos de baixo estoa guardados na
% posicao 6 de cada lista
% Restrições quanto à soma de faces opostas(=7)
V2 + V19 + V7 #= TotalF1,
V8 + V37 + V25 #= TotalF2,
V5 + V23 + V11 + V53 + V47 + V41 + V29 + V35 + V17 #= TotalF3,
V18 + V36 + V30 + V54 + V48 + V42 + V6 + V24 + V12 #= TotalF4,
V1 + V49 + V13 #= TotalF5,
V16+ V31 + V26 #= TotalF6,
Totals = [TotalF1, TotalF2, TotalF3, TotalF4, TotalF5, TotalF6],
domain(Totals, 1,6),
all_different(Totals),
TotalF3 + TotalF4 #= 7,
TotalF1 + TotalF6 #= 7,
TotalF5 + TotalF2 #= 7,
A #= 100000*V1 + 10000*V2+ 1000*V5,
element(P1,Vars,A),
B #= 100000*V7 + 10000*V8 + 10*V11 + V12,
element(P2,Vars,B),
C #= 100000*V13 + 10*V17 + V18,
element(P3,Vars,C),
D #= 100000*V19,
element(P4,Vars,D),
E #= 100000*V25 + 10*V29,
element(P5,Vars,E),
F #= 100000*V31,
element(P6,Vars,F),
G #= 100000*V37,
element(P7,Vars,G),
H #= 100*V47,
element(P8,Vars,H),
I #= 0,
element(P9,Vars,I),
F#=P7,
F#=G,
PiecesIndex = [P1, P2, P3, P4, P5, P6, P8, P9],
all_different(PiecesIndex),
%There are 21 spots on the pieces
%sum(Vars, #=, 21),
labeling([],Vars),
show(Vars).
show([V1, V2, V3, V4, V5, V6, V7, V8, V9, V10, V11, V12, V13, V14, V15, V16, V17, V18,
V19, V20, V21, V22, V23, V24, V25, V26, V27, V28, V29, V30, V31, V32, V33, V34, V35, V36,
V37, V38, V39, V40, V41, V42, V43, V44, V45, V46, V47, V48, V49, V50, V51, V52, V53, V54]) :-
write([V1, V2, V3, V4, V5, V6]), nl,
write([V7, V8, V9, V10, V11, V12]), nl,
write([V13, V14, V15, V16, V17, V18]), nl,
write([V19, V20, V21, V22, V23, V24]), nl,
write([V25, V26, V27, V28, V29, V30]), nl,
write([V31, V32, V33, V34, V35, V36]), nl,
write([V37, V38, V39, V40, V41, V42]), nl,
write([V43, V44, V45, V46, V47, V48]), nl,
write([V49, V50, V51, V52, V53, V54]), nl.
и вот рис с изображением кости и всех тех V (каждый V представляет точки на каждом лице)
Огромное спасибо заранее
Любые сомнения, просто спросите или добавьте меня в скайпе: сохранение
С наилучшими пожеланиями
1 ответ
Я имею в виду, есть ли способ сказать "сумма VX, VY, VZ это 2 или 3".
Если это ключевой вопрос, попробуйте это:
(sum([VX,VY,VZ],#=,2);sum([VX,VY,VZ],#=,3))