Составители:
Рубрика:
Степенно - лексикографический способ (b) отличается от упомя-
нутого тем, что приоритетным является упорядочение по группам
равных степеней (тех или иных переменных), а затем уже произво-
дится лексикографическое упорядочение. Так, например, согласно
способу (а) выражение x
2
+ xy + xz
3
принимает вид (x < y < z)
x
2
+ xy + xz
3
, (8.1)
а согласно способу (b) оно примет вид
xz
3
+ x
2
+ xy. (8.2)
Обратный лексикографический способ (с) характеризуется вы-
теснением переменных максимального веса в конец последователь-
ности. Его проиллюстрируем на примере выражения
uzx + xy + yz + x. (8.3)
Применение способа (с) к выражению (8.3) даёт представление
(x < y < z < u)
x + xy + yz + xzu, (8.4)
в то время как применение (а) приводит к представлению
x + xy + xzu + yz, (8.5)
и применение (b) к представлению
xzu + xy + yz + x. (8.6)
Замечание 1. Лексикографическое упорядочение удобно для груп-
пировки относительно выделенной переменной (см. (8.5), где в ка-
честве выделенной переменной можно рассматривать x). Форму,
где проведена группировка, иногда называют , в отличие от общей
записи, которую называют . Итак, из (8.5) легко получить рекур-
сивную форму
x(1 + y + zu) + yz. (8.7)
Формы (8.4) - (8.6) – распределённые.
Замечание 2. Рекурсивная форма определяется выделенной пе-
ременной, при разных выделениях переменной получаются различ-
ные рекурсивные формы. Переход от одной рекурсивной формы к
50
Страницы
- « первая
- ‹ предыдущая
- …
- 47
- 48
- 49
- 50
- 51
- …
- следующая ›
- последняя »
