Математическая логика и теория алгоритмов

Математическая логика и теория алгоритмов Содержание.Доказательство правильности алгоритма.Очевидно, на каждой из n горизонталей должно стоять по ферзю.Данное дерево представлено только для наглядности и простоты представления для n=2.Среди позиций этого дерева нам надо отобрать те n-позиции, в которых ферзи не бьют друг друга.Наша программа будет рассматривать только допустимые позиции.Сформулируем задачу обхода произвольного дерева.Будем считать, что у нас имеется Робот, который в каждый момент находится в одной из вершин дерева.Доказательство правильности приводимой далее программы использует такие определения.(ОНЛН) обработаны все вершины ниже, левее и над.