Множества. Деревья. (Лекция 6)

Множества

Создание множества
Операции со множествами (объединение, пересечение, разность, проверка включения, симметрическая разность,

Создание множества

list_set([],[]). /* пустой список является множеством */
list_set ([H|T],[H|T1]) :–

Объединение множеств

union([ ],S2,S2).
union([H|T],S2,S):–
member3(H,S2),
!,
union(T,S2,S).
union([H |T],S2,[H|S]):–
union(T,S2,S).

Пересечение множеств

intersection([],_,[]).
intersection([H|T1],S2,[H|T]):–
member3(H,S2),
!,
intersection(T1,S2,T).
intersection([_|T],S2,S):–
intersection(T,S2,S).

Разность множеств

minus([],_,[]).
minus([H|T],S2,S):–
member3(H,S2),
!,
minus(T,S2,S).
minus([H|T],S2,[H|S]):–
minus(T,S2,S).

Проверка включения

subset([],_).
subset([H|T],S):–
member3(H,S),
subset(T,S).
subsetU(A,B):–
union(A,B,B).
subsetI(A,B):–
intersection(A,B,A).

Проверка включения

equal(A,B):–
subset(A,B),
subset(B,A).
Prop_subset(A,B):–
subset(A,B),
not(equal(A,B)).

Симметрическая разность

Sim_minus(A,B,SM):–
minus(A,B,A_B),
minus(B,A,B_A),
union(A_B,B_A,SM).

Дополнение множества

supp(A,D):–
U=[0,1,2,3,4,5,6,7,8,9],
minus(U,A,D).

Объединение и пересечение через дополнение

unionI(A,B,AB):–
supp(A,A_),
supp(B,B_),
intersection(A_,B_,A_B),

Деревья

Принадлежность значения дереву
Замена в дереве всех вхождений одного значения на другое
Подсчет

Принадлежность значения дереву

DOMAINS
tree=empty;tr(i,tree,tree)
CLAUSES
tree_member(X,tr(X,_,_)):–!.
tree_member(X,tr(_,L,_)):–
tree_member(X,L),!.
tree_member(X,tr(_,_,R)):–
tree_member(X,R).

Замена в дереве всех вхождений одного значения на другое

tree_replace(_,_,empty,empty).
tree_replace(X,Y,tr(X,L,R),tr(Y,L1,R1)):–
!,
tree_replace(X,Y,L,L1),

Подсчет общего количества вершин дерева

tree_length (empty,0).
tree_length(tr(_,L,R),N):–
tree_length (L,N1),

Подсчет количества листьев дерева

tree_leaves(empty,0).
tree_leaves(tr(_,empty,empty),1):–!.
tree_leaves(tr(_,L,R),N):–
tree_leaves(L,N1),
tree_leaves(R,N2),
N=N1+N2.

Сумма чисел, расположенных в вершинах дерева

tree_sum (empty,0).
tree_sum(tr(X,L,R),N):–
tree_sum (L,N1),

Вычисление высоты дерева

tree_height(empty,0).
tree_height(tr(_,L,R),D) :–
tree_height(L,D1),
tree_height(R,D2),
max(D1,D2,D_M),

Проверка принадлежности значения двоичному справочнику

tree_member2(X,tr(X,_,_)):–!.
tree_member2(X,tr(K,L,_)):–
X tree_member2(X,L).
tree_member2(X,tr(K,_,R)):–
X>K,!,
tree_member2(X,R).

Добавление в двоичный справочник нового значения

tree_insert(X,empty,tr(X,empty,empty)).
tree_insert(X,tr(X,L,R),tr(X,L,R)):–!.
tree_insert(X,tr(K,L,R),tr(K,L1,R)):–
X tree_insert(X,L,L1).

Генерация двоичного справочника со случайными числами

tree_gen(0,empty):–!.
tree_gen (N,T):–
random(100,X),
N1=

Удаление заданного значения из двоичного справочника

tree_del_min(tr(X,empty,R), R, X).
tree_del_min(tr(K,L,R), tr(K,L1,R), X):–

Преобразование произвольного списка в двоичный справочник

list_tree([],empty).
list_tree([H|T],Tr):–
list_tree(T,Tr1),
tree_insert(H,Tr1,Tr).

«Сворачивание» двоичного справочника в список с сохранением порядка элементов

tree_list(empty,[]).
tree_list(tr(K,L,R),S):–
tree_list(L,T_L),