> -- Peter Almazov писал(а):
> у Вирта описывается инвариант, где один кусок области содержит значения меньшие х, а другой - большие х. Я привел более слабый - область из двух кусков не содержит х.Почему же более слабый: речь об упорядоченном массиве.