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

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

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

Подскажите пожалуйста как в прологе можно определить, является ли дерево Т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

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).

@troika 6 / 6 / 2 Регистрация: 06.12.2009 Сообщений: 51
		1
	Является ли дерево поддеревом другого дерева 06.12.2009, 21:11. Показов 3455. Ответов 5 Метки нет (Все метки) Подскажите пожалуйста как в прологе можно определить, является ли дерево Т1 поддеревом дерева Т. Я пользуюсь VIP 5.2. Спасибо 0

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

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

@troika 6 / 6 / 2 Регистрация: 06.12.2009 Сообщений: 51
	09.12.2009, 13:47 [ТС]	4
	Сообщение от Грымзик а какое дерево, двоичное или нет? Да, бинарное. Забыл указать. 0

	09.12.2009, 21:56