Программирование на языке Пролог для искусственного интеллекта




Упражнение


10. 3. Определите отношение

        avl( Дер)

для проверки того, является ли Дер

AVL-деревом, т.е. верно ли, что любые два его поддерева, подсоединенные к одной и той же вершине, отличаются по глубине не более чем на 1. Двоичные

line();

%  Вставление элемента в AVL-справочник

        доб_аvl( nil/0, X, д( nil/0, X, nil/0)/1).

                                    % Добавить Х к пустому дереву

        доб_аvl( д( L, Y, R)/Ну, X, НовДер) :-

                                    % Добавить Х к непустому дереву

                больше( Y, X),

                доб_аvl( L, X, д( L1, Z, L2)/ _ ),

                                    % Добавить к левому поддереву

                соединить( L1, Z, L2, Y, R, НовДер).

                                    % Сформировать новое дерево

        доб_avl( д( L, Y, R)/Ну, X, НовДер) :-

                больше( X, Y),



Содержание  Назад  Вперед