Виклик
Знайдіть найкоротший вираз, який
- підтверджує, тобто відповідність, усіх можливих дат у пролептичному григоріанському календарі (що стосується також усіх дат до його першого прийняття в 1582 р.) та
- не відповідає жодній недійсній даті.
Вихідні дані
Таким чином, вихідний результат є фальшивим або фальсийним.
Вхідні дані
Введіть будь-який із трьох розширених форматів дати ISO 8601 - не раз.
Перші два - ±YYYY-MM-DD(рік, місяць, день) та ±YYYY-DDD(рік, день). Обом потрібен спеціальний кожух для високосного дня. Вони наївно узгоджуються окремо цими розширеними RX:
(?<year>[+-]?\d{4,})-(?<month>\d\d)-(?<day>\d\d)
(?<year>[+-]?\d{4,})-(?<doy>\d{3})
Третім форматом введення є ±YYYY-wWW-D(рік, тиждень, день). Він складний через складну схему високосного тижня.
(?<year>-?\d{4,})-W(?<week>\d\d)-(?<dow>\d)
Основна, але недостатня перевірка дійсності для всіх трьох разом буде виглядати приблизно так:
[+-]?\d{4,}-((0\d|1[0-2])-([0-2]\d|3[01]) ↩
|([0-2]\d\d|3[0-5]\d|36[0-6]) ↩
|(W([0-4]\d|5[0-3])-[1-7]))
Умови
Високосний рік в календарі преждевренного григоріанським містить високосний день …-02-29 і , таким чином , він довго 366 днів, отже , …-366існує. Це відбувається в будь-який рік, порядковий номер якого ділиться на 4, але не на 100, якщо він також не ділиться на 400.
Рік нульовий У цьому календарі існує рік, і це високосний рік.
Довгий рік в тижневому календарі ISO містить 53 - й тиждень, що один може термін на « стрибок тиждень ». Це відбувається в усі роки, коли 1 січня - четвер, а також у всі високосні роки, де середа. Виявляється, це відбувається кожні 5 або 6 років, як правило, за нерегулярною схемою.
На рік принаймні 4 цифри. Роки з більш ніж 10 цифрами не повинні підтримуватися, оскільки це досить близько до віку Всесвіту (приблизно 14 мільярдів років). Провідний знак плюс необов’язковий, хоча фактичний стандарт передбачає, що його потрібно вимагати роками з більш ніж 4 цифрами.
Часткові або усічені дати, тобто з точністю до дня, не повинні прийматися.
Частини позначення дати, наприклад, місяць, не містять повинні відповідати групі, на яку можна посилатися.
Правила
Це код-гольф. Виграє найкоротший регулярний вираз без виконаного коду. Оновлення: Ви можете використовувати такі функції, як рекурсія та збалансовані групи, але штрафуватиметься в 10 разів, на який кількість символів потім множиться! Це тепер відрізняється від правил у жорсткому коді гольфу: Regex для поділу на 7 . Раніша відповідь виграла внічию.
Тестові справи
Дійсні тести
2015-08-10
2015-10-08
12015-08-10
-2015-08-10
+2015-08-10
0015-08-10
1582-10-10
2015-02-28
2016-02-29
2000-02-29
0000-02-29
-2000-02-29
-2016-02-29
200000-02-29
2016-366
2000-366
0000-366
-2016-366
-2000-366
2015-081
2015-W33-1
2015-W53-7
2015-08-10
Останній необов'язково дійсний, тобто провідні та кінцеві проміжки у вхідних рядках можуть бути оброблені.
Недійсні формати
-0000-08-10 # that's an arbitrary decision
15-08-10 # year is at least 4 digits long
2015-8-10 # month (and day) is exactly two digits long, i.e. leading zero is required
015-08-10 # year is at least 4 digits long
20150810 # though a valid ISO format, we require separators; could also be interpreted as a 8-digit year
2015 08 10 # separator must be hyphen-minus
2015.08.10 # separator must be hyphen-minus
2015–08–10 # separator must be hyphen-minus
2015-0810
201508-10 # could be October in the year 201508
2015 - 08 - 10 # no internal spaces allowed
2015-w33-1 # letter ‘W’ must be uppercase
2015W33-1 # it would be unambiguous to omit the separator in front of a letter, but not in the standard
2015W331 # though a valid ISO format we require separators
2015-W331
2015-W33 # a valid ISO date, but we require day-precision
2015W33
Недійсні дати
2015 # a valid ISO format, but we require day-precision
2015-08 # a valid ISO format, but we require day-precision
2015-00-10 # month range is 1–12
2015-13-10 # month range is 1–12
2015-08-00 # day range is 1–28 through 31
2015-08-32 # max. day range is 1–31
2015-04-31 # day range for April is 1–30
2015-02-30 # day range for February is 1–28 or 29
2015-02-29 # day range for common February is 1–28
2100-02-29 # most century years are non-leap
-2100-02-29 # most century years are non-leap
2015-000 # day range is 1–365 or 366
2015-366 # day range is 1–365 in common years
2016-367 # day range is 1–366 in leap years
2100-366 # most century years are non-leap
-2100-366 # most century years are non-leap
2015-W00-1 # week range is 1–52 or 53
2015-W54-1 # week range is 1–53 in long years
2016-W53-1 # week range is 1–52 in short years
2015-W33-0 # day range is 1–7
2015-W33-8 # day range is 1–7