Таблица 5.5
i |
1 |
2 |
3 |
4 |
5 |
6 |
7 |
8 |
Pi |
0,232 |
0,188 |
0,153 |
0,124 |
0,101 |
0,082 |
0,067 |
0,054 |
Рис. 5.6
Для дерева поиска на рис.5.6 и вероятностей из табл.5.5 значение потенциальной скрытности равно
|
8 |
S |
Pili 2,883 диз , |
|
i 1 |
а энтропия множества |
состояний H(X ) 2,847 бит, что |
X (1,1)
весьма близко к 0 . Если бы алгоритм поиска остался последовательным, то алгоритмическая скрытность была бы равна 3,402 диз, что заметно выше потенциальной.
Как видно, при выравнивании распределения вероятностей состояний объекта в оптимальном дереве поиска появляются дихотомические фрагменты (рис. 5.6), оно трансформируется от последовательного (рис. 5.4б) до дихотомическо-
го (рис. 5.3б).
49
5.4.2. Влияние ограничения ветвей на продолжительность поиска
При проектировании оптимальной поисковой процедуры могут налагаться ограничения на ее максимальную продол-
жительность l0 . Из условия регулярности (5.9) l0 |
log2 A , а |
|
иначе алгоритм поиска не реализуем. Если l0 |
max( |
log2 Pi ) , |
|
i |
|
то величина l0 не влияет на алгоритм поиска. Таким образом,
ограничение максимальной длины ветви дерева поиска влияет на его форму, если
|
log2 A l0 |
max( log2 Pi ) . |
(5.28) |
|
|
i |
|
Рассмотрим пример с распределением вероятностей |
|||
(5.21), (5.22) при |
1 и A |
8 (рис. 5.4а), оптимальное дере- |
|
во поиска представлено на рис. 5.4б (последовательный алгоритм). Максимальная длина ветви равна 7 диз, а минимально допустимое значение l0 равно 3 диз.
На рис. 5.7а показано оптимальное дерево поиска при l0 6 , а на рис. 5.7б – при l0 5 . При l0 4 дерево принимает вид, показанный на рис. 5.6.
Рис.5.7
50
Как видно, укорочение ветвей дерева поиска приводит к появлению в нем дихотомических фрагментов, а если задано l0 3 диз (минимально возможное значение), то дерево поис-
ка становится полностью дихотомическим (рис. 5.3б).
Очевидно, что при уменьшении l0 |
от 7 до 3 диз потенци- |
альная скрытность повышается от S |
1,965 диз (при отсутст- |
вии ограничений) до S 3 диз (при минимальном l0 ). При
больших значениях A рассмотренные эффекты проявляются намного сильнее.
51
Глава 6. КРИВЫЕ СНЯТИЯ НЕОПРЕДЕЛЕННОСТИ
6.1. Изменение неопределенности в процессе поиска
Поисковая процедура состоит в выполнении ряда двоичных измерений, в ходе которых выявляется реасобытие. При отсутствии ошибок каждое измерение снижает неопределенность состояния объекта от исходного значения энтропии H (X ) до нулевого уровня.
Информационные характеристики поиска рассмотрены в главе 4. Общее описание дерева поиска приведено на рис.2.3. При выполнении N -го измерения проверяется наличие реа-
события в одной из частей |
X 0( N ,q) и X 1( N ,q ) подмножества |
X k( N 1,q) (индекс k равен 0 или 1). После (N 1) -го измерения |
|
остается неопределенность, |
характеризующаяся энтропией |
H ( X k( N 1,q) ) , а после N -го измерения энтропия принимает |
|
меньшее значение H ( X ( N ,q1) ) . Снижение энтропии определя- |
||||
|
k1 |
|
|
|
ется декрементом неопределенности |
|
|
||
H X ( N 1,q) , X ( N ,q1) |
H X ( N 1,q) |
H X ( N ,q1) |
. (6.1) |
|
k |
k1 |
k |
k1 |
|
Продвижение по ветвям дерева поиска рис. 2.1 (перебор индексов k , k1 и q ) зависит от значения реасобытия xr , и для каждого из них можно записать
lr |
|
H X k( N 1,q) , X k(1N ,q1) H ( X ) , |
(6.2) |
N 1
то есть, как отмечалось в главе 4, сумма декрементов неопределенности равна энтропии множества состояний объекта.
Усредняя (6.2) по всем реасобытиям, с учетом равенства единице суммы их вероятностей можно записать
52
A |
lr |
|
P(xr ) |
H X k( N 1,q) , X k(1N ,q1) H ( X ) , |
(6.3) |
r 1 |
N 1 |
|
а изменив порядок суммирования по r и N , получим
lmax |
|
P(xr ) H X k( N 1,q) , X k(1N ,q1) H ( X ) , |
(6.4) |
N 1 r X ( N )
где lmax - максимальное число измерений в ветвях дерева поиска, X (N) - множество состояний объекта, не обнаруженных после N двоичных измерений. Величина
H (N ) |
P(xr ) H X k( N 1,q) , X k(1N ,q1) , |
(6.5) |
|
r X ( N ) |
|
является средним декрементом неопределенности для |
N -го |
|
измерения. Согласно главе 4 эта величина не более единицы. После N -го измерения при заданном реасобытии xr ос-
таточная неопределенность |
равна H ( X ( N ,q1) ) , а |
ее среднее |
|
k1 |
|
значение равно |
|
|
H (N ) |
P(xr )H k( N ,q) , |
(6.6) |
r X ( N ) |
|
|
где индексы k и q определяется составом множества X (N) .
6.2. Кривая снятия неопределенности
Назовем кривой снятия неопределенности (КСН) гра-
фически выраженную зависимость средней остаточной неопределенности (энтропии) состояния объекта H (N) от числа
53
выполненных двоичных измерений N согласно (6.6).
При отсутствии ошибочных измерений функция H (N) из (6.6) не возрастает при увеличении N и стремится к нулю при N lmax .
Вычисление КСН при заданном дереве поиска проводится следующим образом.
После первого измерения выделяются два подмножества
X 0(1,1) и X1(1,1) из общего множества состояний |
X , определя- |
||||||||||||||
ются вероятности их выбора P( X 0(1,1) ) |
|
|
и P( X 1(1,1) ) , |
|
|
||||||||||
|
|
P( X |
(1,1) ) |
|
P(x |
r |
), |
|
|
|
|
|
|||
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
xr |
X 0(1,1) |
|
|
|
|
|
|
|
(6.7) |
|
|
|
P( X |
(1,1) ) |
|
P(x |
|
), |
|
|
|
|
||||
|
|
|
r |
|
|
|
|
|
|||||||
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
xr |
X1(1,1) |
|
|
|
|
|
|
|
|
|
условные энтропии состояний в этих подмножествах |
|
||||||||||||||
H ( X |
(1,1) |
) |
|
|
P(xr ) |
|
log |
|
P(xr |
) |
, |
|
|||
0 |
|
X (1,1) |
P( X 0(1,1) ) |
2 |
P( X 0(1,1) ) |
|
|||||||||
|
x |
r |
|
|
|
|
(6.8) |
||||||||
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
H ( X |
(1,1) |
) |
|
|
P(xr ) |
|
log |
|
P(xr |
) |
, |
|
|||
1 |
|
X1(1,1) |
P( X1(1,1) ) |
2 |
P( X1(1,1) ) |
|
|||||||||
|
xr |
|
|
|
|
|
|||||||||
и среднюю остаточную энтропию после первого двоичного измерения
H (1) P(X 0(1,1) )H (X 0(1,1) ) P(X1(1,1) )H (X1(1,1) ) . |
(6.9) |
Далее процесс продолжается аналогично. При N -м измерения определяется множество X (N) реасобытий, поиск которых не заканчивается после (N 1) измерений, для каждой части ветви дерева поиска длиной не менее (N 1) диз выде-
54
ляются пары подмножеств X 0( N ,q) и X 1( N ,q ) ( q 1,2... - индек-
сы подмножеств) и вычисляются вероятности вида (6.7) и условные энтропии (6.8). Остаточная энтропия после N измерений равна
H (N ) P X (N ) |
P( X 0( N ,q) )H ( X 0( N ,q) ) P( X 1( N ,q) )H ( X 1( N ,q) ) . (6.10) |
|
q |
Помимо усредненной КСН H (N) можно рассматривать частные кривые снятия неопределенности в виде зависимостей H ( X k( N ,q) ) для определенных значений реасобытия., от выбора которого зависят значения индексов k и q .
6.3. Примеры КСН
6.3.1. Показательный закон распределения вероятностей состояний объекта и последовательный поиск
Обратимся к рассмотренному ранее закону распределения вероятностей состояний объекта (5.21) и (5.22),
P |
2 i , |
|
|
|
|
|
(6.11) |
|
i |
|
|
|
|
|
|
|
|
|
|
2 |
|
1 |
. |
(6.12) |
||
|
|
|
|
|
|
|||
|
|
1 |
2 |
A |
|
|
||
|
На |
рис.6.1 показана |
||||||
за- |
висимость |
Pi |
от |
номера |
||||
со- |
стояния |
i |
при |
1 |
и |
|||
|
A 8 . |
|
|
|
|
|
|
|
|
При условии (5.24) |
в |
||||||
Рис. 6.1 |
виде |
0,694 оптималь- |
||||||
|
55 |
|
|
|
|
|
|
|
ным оказывается алгоритм последовательного поиска, дерево поиска которого с необходимыми обозначениями показано на рис. 6.2.
Рис. 6.2
Исходная энтропия множества X для рассматриваемого распределения вероятностей из(4.1) с учетом (6.11) и (6.12) равна
H ( X ) |
log |
|
|
|
|
1 A 2 A |
|
2 |
(1 |
2 |
( A 1) ) |
. (6.13) |
|
2 |
1 |
2 A |
|
|
1 |
2 |
|
||||||
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
График |
зависимости |
эн- |
|||||
|
|
|
|
|
|
тропии |
H из (6.13) от пара- |
||||||
|
|
|
|
|
|
метра |
|
|
показан на рис. 6.3. |
||||
|
|
|
|
|
|
Как видно, в рассматривае- |
|||||||
|
|
|
|
|
|
мом |
примере |
неопределен- |
|||||
|
|
|
|
|
|
ность |
|
состояния сравнитель- |
|||||
|
|
|
|
|
|
но невелика, быстро снижа- |
|||||||
|
|
|
|
|
|
ется с ростом параметра |
и |
||||||
|
|
|
|
|
|
слабо |
|
зависит от арсенала |
|||||
|
Рис. 6.3 |
|
множества |
состояний A |
в |
||||||||
|
|
|
|
|
|
56 |
|
|
|
|
|
|
|
области A |
1 . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
После первого измерения с вероятностью |
P(X (1,1) ) |
P |
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
1 |
реасобытие |
x1 |
будет |
|
обнаружено, при этом |
энтропия |
||||||||||||||||||
H ( X (1,1) ) равна нулю, а с вероятностью |
P( X (1,1) ) |
1 |
P |
по- |
|||||||||||||||||||
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
1 |
|
|
иск продолжится с условной неопределенностью |
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
A |
|
Pi |
|
|
|
|
|
|
|
|
Pi |
|
|
|
|
|
|
|
|
H ( X (1,1) ) |
|
|
|
|
|
|
|
log |
|
|
|
|
. |
|
|
|
(6.14) |
||||
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
||||||
|
|
1 |
|
|
|
|
1 |
P |
|
|
1 |
P |
|
|
|
|
|
||||||
|
|
|
|
|
i |
2 |
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|||
После второго измерения с вероятностью |
|
|
|
|
|
|
|
||||||||||||||||
|
|
P( X (2,1) ) |
|
(1 |
|
P ) |
|
|
P2 |
|
|
|
|
|
P |
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
0 |
|
|
|
|
|
1 |
(1 |
P ) |
2 |
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
||
будет обнаружено реасобытие x2 |
и энтропия H (X 0(2,1) ) |
|
0 , а |
||||||||||||||||||||
с вероятностью P( X (2,1) ) |
|
1 |
P |
|
P |
поиск будет продолжен с |
|||||||||||||||||
|
|
0 |
|
|
|
|
1 |
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
условной остаточной энтропией |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
A |
|
|
Pi |
|
|
|
|
|
|
|
|
|
Pi |
|
|
|
|
|
|||
H ( X |
(2,1) ) |
|
|
|
|
|
|
log |
|
|
|
|
|
|
. |
|
(6.15) |
||||||
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
||||||||
|
1 |
|
1 |
P |
|
P |
|
1 |
P |
P |
|
|
|
||||||||||
|
|
i |
3 |
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
1 |
|
2 |
|
|
|
|
|
|
|
1 |
|
2 |
|
|
|
|
|||
Далее расчет проводится аналогично, а если реасобытием являются xA 1 или xA , то после измерения с номером N A 1
поиск завершится, и неопределенность состояния объекта будет равна нулю.
На рис. 6.4 представлены зависимости условной энтропии H ( X1( N ,1) ) и усредненной энтропии H (N) от номера измерения N при A 8 . Условная энтропия H ( X 0( N ,1) ) 0 , так как в состав подмножества X 0( N ,1) xN входит только один элемент,
переход к ней показан на рис. 6.4 пунктирными линиями.
Как видно, первое измерение снижает среднюю энтропию
57
примерно на 1 бит, а для последующих измерений декремент неопределенности значительно ниже.
Условная энтропия H ( X1( N ,1) ) уменьшается с ростом N существенно медленнее, чем средняя H (N) . Это обусловлено
тем, что в каждом измерении проверяется лишь одно реасобытие, и если результат отрицателен, то сохраняется значительная неопределенность относительно других состояний объекта поиска.
Рис. 6.4
Среднее число измерений (потенциальная скрытность) в рассматриваемом примере определяется выражением (5.26) и при A 8 равна S 1,965. Максимальное число измерений
для последовательного алгоритма равно lmax A 1 и сущест-
венно больше S . Это означает, что продолжительность поиска может быть различной в зависимости от реасобытия.
Для оценки этого эффекта целесообразно рассматривать
пик-фактор поисковой процедуры |
, равный |
||
|
lmax |
. |
(6.16) |
|
|
||
|
S |
|
|
В данном случае |
|
||
58 |
|
|
|