आईएसओ 8601 तिथियों को मान्य करने पर शुद्ध नियमित अभिव्यक्तियाँ मारो

Question

में RX द्वारा सत्यापित करें आईएसओ 8601 , चुनौती के लिए एक ही मानक नियमित अभिव्यक्ति का इस्तेमाल किया गया मानक तिथि प्रारूप को मान्य और मूल्यों (पूर्व RX के लिए एक आम काम है, बाद असामान्य था)। जीतने वाले जवाब में 778 बाइट्स का इस्तेमाल किया गया। यह चुनौती है कि अपने चयन की किसी भी भाषा का उपयोग करते हुए हराया जाए, लेकिन विशेष तिथि के कार्यों या कक्षाओं के बिना ।

चुनौती

सबसे छोटा कोड खोजें जो

1. प्रोलेप्टिक ग्रेगोरियन कैलेंडर में हर संभव तारीख को मान्य करता है (जो 1582 में अपनी पहली गोद लेने से पहले सभी तारीखों पर भी लागू होता है),
2. कोई अमान्य दिनांक और से मेल नहीं खाता है
3. तारीखों (और समय) को संभालने के लिए किसी भी पूर्वनिर्धारित कार्यों, विधियों, वर्गों, मॉड्यूल या समान का उपयोग नहीं करता है, अर्थात स्ट्रिंग और संख्यात्मक कार्यों पर निर्भर करता है।

उत्पादन

आउटपुट सत्य या गलत है। दिनांक को आउटपुट या रूपांतरित करना आवश्यक नहीं है।

इनपुट

इनपुट 3 विस्तारित आईएसओ 8601 तारीख प्रारूपों में से किसी एक में एक स्ट्रिंग है - कोई समय नहीं।

पहले दो हैं ±YYYY-MM-DD(वर्ष, माह, दिन) और ±YYYY-DDD(वर्ष, दिन)। लीप दिवस के लिए दोनों को विशेष आवरण की आवश्यकता होती है। वे अलग-अलग इन विस्तारित RXs द्वारा अलग से मेल खाते हैं:

(?<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)

शर्तेँ

प्रोलेप्टिक ग्रेगोरियन कैलेंडर में एक लीप वर्ष में लीप दिन होता है …-02-29 और इस प्रकार यह 366 दिन लंबा होता है, इसलिए यह …-366अस्तित्व में है। यह किसी भी वर्ष में होता है जिसका (संभवतः नकारात्मक) क्रमिक संख्या 4 से विभाज्य है, लेकिन 100 से नहीं जब तक कि यह 400 से विभाज्य न हो। इस कैलेंडर में वर्ष शून्य मौजूद है और यह एक लीप वर्ष है।

आईएसओ सप्ताह कैलेंडर में एक लंबे वर्ष में 53 वां सप्ताह होता है …-W53-…, जिसे कोई " लीप सप्ताह " कह सकता है । यह सभी वर्षों में होता है जहां 1 जनवरी एक गुरुवार होता है और इसके अलावा सभी लीप वर्ष में जहां यह बुधवार है। 0001-01-01और 2001-01-01सोमवार हैं। यह हर 5 या 6 साल में आमतौर पर अनियमित रूप से अनियमित पैटर्न में होता है।

एक वर्ष में कम से कम 4 अंक होते हैं। 10 से अधिक अंकों वाले वर्षों का समर्थन करने की आवश्यकता नहीं है, क्योंकि यह ब्रह्मांड की आयु (लगभग 14 बिलियन वर्ष) के करीब है। अग्रणी प्लस चिह्न वैकल्पिक है, हालांकि वास्तविक मानक यह सुझाव देता है कि इसे 4 अंकों से अधिक वर्षों के लिए आवश्यक होना चाहिए।

आंशिक या छंटनी की तारीखें, यानी दिन-परिशुद्धता से कम के साथ, स्वीकार नहीं किया जाना चाहिए। -सभी मामलों में अलग-अलग हाइफ़न की आवश्यकता होती है। (ये पूर्वनिर्धारण +हमेशा अग्रणी होने के लिए संभव बनाते हैं ।)

नियम

यह कोड-गोल्फ है। बाइट्स में सबसे छोटा कोड जीतता है। पहले जवाब टाई जीतता है।

परीक्षण के मामलों

मान्य परीक्षण

2015-08-10
2015-10-08
12015-08-10
-2015-08-10
[phone]
0015-08-10
1582-10-10
2015-02-28
2016-02-29
2000-02-29
0000-02-29
-2000-02-29
-2016-02-29
[phone]
200000-02-29
-200000-02-29
[phone]
2016-366
2000-366
0000-366
-2000-366
-2016-366
+2016-366
2015-081
2015-W33-1
2015-W53-7
+2015-W53-7
+2015-W33-1
-2015-W33-1
 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         # though a valid ISO format we require separators and day-precision
2015-08         # a valid ISO format, but we require day-precision
201508          # a valid but ambiguous ISO format
2015            # 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

Comments

बंद विषय, लेकिन शायद उपयोगी - ढेर अतिप्रवाह: stackoverflow.com/questions/28020805/… (यदि मुझे पोस्ट नहीं करना चाहिए, तो मुझे बताएं)

— Daniele D

