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


         

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


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

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





Forekc.ru
Рефераты, дипломы, курсовые, выпускные и квалификационные работы, диссертации, учебники, учебные пособия, лекции, методические пособия и рекомендации, программы и курсы обучения, публикации из профильных изданий