Tantangan
Temukan regex terpendek itu
- memvalidasi, yaitu kecocokan, setiap tanggal yang memungkinkan dalam Proleptik Gregorian (yang juga berlaku untuk semua tanggal sebelum adopsi pertamanya pada 1582) dan
- tidak cocok dengan tanggal yang tidak valid.
Keluaran
Karena itu, output itu benar atau salah.
Memasukkan
Input dalam salah satu dari 3 ISO 8601 yang diperluas format tanggal - tidak ada waktu.
Dua yang pertama adalah ±YYYY-MM-DD(tahun, bulan, hari) dan ±YYYY-DDD(tahun, hari). Keduanya membutuhkan casing khusus untuk hari kabisat. Mereka secara naif dicocokkan secara terpisah oleh RX yang diperluas ini:
(?<year>[+-]?\d{4,})-(?<month>\d\d)-(?<day>\d\d)
(?<year>[+-]?\d{4,})-(?<doy>\d{3})
Format input ketiga adalah ±YYYY-wWW-D(tahun, minggu, hari). Ini yang rumit karena pola minggu kabisat yang kompleks.
(?<year>-?\d{4,})-W(?<week>\d\d)-(?<dow>\d)
Pemeriksaan validitas dasar, tetapi tidak cukup untuk ketiga kombinasi akan terlihat seperti ini:
[+-]?\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]))
Kondisi
Sebuah tahun kabisat dalam kalender Gregorian proleptic berisi hari lompatan …-02-29 dan dengan demikian itu adalah 366 hari panjang, maka …-366ada. Ini terjadi di setiap tahun yang nomor urutnya dapat dibagi dengan 4, tetapi tidak oleh 100 kecuali itu juga dapat dibagi dengan 400.
Tahun nol ada dalam kalender ini dan itu adalah tahun kabisat.
Setahun yang panjang dalam kalender minggu ISO berisi minggu ke-53, yang bisa disebut " minggu kabisat ". Ini terjadi di semua tahun di mana 1 Januari adalah hari Kamis dan juga di semua tahun kabisat di mana itu hari Rabu. Ternyata terjadi setiap 5 atau 6 tahun biasanya, dalam pola yang tampaknya tidak teratur.
Setahun memiliki setidaknya 4 digit. Tahun dengan lebih dari 10 digit tidak harus didukung, karena itu cukup dekat dengan usia alam semesta (sekitar 14 miliar tahun). Tanda tambah utama adalah opsional, meskipun standar aktual menunjukkan bahwa tanda tersebut harus diisi selama bertahun-tahun dengan lebih dari 4 digit.
Tanggal parsial atau terpotong, yaitu dengan kurang dari ketepatan hari, tidak boleh diterima.
Bagian-bagian dari notasi tanggal, misalnya bulan, tidak harus dicocokkan dengan grup yang dapat direferensikan.
Aturan
Ini adalah kode-golf. Regex terpendek tanpa kode yang dieksekusi akan menang. Pembaruan: Anda dapat menggunakan fitur seperti rekursi dan grup seimbang, tetapi akan didenda oleh faktor 10, yang jumlah karakternya kemudian dikalikan dengan! Ini sekarang berbeda dari aturan dalam Golf kode keras: Regex untuk dapat dibagi dengan 7 . Jawaban sebelumnya memenangkan dasi.
Uji kasus
Tes yang valid
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
Yang terakhir adalah opsional opsional, yaitu ruang memimpin dan tertinggal di string input dapat dipangkas.
Format tidak valid
-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
Tanggal tidak valid
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