355
правок
Изменения
→Grow Expansion
====Grow Expansion====
<wikitex>
{{Теорема
|statement=
Пусть <tex>$e = \sum^{m}_{i=1}e_i<$ - неперекрывающееся $m$-компонентное расширение; $b$ - $p$-битное число, где $p \geqslant 3$. Предполагается, что $e_1, e_2, \dots, e_m$ отсортированы в '''возрастающем''' порядке, причем все компоненты ненулевые. Тогда следующий алгоритм вернет такое расширение $h$, что $h = \sum^{m + 1}_{i=1}h_i = e + b$, где компоненты $h$ также отсортированы в возрастающем порядке и не равны нулю. Алгоритм также сохраняет свойство несмежности/tex>неперекрываемости.
}}
</wikitex>
