Изменения

Преобразование Барроуза-Уилера

2 байта убрано, 02:27, 24 октября 2013

→‎Доказательство корректности

|statement=

* :''При всех <tex>m = 1, ..., N + 1</tex> верны утверждения,

<tex>B_{\sigma(i)}...B_{\sigma^{m}(i)} \preceq B_{\sigma(i + 1)}...B_{\sigma^{m}(i + 1)}</tex>, при <tex>i = 0, ..., N - 1\ \ \textbf{(4)}</tex>''

* :''''

|proof=

147

правок