Критический диапазон для беспроводных сетей: различия между версиями

Перейти к навигации Перейти к поиску
м
Строка 3: Строка 3:


== Постановка задачи ==
== Постановка задачи ==
Пусть дано множество точек V. Граф с множеством вершин V, в котором между двумя вершинами имеется ребро в том и только том случае, если расстояние между ними не превышает некоторого положительного вещественного числа r, называется графом r-кругов над множеством вершин V и обозначается <math>G_r (V) \;</math>. Если <math>r1 \le r2 \;</math>, то, очевидно, <math>G_{r_1} (V) \subseteq G_{r_2} (V) \;</math>. Свойство графа является монотонным (возрастающим), если в том случае, если верно утверждение: если граф обладает таким свойством, то каждый суперграф с тем же множеством вершин также обладает этим свойством. Задача о поиске критического диапазона (или критического радиуса) заключается в том, чтобы найти некоторый минимальный диапазон r, такой, что <math>G_r (V) \;</math> обладает некоторым монотонным свойством. К примеру, свойство связности графа является монотонным и очень важным для множества приложений. Любопытно узнать, является ли <math>G_r (V) \;</math> связным. Обозначим за pcon (V) минимальный диапазон r, такой, что <math>G_r (V) \;</math> является связным. Тогда <math>G_r (V) \;</math> является связным, если <math>r \ge \rho_{con} (V) \;</math>, и несвязным в противном случае. В данном случае <math>\rho_{con} (V) \;</math> будет называться критическим диапазоном для свойства связности V. Формально задача о критическом диапазоне определяется следующим образом.
Пусть дано множество точек V. Граф с множеством вершин V, в котором между двумя вершинами имеется ребро в том и только том случае, если расстояние между ними не превышает некоторого положительного вещественного числа r, называется графом r-кругов над множеством вершин V и обозначается <math>G_r (V) \;</math>. Если <math>r1 \le r2 \;</math>, то, очевидно, <math>G_{r_1} (V) \subseteq G_{r_2} (V) \;</math>. Свойство графа является монотонным (возрастающим), если в том случае, если верно утверждение: если граф обладает таким свойством, то каждый суперграф с тем же множеством вершин также обладает этим свойством. Задача о поиске критического диапазона (или критического радиуса) заключается в том, чтобы найти некоторый минимальный диапазон r, такой, что <math>G_r (V) \;</math> обладает некоторым монотонным свойством. К примеру, свойство связности графа является монотонным и очень важным для множества приложений. Любопытно узнать, является ли <math>G_r (V) \;</math> связным. Обозначим за <math>\rho_{con} (V) \;</math> минимальный диапазон r, такой, что <math>G_r (V) \;</math> является связным. Тогда <math>G_r (V) \;</math> является связным, если <math>r \ge \rho_{con} (V) \;</math>, и несвязным в противном случае. В данном случае <math>\rho_{con} (V) \;</math> будет называться критическим диапазоном для свойства связности V.


Формально задача о критическом диапазоне определяется следующим образом.


'''Определение 1'''. Критическим диапазоном для монотонного свойства графа ж над множеством точек V, обозначаемым <math>\rho_{\pi} (V) \;</math>, является наименьший диапазон r, такой, что <math>G_r (V) \;</math> обладает свойством <math>\pi \;</math>.


'''Определение 1'''. Критическим диапазоном для монотонного свойства графа <math>\pi \;</math> над множеством точек V, обозначаемым <math>\rho_{\pi} (V) \;</math>, является наименьший диапазон r, такой, что <math>G_r (V) \;</math> обладает свойством <math>\pi \;</math>.


С другой стороны, для заданного геометрического свойства соответствующая геометрическая структура обычно бывает встроена. Во многих случаях задача нахождения критического диапазона для свойства графа оказывается родственной или эквивалентной задаче о самом длинном ребре в соответствующей геометрической структуре. Например, если граф <math>G_r (V) \;</math> является связным, он содержит евклидово [[минимальное остовное дерево]] (EMST), а pcon (V) эквивалентно длине наибольшего ребра в EMST. Таким образом, задача нахождения критического диапазона для свойства связности эквивалентна задаче нахождения самого длинного ребра в EMST, а критическим диапазоном для свойства связности является наименьшее значение r, такое, что <math>G_r (V) \;</math> содержит EMST.
 
С другой стороны, для заданного геометрического свойства соответствующая геометрическая структура обычно бывает встроена. Во многих случаях задача нахождения критического диапазона для свойства графа оказывается родственной или эквивалентной задаче о самом длинном ребре в соответствующей геометрической структуре. Например, если граф <math>G_r (V) \;</math> является связным, он содержит евклидово [[минимальное остовное дерево]] (EMST), а <math>\rho_{con} (V) \;</math> эквивалентно длине наибольшего ребра в EMST. Таким образом, задача нахождения критического диапазона для свойства связности эквивалентна задаче нахождения самого длинного ребра в EMST, а критическим диапазоном для свойства связности является наименьшее значение r, такое, что <math>G_r (V) \;</math> содержит EMST.




4431

правка

Навигация