Não sei se entendi o primeiro bônus corretamente, por isso não estou tratando dele.
Obviamente, isso não é competitivo, já que o idioma é muito mais recente que o desafio, no entanto, como não há outras respostas, não tenho certeza se isso importa muito ...
Predicado principal:
@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
Predicado 1: remova tudo " |
" nas linhas, transforme ---+---+---
em -
para removê-las depois
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
Predicado 2: converta um caractere para um número inteiro ou, se estiver em branco, em uma variável entre 1 e 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
)
Predicado 3: imponha que todos os valores da lista de entrada de células devam ser distintos
:ha Retrieve the head of each cell (i.e. the value) in the input
#d. Apply a constraint of distinctness to those values
Predicado 4: aplique a restrição de distinção aos valores em 3 * 3 blocos
:@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
Predicado 5:
:3a. Apply predicate 3 to each element of the input
Predicado 6: Atribua valores que satisfaçam as restrições a um subconjunto das células em branco; então, com esses valores, haverá apenas uma solução para o quadro.
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
Predicado 7: transforma a placa de modo que cada célula seja agora e [V:X:Y]
não apenas V
(o valor).
: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
Predicado 8: transforma uma linha de modo que cada célula esteja agora [V:X]
.
:Jm Take the Jth element of the line
:J. Output is [That element:J]
Predicado 9: recuperar os valores das células
:ha. Take the head of each element of the input
Predicado 10: anexar o comprimento de um subconjunto no início dele
lg Put the length of the input in a list
:?c. Concatenate it with the input
Predicado 11: Imprimir uma célula
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