Является ли дерево поддеревом другого дерева

@troika · Регистрация: 06.12.2009

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

Подскажите пожалуйста как в прологе можно определить, является ли дерево Т1 поддеревом дерева Т. Я пользуюсь VIP 5.2. Спасибо

@Грымзик · 08.12.2009, 23:49

а какое дерево, двоичное или нет?

@taras atavin · 09.12.2009, 04:42

В прологе сам полный 0. Но на тех языках, кторые я знаю, надо пройти по всем узлам T, сравнивая их адреса с адресом корня T1. Если найдёшь одно совпадение, то является, иначе - нет. Больше одного совпадения быть не может.

@troika · 09.12.2009, 13:47 **[ТС]**

Сообщение от Грымзик

а какое дерево, двоичное или нет?

Да, бинарное. Забыл указать.

@Грымзик · 09.12.2009, 20:33

Тогда это совсем просто. Я visual не пользуюсь, поэтому
только предикат напишу.

Prolog
1
2
check(X,X):-!.
check(tr(_,Left,Right),Tree):-check(Left,Tree);check(Right,Tree).

Prolog
1
2
?- check(tr(5,tr(7,tr(9,nil,nil),tr(8,nil,nil)),tr(6,nil,tr(4,tr(3,nil,nil),tr(1,nil,nil)))), tr(4,tr(3,nil,nil),tr(1,nil,nil))).
true.

@troika · 09.12.2009, 21:56 **[ТС]**

Спасибо большое, получилось! Вот код для Visual, может кому пригодится

Prolog
1
2
3
4
5
6
7
8
DOMAINS
tree=tr(integer,tree,tree);e      
PREDICATES
    check(tree,tree)
GOAL check(tr(5,tr(7,tr(9,e,e),tr(8,e,e)),tr(6,e,tr(4,tr(3,e,e),tr(1,e,e)))), tr(4,tr(3,e,e),tr(1,e,e))).
CLAUSES
check(X,X):-!.
check(tr(_,Left,Right),Tree):-check(Left,Tree);check(Right,Tree).

Новые блоги и статьи Все статьи Все блоги /
Как дизайн сайта влияет на конверсию: 7 решений, которые реально повышают заявки Neotwalker 08.03.2026 Многие до сих пор воспринимают дизайн сайта как “красивую оболочку”. На практике всё иначе: дизайн напрямую влияет на то, оставит человек заявку или уйдёт через несколько секунд. Даже если у вас. . .	Модульная разработка через nuget packages DevAlt 07.03.2026 Сложившийся в . Net-среде способ разработки чаще всего предполагает монорепозиторий в котором находятся все исходники. При создании нового решения, мы просто добавляем нужные проекты и имеем. . .	Модульный подход на примере F# DevAlt 06.03.2026 В блоге дяди Боба наткнулся на такое определение: В этой книге («Подход, основанный на вариантах использования») Ивар утверждает, что архитектура программного обеспечения — это структуры,. . .	Управление камерой с помощью скрипта OrbitControls.js на Three.js: Вращение, зум и панорамирование 8Observer8 05.03.2026 Содержание блога Финальная демка в браузере работает на Desktop и мобильных браузерах. Итоговый код: orbit-controls-threejs-js. zip. Сканируйте QR-код на мобильном. Вращайте камеру одним пальцем,. . .
SDL3 для Web (WebAssembly): Синхронизация спрайтов SDL3 и тел Box2D 8Observer8 04.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-sync-physics-sprites-sdl3-c. zip На первой гифке отладочные линии отключены, а на второй включены:. . .	SDL3 для Web (WebAssembly): Идентификация объектов на Box2D v3 - использование userData и событий коллизий 8Observer8 02.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-collision-events-sdl3-c. zip Сканируйте QR-код на мобильном и вы увидите, что появится джойстик для управления главным героем. . . .	Реалии Hrethgir 01.03.2026 Нет, я не закончил до сих пор симулятор. Эта задача сложнее. Не получилось уйти в плавсостав, но оно и к лучшему, возможно. Точнее получалось - но сварщиком в палубную команду, а это значит, в моём. . .	Ритм жизни kumehtar 27.02.2026 Иногда приходится жить в ритме, где дел становится всё больше, а вовлечения в происходящее — всё меньше. Плотный график не даёт вниманию закрепиться ни на одном событии. Утро начинается с быстрых,. . .

@troika 6 / 6 / 2 Регистрация: 06.12.2009 Сообщений: 51

	Является ли дерево поддеревом другого дерева 06.12.2009, 21:11. Показов 3749. Ответов 5 Метки нет (Все метки) Подскажите пожалуйста как в прологе можно определить, является ли дерево Т1 поддеревом дерева Т. Я пользуюсь VIP 5.2. Спасибо 0

@Грымзик 2507 / 1483 / 37 Регистрация: 14.09.2009 Сообщений: 2,740
	08.12.2009, 23:49
	а какое дерево, двоичное или нет? 0

@taras atavin 4226 / 1796 / 211 Регистрация: 24.11.2009 Сообщений: 27,562
	09.12.2009, 04:42
	В прологе сам полный 0. Но на тех языках, кторые я знаю, надо пройти по всем узлам T, сравнивая их адреса с адресом корня T1. Если найдёшь одно совпадение, то является, иначе - нет. Больше одного совпадения быть не может. 0