147
правок
Изменения
→Доказательство корректности
Если лексикографически отсортировать буквы последнего столбца и поместить их в первый столбец, то получится таблица
<tex>
B_{\sigma(0)} \ * \ * \ \cdots B_{0} \newlineB_{\sigma(1)} \ * \ * \ \cdots B_{1} \newline\vdots \vdots \vdots \ddots\vdots \newlineB_{\sigma(N)}\ *\ *\ \cdots B_{N}
</tex>
