Изменения

Второй способ основывается на предположении , что если сеть сортирует все последовательности из нулей и единиц, то сеть является сортирующей. Если мы докажем это, то сможем проверять сеть за <tex> O(2^n \cdot Comp(n)) </tex>, что намного быстрее.

Функция <tex> f </tex> из <tex> A </tex> в <tex> B </tex> называется '''монотонной''', если <tex> \forall a_1, a_2 \in A : a_1 \le a_2 \Rightarrow f(a_1) \le f(a_2) </tex>