После приведения формулы вида ПНФ к виду ССФ вы получаете формулу, в безквантовой матрице которой дизъюнкт содержит оба контранрных атома:. Как тогда проводить его унификацию, если в случае замены x на f(x) весь дизъюнкт обратится в единицу? |
Сибирский университет потребительской кооперации
Опубликован: 04.05.2005 | Доступ: свободный | Студентов: 4322 / 1347 | Оценка: 4.45 / 4.22 | Длительность: 12:28:00
ISBN: 978-5-9556-0034-5
Тема: Программирование
Специальности: Программист, Архитектор программного обеспечения
Теги:
Лекция 10:
Деревья
Самостоятельные задания
- Допишите генератор деревьев, чтобы выдаваемые им деревья имели количество вершин, точно соответствующее числу, указанному в его первом аргументе.
- Измените предикат, удаляющий значение из двоичного справочника, так, чтобы удалялся не минимальный элемент правого поддерева, а максимальный элемент левого поддерева.
- Создайте предикат, находящий максимальное из значений, находящихся в вершинах дерева.
- Создайте предикат, проверяющий, что дерево является двоичным справочником.
- Создайте предикат, переписывающий дерево в двоичный справочник.
- Создайте предикат, который будет находить среднеарифметическое значений, находящихся в вершинах дерева.
- Создайте предикат, который будет находить среднеарифметическое значений, находящихся в листьях дерева.
- Модифицируйте предикат, находящий сумму чисел, расположенных в вершинах дерева так, чтобы он суммировал только положительные числа.
- Измените его еще раз, чтобы он вычислял произведение отрицательных чисел.
- Модифицируйте предикат, "сворачивающий" двоичный справочник в список с сохранением порядка элементов, чтобы на выходе получалось два списка, содержащих, соответственно, положительные и отрицательные значения.
- Создайте предикат, подсчитывающий количество всех вершин данного дерева, значения которых принадлежат заданному диапазону.
- Создайте предикат, подсчитывающий количество всех вершин данного дерева заданной высоты.
- Создайте предикат, выводящий значения находящиеся в вершинах заданной высоты.
- Создайте предикат, проверяющий, является ли одно дерево поддеревом второго.
- Создайте предикат, выводящий дерево на экран (или в файл), расположив дерево следующим образом: корень находится слева, а листья справа.
- Создайте предикат, выводящий дерево на экран (или в файл), расположив дерево обычным образом: корень находится сверху, а листья снизу.