418
правок
Изменения
м
→Примеры
Нечетно-четная сортирующая сеть действительно является сортирующей сетью.
}}
Докажем теорему методом математической индукции по <tex>n</tex> линиям. Так же воспользуемся [[0-1_принцип | 0-1 принципом]].
'''База индукции.''' При <tex>n=1</tex> в сети не будет компараторов, но она очевидно будет являться сортирующей.
