Cтраница 1
Целевые вершины ( или терминальные вершины) соответствуют тривиальным ( или примитивным) задачам. [1]
В целевой вершине все элементы строки матрицы равны 1, что соответствует полностью завершенной схеме. Наличие в строке матрицы ( г числового индекса 2 свидетельствует о том, что из системы выводится фракция, состоящая из двух или более компонентов. В этом случае размерность задачи синтеза существенно сокращается. Этот индекс используется при наличии в разделяемой смеси компонентов, которые необходимо вывести в первую очередь. Индексы 4, 5 и 6 служат для ограничения пространства поиска только в той его части, в которой могут быть получены две или более фракций с заданными свойствами. Они используются на предварительном этапе синтеза, когда рассматриваются только те варианты схем разделения, в которых возможна организация теплового объединения внутри схемы. Здесь также отрабатывается заданная схема разделения отдельных компонентов, возможно, другим методом. На основании матрицы связей формируется матрица маршрутов делений. [2]
По получении целевой вершины процесс раскрытия заканчивается и по указателям строится путь, ведущий к корню. Соответствующие дугам операторы образуют решение задачи. [3]
Если В - целевая вершина, то задача решается тривиальным образом. [4]
![]() |
Отношение расширшь ( Путь, Дер, Дер1 ЕстьРеш, Решение. [5] |
Путь, продолженный до целевой вершины. [6]
В этих процессах расположение целевой вершины не влияет на порядок раскрытия. [7]
Если для заданной глубины раскрытия целевая вершина не находится, то весь процесс повторяется снова, а в качестве новой вершины рассматривается самая левая из полученных на предыдущем этапе. [8]
Если среди них не обнаруживается целевая вершина, то затем также обследуются по порядку все вершины глубины Я 2 и так далее, пока не будет обнаружена целевая вершина, то есть не будет получено решение задачи. Так как целевых вершин может быть несколько, то при необходимости поиск продолжается до тех пор, пока яв будут найдены все решения. [9]
![]() |
Фрагмент дерева перебора в ширину. [10] |
Полный перебор в ширину гарантирует нахождение целевой вершины как раз потому, что перебор полный. Путей достижения цели, вообще говоря, может быть много. Но может быть случай, когда граф поиска окажется бесконечным, и тогда этот алгоритм никогда не кончит работу. Имеется класс задач, для которых метод эффективен. Классическим примером является задача лабиринтного поиска 10, впервые решенная К. Здесь пространство различных вариантов действия невелико: повернуть вправо, влево, вперед, и решение лежит на некоторой заданной ( обычно небольшой) глубине. [11]
Если в дереве Дер нет ни одной целевой вершины и, кроме того, оно не может быть расширено, то процедура расширить терпит неудачу. [12]
Пути, который может быть продолжен вплоть до целевой вершины. Этот продолженный путь и есть Решение. [13]
Отметим, что одним из условий, заданных в целевой вершине, являются связывания цели, выражающие ограничения, которые должны быть удовлетворены в кортежах результата. Рассмотрим все накопленные к концу вычислений в целевой вершине кортежи. Многие из них не будут удовлетворять условиям связывания и могут быть исключены из этой вершины. Идея метода статической фильтрации состоит в том, чтобы исключить из процесса вычисления ненужные кортежи как можно раньше на предыдущих стадиях их продвижения к целевой вершине. [14]
В случае 1 следует все элементы вершин цепи, соединяющей целевую вершину с корнем дерева, сделать представителями множеств, из которых они взяты. [15]