क्या होगा यदि प्रोग्रामर एक YEC (यंग-अर्थ क्रिएशनिस्ट) है?

— लीक नून

के बारे में -0000-08-10क्या मनमाना निर्णय है? वर्ष को नकारात्मक 0 के रूप में अनुमति नहीं दे रहा है?

— edc65

@ edc65 हां, +0000-08-10और 0000-08-10इसके बजाय इसका उपयोग किया जाना चाहिए। नोट, हालांकि, इस चुनौती का नियमित अभिव्यक्ति संस्करण में स्वीकार किए जाते हैं जवाब इस विशेष परीक्षण का मामला विफल रहता है, तो यह वास्तव में एक असफल हालत नहीं है (यानी एक ऐसा करना चाहिए , न कि एक चाहिए )।

— क्रिस्सोव

@ केनीलाऊ तो ​​प्रोग्रामर गलत है ।

— आर्कटुरस

Answer 1

जावास्क्रिप्ट (ईएस 6), 236

236 बाइट्स नकारात्मक 0 वर्ष ( -0000) की अनुमति देते हैं । सच्चा या झूठा लौटाता है

s=>!!([,y,w,d]=s.match(/^([+-]?\d{4,})(-W?\d\d)?(-\d{1,3})$/)||[],n=y%100==0&y%400!=0|y%4!=0,l=((l=y-1)+8-~(l/4)+~(l/100)-~(l/400))%7,l=l==5|l==4&!n,+d&&(-w?d>`0${2+n}0101001010`[~w]-32:w?(w=w.slice(2),w>0&w<(53+l)&d>-8):d[3]&&d>n-367))

ऋणात्मक 0 कट 2 बाइट के लिए चेक को जोड़ना लेकिन 13. जोड़ता है कि जावास्क्रिप्ट में संख्यात्मक मान -0मौजूद है, और यह 0 के बराबर होने के लिए विशेष आवरण है, लेकिन 1/-0है -Infinity। यह संस्करण 0 या 1 देता है

s=>([,y,w,d]=s.match(/^([+-]?\d{4,})(-W?\d\d)?(-\d{1,3})$/)||[],n=y%100==0&y%400!=0|y%4!=0,l=((l=y-1)+8-~(l/4)+~(l/100)-~(l/400))%7,l=l==5|l==4&!n,+d&&(-w?d>`0${2+n}0101001010`[~w]-32:w?(w=w.slice(2),w>0&w<(53+l)&d>-8):d[3]&&d>n-367))&!(!+y&1/y<0)

परीक्षा

Check=
  s=>!! // to obtain a true/false 
  (
    // parse year in y, middle part in w, day in d
    // day will be negative with 1 or 3 numeric digits and could be 0
    // week will be '-W' + 2 digits
    // month will be negative with2 digits and could be 0
    // if the date is in format yyyy-ddd, then w is empty
    [,y,w,d] = s.match(/^([+-]?\d{4,})(-W?\d\d)?(-\d{1,3})$/) || [],
    n = y%100==0 & y%400!=0 | y%4!=0, // n: not leap year
    l = ((l=y-1) + 8 -~(l/4) +~(l/100) -~(l/400)) % 7, 
    l = l==5| l==4 & !n, // l: long year (see http://mathforum.org/library/drmath/view/55837.html)
    +d && ( // if d is not empty and not 0
     -w // if w is numeric and not 0, then it's the month (negative)
     ? d > `0${2+n}0101001010`[~w] - 32 // check month length (for leap year too)
      : w // if w is not empty, then it's the week ('-Wnn')
        ? ( w = w.slice(2), w > 0 & w < (53+l) & d >- 8) // check long year too
        : d[3] && d > n-367 // else d is the prog day, has to be 3 digits and < 367 o 366
    )
  )

console.log=x=>O.textContent += x +'\n'

OK=['1900-01-01','2015-08-10','2015-10-08','12015-08-10','-2015-08-10','[phone]'
,'0015-08-10','1582-10-10','2015-02-28','2016-02-29','2000-02-29'
,'0000-02-29','-2000-02-29','-2016-02-29','[phone]','200000-02-29'
,'-200000-02-29','[phone]','2016-366','2000-366','0000-366'
,'-2000-366','-2016-366','+2016-366','2015-081','2015-W33-1'
,'2015-W53-7','+2015-W53-7','+2015-W33-1','-2015-W33-1','2015-08-10']

KO=['-0000-08-10','15-08-10','2015-8-10','015-08-10','20150810','2015 08 10'
,'2015.08.10','2015–08–10','2015-0810','201508-10','2015 - 08 - 10','2015-w33-1'
,'2015W33-1','2015W331','2015-W331','2015-W33','2015W33','2015-08','201508'
,'2015','2015-00-10','2015-13-10','2015-08-00','2015-08-32','2015-04-31'
,'2015-02-30','2015-02-29','2100-02-29','-2100-02-29','2015-000'
,'2015-366','2016-367','2100-366','-2100-366','2015-W00-1'
,'2015-W54-1','2016-W53-1','2015-W33-0','2015-W33-8']

console.log('Valid')
OK.forEach(x=>console.log(Check(x)+' '+x))
console.log('Not valid')
KO.forEach(x=>console.log(Check(x)+' '+x))

<pre id=O></pre>