Сортирующие сети

Эта статья находится в разработке!

Определение:

Сеть называется сортирующей если для любой входной последовательности получающаяся из не выходная последовательность не убывает.

Компараторы

Определение:

Компаратором называется устройство подключенное к двум проводам, которое упорядочивает текущие значения на проводах.

Обычно компараторы меньшее значение передают на провод с меньшим номером, но бывают и направленные компараторы, у которых указано направление перемещения.

Определение:

k-компаратором называется устройство упорядочивающая значения на k проводах.

Компаратором можно располагать в одном слое если они подключены к разным проводам.

Характеристики сети

Определение:

Глубиной сети (depth) называется количество слоев в сети.

Определение:

Размером сети (size) называется количество компараторов в сети.

Теорема:

Сеть является сортирующей тогда и только тогда, когда она сортирует все наборы из 0 и 1.

Подробнее в статье 0-1 принцип.