अनोखा सुडोकू खोजक


19

चुनौती:

मानक इनपुट पर सुडोकू बोर्ड को देखते हुए, बोर्ड को विशिष्ट बनाने के लिए न्यूनतम संख्या में संख्याएँ खोजें।

सुनिश्चित वर्णन / नियम:

  • इनपुट निम्नानुसार स्वरूपित है (सभी व्हाट्सएप महत्वपूर्ण है)

    516|827|943
    278|394|615
    349|615|872
    ---+---+---
    98 |4 2|156
    465|189|237
    12 |5 6|489
    ---+---+---
    892|743|561
    634|951|728
    751|268|394
    
  • आउटपुट को प्रति पंक्ति एक संख्या के साथ स्वरूपित किया जाता है, जैसे स्वरूपित (x,y):z- x और y शीर्ष बाईं ओर एक से शुरू होते हैं और नीचे और दाएं बढ़ते हैं; z नंबर जोड़ा जाना है।

    • इस मामले में इन सभी वैध आउटपुट होगा: (3,4):3, (3,4):7, (5,4):3, (5,4):7, (3,6):3, (3,6):7, (5,6):3, और (5,6):7, के रूप में इनमें से किसी भी एक बोर्ड हल किया जा करने की अनुमति होगी।
  • यदि एक अद्वितीय / हल किए गए सुडोकू बोर्ड में प्रवेश किया जाता है, तो प्रोग्राम को कुछ भी नहीं प्रिंट करना चाहिए, यहां तक ​​कि एक नई पंक्ति भी।
  • कार्यक्रम किसी भी बोर्ड के लिए एक घंटे से भी कम समय में चलना चाहिए (मेरा सुझाव है कि पूरी तरह से रिक्त बोर्ड का उपयोग करके परीक्षण करें, या बोर्ड पर एक यादृच्छिक संख्या के साथ ...)।

स्कोरिंग:

  • सभी व्हॉट्सएप सहित वर्णों में अपना कुल (गोल्फ) कोड आकार लें ...

बोनस:

1/2 कोड आकार : यदि प्रोग्राम एक एकल विस्मयादिबोधक बिंदु प्रिंट करता है और एक बोर्ड होता है जिसमें कोई समाधान नहीं होता है।

1/2 कोड आकार : यदि प्रोग्राम दो विस्मयादिबोधक बिंदुओं को प्रिंट करता है और एक आंतरिक अंतर्विरोध के साथ एक बोर्ड होने पर रोकता है (दो नंबर एक ही पंक्ति / स्तंभ / वर्ग पर समान)।


