Заметим, что разница между соседними числами b_i - 1 и b_i в массиве b означает количество чисел i в исходном массиве. Таким образом, пройдя по всему массиву b, для каждого из чисел от 1 до m мы можем восстановить, сколько их было, и, таким образом, восстановить исходный массив (так как известно, что он был отсортирован по неубыванию, ответ единственный).