Матрица простых совокупностей. Оптимальная реализация слабо определенных булевых функций, страница 5

1

2

3

4

5

6

7

8

9

10

11

1

0

1

1

1

0

0

1

0

0

1

0

0

1

0

0

1

0

1

0

1

1

0

1

1

0

0

0

1

0

0

1

0

0

1

0

1

1

0

0

1

1

0

1

1

0

1

0

0

0

1

0

1

0

0

0

0

0

0

1

0

1

1

0

1

1

0

1

1

0

0

1

0

0

1

0

0

0

1

0

1

1

0

0

1

1

1

1

1

0

1

0

1

1

0

0

0

1

0

0

0

1

0

0

0

1

1

1

0

0

1

2

3

4

5

6

7

8

9

10

11

1

1

1

0

1

1

0

1

1

0

1

0

0

0

1

0

0

1

0

1

1

1

0

1

0

1

0

1

1

0

0

1

1

0

1

0

0

1

0

1

0

0

1

0

1

0

1

1

0

1

0

1

0

0

1

0

1

1

0

0

0

1

1

0

0

0

1

0

1

0

0

1

0

1

0

1

0

0

0

1

0

1

1

0

0

1

0

1

Перебор подмножеств из М1, производимый при поиске интервально-поглощаемых подмножеств, может быть сокращен, поскольку искомые подмножества образуют в со вокупности множество, выпуклое по отношению включения. Напомним, что идея этого сокращения заключается в том, что если некоторое подмножество не принадлежит  выпуклому множеству, то и любое его расширение также ( не будет принадлежать ему.

Не вникая в подробности данного перебора, представим результат, получаемый на первом этапе, булевой матрицей