3
बोरिंग और शायद मुश्किल :(
ओलेह Prypin

6
बू। 'कुछ भी नहीं, यहां तक ​​कि एक newline' भी नहीं मुद्रित करें।
पीटर टेलर

1
एक सुडोकू सॉल्वर जिसे कभी भी पूर्ण समाधान के लिए पीछे मुड़ने / अनुमान लगाने की आवश्यकता नहीं होती है, और इसके लिए हर बार (और "अनुमान" की आवश्यकता होती है)
शाफ़्ट सनकी

3
मुझे इसको कम करने का कारण नहीं दिख रहा है। एक सुंदर पहेली दिखाने के लिए बहुत प्रयास किया गया; यह बहुत स्पष्ट है, और ठीक से कहा गया है। यह मेरे स्वाद के लिए बहुत बड़ा है, लेकिन यह एक कारण के लिए बहुत व्यक्तिपरक है, है ना?
उपयोगकर्ता अज्ञात

जवाबों:


10

ब्रेकीलॉग , 245 बाइट्स / 2 = 122.5

@n:1a:"-"x:7fF:3a$\:3a@3:4a,Fc~bCh[0:0:0]gO,Co~c[V:O:T]h:F:6f:10ao:ba(h:11a;!);"!!"w!
h"-".|:"|"x:2f.
e(~m["0123456789":.]`;0<.<=9)
:ha#d.
:@3az:ca:5a.
:3a.
hs.:=a,?t:9ac:=fl1
:Im:8f:[[I]]z:ca.
:Jm:J.
:ha.
lg:?c.
b:+a[X:Y],?h:Y:Xr:"(~d,~d):~d
"w

(ध्यान दें कि आपको इस संस्करण के रूप में भाषा के संस्करण का उपयोग करना है । इस कोड को ब्रेकीलॉग के निम्नलिखित संस्करणों में ठीक से काम करने के लिए कुछ थोड़े बदलाव की आवश्यकता होगी)

यह प्रिंट करता है "!!"यदि दिए गए बोर्ड में आंतरिक विरोधाभास है (हालांकि उस मामले में कुछ समय लगता है, हालांकि टीआईओ पर, इसलिए धैर्य रखें)।

मुझे यकीन नहीं है कि मैं पहले बोनस को सही ढंग से समझता हूं इसलिए मैं इसे संबोधित नहीं कर रहा हूं।

यह स्पष्ट रूप से गैर-प्रतिस्पर्धात्मक है क्योंकि भाषा चुनौती की तुलना में बहुत अधिक हाल की है, हालांकि चूंकि कोई अन्य उत्तर नहीं हैं मुझे यकीन नहीं है कि यह पूरी तरह से महत्वपूर्ण है ...

व्याख्या

  • मुख्य विधेय:

    @n                Split the input on line breaks
    :1a:"-"x          Transform into a list of lists, each sublist contains a line's values
    :7fF              Transform so that cells are [Value:X:Y]
    :3a               All values on lines must be different
    $\:3a             All values on columns must be different (by transposition)
    @3:4a,            All 3*3 block values must be different
    Fc~bCh[0:0:0]gO,  Append a fake cell [0:0:0]
    Co~c[V:O:T]       Sort the board, the blank cells V will be those before O ([0:0:0])
    h:F:6f            Find all subsets of blank cells with specific values for which 
                          the board has only one solution
    :10ao             Sort the subsets by lengths
    :ba               Discard the lengths
    (                 
      h:11a             Print the first subset = an answer
    ;                 Or (board is already fully determined)
      !                 Terminate
    )          
    ;                 Or (Some values don't respect the constraints)
    "!!"w!            Print "!!" and terminate
    
  • विधेय 1: सभी "निकालें |" तर्ज पर, को बदलने ---+---+---में -के बाद उन्हें हटाने के लिए

    h"-".    If the first char is "-", then Output is "-"
    |        Or
    :"|"x    Remove all occurences of "|" from the input
    :2f.     Output is the result of all outputs of predicate 2 on the filtered string
    
  • 2 को समर्पित करें: एक चार्जर को एक पूर्णांक में बदलें, या यदि 1 और 9 के बीच एक चर के लिए रिक्त हो।

    e                      Take a char of the input string
    (
      ~m["0123456789":.]     Output is the index of the char in "0123456789"
      `                      Discard the choice point caused by the ;
    ;                      Or
      0<.<=9                 Output is an integer between 1 and 9
    )
    
  • 3 की भविष्यवाणी करें: प्रस्ताव करें कि कोशिकाओं की इनपुट सूची के सभी मूल्य अलग-अलग होने चाहिए

    :ha    Retrieve the head of each cell (i.e. the value) in the input 
    #d.    Apply a constraint of distinctness to those values
    
  • 4 की भविष्यवाणी करें: 3 * 3 ब्लॉक में मानों के लिए विशिष्ट अवरोध लागू करें

    :@3a            Split 3 lines of the board in 3 parts
        z           Zip them together
         :ca:5a.    Concatenate each element of the zip, apply predicate 5 to that
    
  • 5 समर्पित करें:

    :3a.    Apply predicate 3 to each element of the input
    
  • 6 को समर्पित करें: मानों को रिक्त कक्षों के सबसेट तक सीमित करने के लिए मान निर्दिष्ट करें, फिर उन मानों के साथ बोर्ड के लिए केवल एक समाधान है।

    hs.       Output is a subset of the blank cells
    :=a,      Assign values to those cells
    ?t:9ac    Concatenate the values of all cells of the board
    :=f       Find all solved boards
    l1        There is only 1 such solved board
    
  • प्रेडिकेट 7: बोर्ड को ऐसे ट्रांसफॉर्म करता है जैसे कि प्रत्येक सेल अब [V:X:Y]केवल V(वैल्यू) के बजाय है ।

    :Im       Take the Ith line of the board
    :8f       Transform all elements of the line using predicate 8
    :[[I]]z   Zip the result with [I]
    :ca.      Concatenate each element of the zip
    
  • प्रेडिकेट 8: एक लाइन को इस तरह से ट्रांसफॉर्म करता है जैसे कि प्रत्येक सेल अब है [V:X]

    :Jm    Take the Jth element of the line
    :J.    Output is [That element:J]
    
  • प्रेडिकेट 9: कोशिकाओं के मूल्यों को पुनः प्राप्त करें

    :ha.   Take the head of each element of the input
    
  • प्रेडिकेट 10: इसकी शुरुआत में एक सबसेट की लंबाई लागू करें

    lg     Put the length of the input in a list
    :?c.   Concatenate it with the input
    
  • 11 को समर्पित करें: एक सेल प्रिंट करें

    b:+a[X:Y],        Increment coordinates by 1 to get X and Y
    ?h:Y:Xr:          Build the list [X:Y:Value]
    "(~d,~d):~d\n"w   Format that list as "('X','Y'):'Value'\n" to STDOUT
    

2
क्या आप इसे प्रोलॉग उत्तर में विस्तारित नहीं कर सकते? तो यह प्रतिस्पर्धा होगी! (आप इसे अलग से पोस्ट कर सकते हैं।) मुझे यकीन नहीं है कि ब्राचीलॉग और प्रोलॉग के बीच मानचित्रण कितना प्रत्यक्ष है।
लिन

@ लियन हां मैं कर सकता था, मैं सिर्फ प्रोलॉग कोड पोस्ट कर सकता था जो कि ब्रेजलॉग के ट्रांसपिलर द्वारा उत्पन्न होता है (जो कि स्पष्ट रूप से अत्यधिक अनफॉर्म्ड होगा)। हालांकि मैं ऐसा नहीं करूंगा क्योंकि मुझे पूरा यकीन है कि चुनौती का पोस्टर किसी भी तरह से एक जवाब स्वीकार करने के लिए वापस नहीं आएगा: पी
घातक जूल 22'16
हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.