Далее ищутся всевозможные пересечения (покомпонентные конъюнкции) строк, принадлежащих различным секциям. Они и будут представлять искомые существенные подмножества из MF. Получаем
|
1 |
2 |
3 |
4 |
5 |
6 |
|
|
1 |
0 |
0 |
1 |
0 |
0 |
1 |
|
1 |
0 |
1 |
0 |
1 |
0 |
2 |
|
1 |
0 |
0 |
0 |
1 |
0 |
3 |
|
0 |
1 |
1 |
0 |
1 |
0 |
4 |
|
0 |
1 |
1 |
0 |
0 |
0 |
5 |
|
0 |
1 |
0 |
0 |
0 |
1 |
6 |
|
0 |
0 |
1 |
0 |
0 |
1 |
7 |
|
1 |
1 |
0 |
1 |
0 |
0 |
8 |
|
1 |
0 |
0 |
1 |
0 |
1 |
9 |
|
1 |
0 |
0 |
0 |
0 |
0 |
10 |
|
0 |
1 |
0 |
0 |
0 |
0 |
11 |
Найдя таким образом все существенные множества Qt(для удобства они пронумерованы), однозначно определяем соответствующие им множества S t как подмножества функций системы F, принимающих значение 1 на всех элементах множества Q t, т. е. как подмножества строк в матрице Y, поглощающих вектор-строку, представляющую существенное множество q t .
Максимальное интервально поглощаемое подмножество Pt из Р представляется единичным минором матрицы Y, образуемым пересечением этих строк с теми столбцами, которые соответствуют элементам множества qt.
Присвоим затем для удобства индивидуальные имена всем элементам множества Р, показав вводимую нумерацию на матрице
|
Y = |
а |
0 |
0 |
Б |
0 |
0 |
1 |
|
в |
г |
д |
0 |
е |
0 |
2 |
|
|
0 |
ж |
з |
0 |
0 |
п |
3 |
|
|
к |
л |
0 |
М |
0 |
н |
4 |
|
|
о |
0 |
0 |
П |
р |
0 |
5 |
|
|
0 |
с |
0 |
0 |
0 |
т |
6 |
и построим булеву матрицу К, задающую все подмножества Pt .
Уважаемый посетитель!
Чтобы распечатать файл, скачайте его (в формате Word).
Ссылка на скачивание - внизу страницы.