Механизм рекурсии весьма
эффективен при программировании задач поиска. В качестве еще одного примера
рассмотрим задачу поиска пути между двумя городами. Если несколько городов соединены
дорогами, то очевидно, что попасть из одного города в другой можно различными
маршрутами. Задача состоит в нахождении всех возможных маршрутов.
Карта дорог между городами
может быть изображена в виде графа — набора вершин, означающих города, и ребер,
обозначающих дороги (рис. 12.9).
Рис. 12.9. Представление
карты дорог в виде графа
Процесс поиска может
быть представлен как последовательность шагов. На каждом шаге с использованием
некоторого критерия выбирается точка, в которую можно попасть из текущей. Если
очередная выбранная точка совпала с заданной конечной точкой, то маршрут найден.
Если не совпала, то делаем из этой точки еще шаг. Так как текущая точка может
быть соединена с несколькими другими, то нужен какой-то формальный критерий
выбора. В простейшем случае можно выбрать точку с наименьшим номером.
Пусть, например, надо
найти все возможные пути из точки 1 в точку 5. Согласно принятому правилу, сначала
выбираем точку 2. На следующем шаге выясняем, что точка 2 тупиковая, поэтому
возвращаемся в точку 1 и делаем шаг в точку 3. Из точки 3 — в точку 4, из 4
— в 6 и из точки 6 — в точку 5. Один маршрут найден. После этого возвращаемся
в точку 6 и проверяем, возможен ли шаг в точку, отличную от 5. Так как это возможно,
то делаем шаг в точку 7, и затем — в 5. Найден еще один путь. Таким образом,
процесс поиска состоит из шагов вперед и возвратов назад. Поиск завершается,
если из узла начала движения уже некуда идти.
Алгоритм поиска имеет
рекурсивный характер: чтобы сделать шаг, мы выбираем точку и опять делаем шаг,
и так продолжаем до тех пор, пока не достигнем цели.
Таким образом, задача
поиска маршрута может рассматриваться как задача выбора очередной точки (города)
и поиска оставшейся части маршрута, т. е. имеет место рекурсия.
Граф можно представить
двумерным массивом, который назовем тар (карта). Значение элемента массива map[i,
j] — это расстояние между городами i и j, если города соединены дорогой, или
ноль, если города не соединены прямой дорогой. Для приведенного графа массив
тар можно изобразить в виде таблицы, представленной на рис. 12.10.
Рис. 12.10. Массив
тар
Содержимое ячейки таблицы
на пересечении строки i и столбца j соответcтвует значению map [ i, j ].
Помимо массива тар
нам потребуются массив road (дорога) и массив incl(от include — включать). В
road мы будем записывать номера пройденных городов. В момент достижения конечной
точки он будет содержать номера всех пройденных точек, т. е. описание маршрута.
В inci [i] будем записывать
true, если точка с номером i включена в маршрут. Делается это для того, чтобы
не включать в маршрут уже пройденную точку (не ходить по кругу).
Так как мы используем
рекурсивную процедуру, то надо обратить особое внимание на условие завершения
рекурсивного процесса. Процедура должна прекратить вызывать сама себя, если
текущая точка совпала с заданной конечной точкой.
На рис. 12.11 приведена
блок-схема алгоритма процедуры выбора очередной точки формируемого маршрута,
а диалоговое окно — на рис. 12.12.
Для ввода массива,
представляющего описание карты, используется компонент stringGridl (значения
его свойств приведены в таблице 12.1), для вывода результата (найденного маршрута)
— поле метки Label 1. Начальная и конечная точки маршрута задаются вводом значений
в поля редактирования Edit1 и Edit2. Процедура поиска запускается щелчком кнопки
Поиск (Buttonl). Поля меток Label2, Label3 и Label4 используются для
вывода поясняющего текста.
Рис. 12.11. Блок-схема
процедуры выбора точки маршрута
Рис. 12.12. Окно
программы Поиск маршрута
Таблица 12.1.
Значения свойств компонента stringGrid1
Свойство |
Значение |
||
Name |
StringGrid1 |
||
ColCount |
11 |
||
RowCount |
11 |
||
FixedCols |
1 |
||
FixedRows |
1 |
||
Options . goEditing |
TRUE |
||
DefaultColWidth |
16 |
||
DefaultRowHeight |
14 |
||
Текст программы приведен
в листинге 12.5.
Листинг 12.5.
Поиск маршрута
unit
road_;
interface
uses
Windows, Messages, SysUtils, Classes,
Graphics, Controls, Forms,
Dialogs,
StdCtrls, Grids;
type
TForml
= class(TForm)
StringGridl:
TStringGrid;
Edit1:
TEdit;
Edit2:
TEdit;
Label1:
TLabel;
Label2:
TLabel;
Label3:
TLabel;
Button1:
TButton;
Label4:
TLabel;
procedure
FormActivate(Sender: TObject);
procedure ButtonlClickfSender: TObject);
private
{
Private declarations } public
{
Public declarations } end;
var
Form1:
TForm1;
implementation
{$R
*.DFM}
procedure TForml.FormActivate(Sender: TObject);
var
i:integer;
begin
// нумерация строк
for
i:=1 to 10 do
StringGridl.Cells[0,i]:=IntToStr(i);
// нумерация колонок
for
i:=l to 10 do
StringGridl.Cells[1,0]:=IntToStr(i);
// описание предопределенной карты StringGridl.Cells[1,2]:='1' StringGridl.Cells[2,l]:='1'
StringGridl.Cells[1,3]:='1'
StringGridl.Cells[3,1]:='1'
StringGridl.Cells[1,4]:='1'
StringGridl.Cells[4,1]:='1'
StringGridl.Cells[3,7]:='1'
StringGridl.Cells[7,3]:='1'
StringGridl.Cells[4,6]:='1'
StringGridl.Cells[6,4]:='1'
StringGridl.Cells[5,6]:='1'
StringGridl.Cells[6,5]:='1'
StringGridl.Cells[5,7]:='1'
StringGridl.Cells[7,5]:='1'
StringGridl.Cells[6,7]:='1'
StringGridl.Cells[7,6]:='1'
end;
procedure TForml.ButtonlClick(Sender: TObject);
const
N=10;//
кол-во вершин графа var
map:array[1..N,1..N]of
integer; // Карта.map[i,j]ne 0,
//
если точки i и j соединены
road:array[1..N]of integer;
// Дорога - номера точек карты
incl:array[1..N]of
boolean; // incl[1]равен TRUE, если точка
//
с номером i включена в road
start,finish:integer; // Начальная и конечная точки
found:boolean;
i,j:integer;
procedure step(s,f,p:integer);
var
с:integer;// Номер точки, в которую делаем очередной шаг
i:integer;
begin
if
s=f then begin
//
Точки s и f совпали !
found:=TRUE;
Labell.caption:=Labell.caption+#13+'Путь:';
for
i:=l to p-1 do
Labell.caption:=Labell.caption+' '
+IntToStr(road[i]);
end
else
begin
//
выбираем очередную точку for c:=l to N do
begin // проверяем все вершины
if(map[s,c]<>
0)and(NOT incite1)
// точка соединена с текущей и не включена в маршрут
then
begin
road[p]:=c;// добавим вершину в путь
incl[c]:=TRUE;// пометим вершину как включенную
step(c,f,p+l); incite]:=FALSE; road[p]:=0;
end;
end;
end;
end;//
конец процедуры step
begin
Label1.caption:
=' ' ;
//
инициализация массивов
for
i:=l to N do road[i]:=0;
for
i:=l to N do incl[i]:=FALSE;
// ввод описания карты из SrtingGrid.Cells
for
i:=l to N do
for
j:=1 to N do
if
StringGrid1.Cells[i,j] <> ''
then map[i,j]:=StrToInt(StringGridl.Cells[i, j] ;
else
map[i,j]:=0;
start:=StrToInt(Editl.text);
finish:=StrToInt(Edit2.text);
road[l]:=start;//
внесем точку в маршрут
incl[start]:=TRUE;//
пометим ее как включенную
step(start,finish,2);//ищем
вторую точку маршрута
// проверим, найден ли хотя бы один путь
if
not found
then
Labell.caption:='Указанные точки не соединены!';
end;
end.
При запуске программы
в момент активизации формы приложения происходит событие onActivate, процедура
обработки которого заполняет массив StringGridl.cells значениями, представляющими
описание карты. Этаже процедура нумерует строки и столбцы таблицы, заполняя
зафиксированные ячейки первого столбца и первой строки StringGridl.
Поиск маршрута инициирует процедура TFormi.Buttoniciick, которая запускается щелчком на кнопке Поиск. Данная процедура для поиска точки, соединенной с исходной точкой, вызывает процедуру step, которая после выбора первой точки, соединенной с начальной, и включения ее в маршрут вызывает сама себя. При этом в качестве начальной точки задается уже не исходная, а текущая, только что включенная в маршрут.
Вещество и поле не есть что-то отдельное от эфира, также как и человеческое тело не есть что-то отдельное от атомов и молекул его составляющих. Оно и есть эти атомы и молекулы, собранные в определенном порядке. Также и вещество не есть что-то отдельное от элементарных частиц, а оно состоит из них как базовой материи. Также и элементарные частицы состоят из частиц эфира как базовой материи нижнего уровня. Таким образом, всё, что есть во вселенной - это есть эфир. Эфира 100%. Из него состоят элементарные частицы, а из них всё остальное. Подробнее читайте в FAQ по эфирной физике.