Задача о переупорядочивании кубиков (поиск в глубину)

09.12.2014, 19:20. Показов 1807. Ответов 0

Метки нет (Все метки)

Студворк — интернет-сервис помощи студентам

Уважаемые эксперты, срочно нужна помощь по задаче. Задача состоит в выработке плана переупорядочивания кубиков, поставленных друг на друга. На каждом шагу разрешается переставлять только один кубик. Кубик можно взять только тогда, когда его верхняя поверхность свободна. Кубик можно поставить либо на стол, либо на другой кубик. Нашёл реализацию в учебнике, но не могу разобраться в чём ошибка.

Prolog
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
domains
list=symbol*
sit=list*
sits=sit*
predicates
after(sit,sit)
solve (sit, sit, sits, sits)
member (list, sit)
member1(sit, sits)
writesp(sits)
clauses
member(X, [X|_]):-!.
member(X,[_|T]):-member(X,T).
member1(X, [X|_]):-!.
member1(X,[_|T]):-member1(X,T).
after([St11,St12,St13],S):-St13=[H3|T3],S=[St11,[H3|St12],T3].
after([St11,St12,St13],S):-St13=[H3|T3],S=[[H3|St11],St12,T3].
after([St11,St12,St13],S):-St12=[H2|T2],S=[[H2|St11],T2,St13].
after([St11,St12,St13],S):-St12=[H2|T2],S=[St11,T2,[H2|St13]].
after([St11,St12,St13],S):-St11=[H1|T1],S=[T1,[H1|St12],St13].
after([St11,St12,St13],S):-St11=[H1|T1],S=[T1,St12,[H1|St13]].
solve(S,S1,Sp,[S1|Sp]):-after(S,S1), member([a,b,c],S1).
solve(S,S2,Sp,Sp2):-after(S,S1), not(member([a,b,c],S1)),
not(member1(S1,Sp)),solve(S1,S2,[S1|Sp],Sp2).
writesp([]).
writesp([H|T]):-writesp(T),write(H),nl.
goal
solve([[c,a,b],[],[]],S,[[c,a,b],[],[]],Sp),writesp(Sp).

Выдаёт следующую ошибку: 506 Type error: The functor does not belong to the domain.

IT_Exp

Эксперт

34794 / 4073 / 2104

Регистрация: 17.06.2006

Сообщений: 32,602

Блог

09.12.2014, 19:20

Ответы с готовыми решениями:

Составление кубиков, поиск в пространстве состояний, монотонный поиск в ширину [Turbo Prolog]
Помогите решить задачу с кубиками в турбо прологе с несложной визуализацией. Имеется произвольное число кубиков, из которых составлены...

Задача на перекладывание кубиков
Гена очень послушный и умный маленький мальчик. Как и все дети он любит играть в кубики, но часто ему в голову приходят сложные...

Задача перестановка кубиков
Стоят вертикально кубики b,a,c надо чтобы выводился путь перехода в состояние a,b,c. кубики можно переставлять только по одному за раз. ...

Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.

BasicMan

Эксперт

29316 / 5623 / 2384

Регистрация: 17.02.2009

Сообщений: 30,364

Блог

09.12.2014, 19:20

Помогаю со студенческими работами здесь

Олимпиадная задача. Лестница из кубиков.
1) Мальчик Петя строит из кубиков лестницу. Лестница представляет собой несколько стоящихся рядом башенок из кубиков, каждая из которых...

Перемещение кубиков. Поиск в ширину
Нужно переместить кубики из заданного положения в конечное. a => a b => c c => b Осуществить поиск в ширину. (setq l1 (list...

Поиск в глубину, поиск в ширину, дерево
Добрый день. Есть задача с бидонами (есть три бидона : 1ый 14 литров -заполнен молоком, 2ой 9 литров-пуст, 3ий 5 литров - пуст. Нужно путем...

Поиск в глубину
Почему то при попытке осуществить поиск в глубину выводит 1 и n-1 нуль, помогите пожалуйста найти ошибку в коде : ...

Поиск в глубину
Необходимо реализовать Поиск в глубину для Ориентированного графа. Граф Взвешенный. Граф следует представить в виде: Матрицы смежности....

Искать еще темы с ответами

Или воспользуйтесь поиском по форуму:

Новые блоги и статьи Все статьи Все блоги /
Символьное дифференцирование igorrr37 13.02.2026 / * Логарифм записывается как: (x-2)log(x^2+2) - означает логарифм (x^2+2) по основанию (x-2). Унарный минус обозначается как ! */ #include <iostream> #include <stack> #include <cctype>. . .	Камера Toupcam IUA500KMA Eddy_Em 12.02.2026 Т. к. у всяких "хикроботов" слишком уж мелкий пиксель, для подсмотра в ESPriF они вообще плохо годятся: уже 14 величину можно рассмотреть еле-еле лишь на экспозициях под 3 секунды (а то и больше),. . .	И ясному Солнцу zbw 12.02.2026 И ясному Солнцу, и светлой Луне. В мире покоя нет и люди не могут жить в тишине. А жить им немного лет.	«Знание-Сила» zbw 12.02.2026 «Знание-Сила» «Время-Деньги» «Деньги -Пуля»
SDL3 для Web (WebAssembly): Подключение Box2D v3, физика и отрисовка коллайдеров 8Observer8 12.02.2026 Содержание блога Box2D - это библиотека для 2D физики для анимаций и игр. С её помощью можно определять были ли коллизии между конкретными объектами и вызывать обработчики событий столкновения. . . .	SDL3 для Web (WebAssembly): Загрузка PNG с прозрачным фоном с помощью SDL_LoadPNG (без SDL3_image) 8Observer8 11.02.2026 Содержание блога Библиотека SDL3 содержит встроенные инструменты для базовой работы с изображениями - без использования библиотеки SDL3_image. Пошагово создадим проект для загрузки изображения. . .	SDL3 для Web (WebAssembly): Загрузка PNG с прозрачным фоном с помощью SDL3_image 8Observer8 10.02.2026 Содержание блога Библиотека SDL3_image содержит инструменты для расширенной работы с изображениями. Пошагово создадим проект для загрузки изображения формата PNG с альфа-каналом (с прозрачным. . .	Установка Qt-версии Lazarus IDE в Debian Trixie Xfce volvo 10.02.2026 В общем, достали меня глюки IDE Лазаруса, собранной с использованием набора виджетов Gtk2 (конкретно: если набирать текст в редакторе и вызвать подсказку через Ctrl+Space, то после закрытия окошка. . .

Наверх