Для нечетных n - очевидно: (i + j) * (n + 1)/2 % n.
Для чётных: сгруппируем числа в n/2 блоков размера 1 на 2. Построим из них таблицу. На i,j блоке будут числа ((i + 1) % n / 2 + j) % (n/2) и ((i + 1) % n / 2 + j) % (n/2) + (n/2). Инвертируем нужные блоки, чтобы на диагонали получилась требуемая последовательность.