Интересная задача с интересным решением

[PathTheir]

Здравствуйте, недавно проходил командный турнир по программированию, и я хочу поделиться с вами задачкой, которая заинтересовала меня больше всего, ведь решение её наверняка интересно.

Итак: вкратце условие.
Ване подарили 2 ежедневника на i-тый год, один из которых он использовал. Теперь он думает, когда же этот второй ежедневник пригодится ему, ведь все знают, что календари повторяются. Требуется написать программу, которая по текущему году определяет следующий - тот, в котором подойдет старый календарь.

Там было странное ограничение - текущий год - не более 2011.
Придя домой и проведя небольшое исследование, с помощью календаря, я обнаружил:
Если исходный год високосный, то нужно ждать 28 лет
Если год - первый после високосного, то нужно ждать 6 лет
Если год - второй после високосного, или первый перед високосным, то нужно ждать 11 лет.

Из этого решение выливается самостоятельно - всего лишь несколько развилок.

Однако, как такое решение может прийти во время олимпиады, где был заблокирован системный календарь, а своих мы, разумеется, не принесли, непонятно.

Так вот, друзья, объявляется в розыск простое решение. Как говорит мой товарищ - хочется красоты и преобладает во мне в данный момент спортивный интерес. Чувствуется, что здесь нужно за что-то уцепиться, и задача решится сама собой.

[Poma][a]

Первоначально идея была такая :
Принимаем что 1-ое января i-го года - понедельник! В каждый не високосный год день недели смещается на одну позицию вправо. В каждый високосный год - на 2 позиции вправо. Теперь запускаем цикл, до тех пор пока снова j-тым днем не окажется понедельник. Как только это произойдет - выводим год!

Идея, должна была пройти (ИМХО), но из-за отсутствия времени реализовать её мы уже не успели..

[PathTheir]

Да, эта идея должна была пройти (только что проверил по календарю), но вдруг есть какая-то простая математическая формула, с помощью которой можно решить эту задачу в одну-две строчки.

[s-andriano]

Формула есть, причем - разные. Но, думаю, именно чтобы их не использовать и стоит ограничение 2011 год.
Потому как Григорианский календарь подразумевает период 400 лет, более точные формулы - вплоть до 10000 лет, а на 2000 год приходится одна из "особенностей" Григорианского календаря.

[PathTheir]

То есть в задаче и подразумевался простой перебор?

[s-andriano]

Это самый простой вариант, учитывая особенности календаря.