ВУЗ:
Составители:
Рубрика:
Операция замыкания . Основные замкнутые классы .
__________________________________________________________________________________________
99
Говорят , что набор
(
)
n
α
α
α
...,,
~
1
=
предшествует набору
(
)
n
βββ ...,,
~
1
= и
пишут βα
~
~
p , если ni
ii
,...,, 1
=
≤
β
α
. Функция
(
)
Бxxf
n
∈
...,,
1
называет -
ся монотонной, если
(
)
(
)
βα
~
~
ff ≤ при βα
~
~
p .
Функции
xy
y
x
x
,
,
,
,
∨
1
0
являются монотонными, тогда как
yxyxyxyxyxx ~,,,|,, ⊕→↓ не принадлежат классу
M
.
Справедливо утверждение (лемма о немонотонной функции):
Если
M
f
∉
, то, подставляя на места ее переменных
x
,
,
1
0
, можно
получить функцию
x
.
Страницы
- « первая
- ‹ предыдущая
- …
- 51
- 52
- 53
- 54
- 55
- …
- следующая ›
- последняя »