_{Ce défi est inspiré de cette application .}

Il s'agit d'une version beaucoup plus simple de ce défi . Ce défi est le code-golf , tandis que l'autre est le code le plus rapide .

Vous recevrez une grille de saisie carrée, de dimensions 6 par 6 qui est divisée en 6 zones, où les cellules de chaque zone ont un identifiant unique (j'utiliserai des lettres minuscules de af dans le texte ici, mais vous pouvez choisir ce que vous voulez, par exemple des entiers 1-6 ).

L'entrée peut ressembler à ceci (format d'entrée facultatif):

aabbbb
aabbbb
aaccbb
acccdb
ecccdb
eeefff

Ou, plus facile à visualiser:

Défi:

Vous devez placer 6 arbres dans ce parc, selon les règles suivantes:

• Il doit y avoir exactement 1 arbre par colonne et 1 arbre par ligne
• Toutes les zones doivent avoir exactement 1 arbre.
• Aucun arbre ne peut être adjacent à un autre arbre, verticalement, horizontalement ou en diagonale

La solution à la disposition ci-dessus est:

Remarque: il n'y a qu'une seule solution pour chaque puzzle

Règles supplémentaires:

• Les formats d'entrée et de sortie sont facultatifs
  • La sortie pourrait par exemple être une liste d'indices, une grille avec 1/0 indiquant s'il y a un arbre à cette position, ou une version modifiée de l'entrée où les arbres sont indiqués
• Le temps d'exécution doit être déterministe
• Le programme doit se terminer en 1 minute sur un ordinateur portable moderne raisonnable
• Points de brownie si vous ne faites pas de force brute!

Cas de test:

aabbbb
aabbbb
aaccbb
acccdb
ecccdb
eeefff
---
aAbbbb
aabbbB
aaCcbb
acccDb
Ecccdb
eeeFff
----------
aabccc
aacccc
aaddce
aeeeee
aeeefe
eeeeee
---
aaBccc
aacccC
aadDce
Aeeeee
aeeeFe
eEeeee
----------
aaaabb
aacbbb
aadddb
addeef
ddddee
dddeee
---
aaaaBb
aaCbbb
Aadddb
addeeF
dDddee
dddEee
----------
abbbcd
abebcd
addddd
dddddd
effdff
eeffff
---
abBbcd
abebCd
Addddd
dddDdd
effdfF
eEffff

Mêmes cas de test sur un format un peu plus facile à analyser:

Test case 1:
[1,1,2,2,2,2;1,1,2,2,2,2;1,1,3,3,2,2;1,3,3,3,4,2;5,3,3,3,4,2;5,5,5,6,6,6]
Test case 2:
[1,1,2,3,3,3;1,1,3,3,3,3;1,1,4,4,3,5;1,5,5,5,5,5;1,5,5,5,6,5;5,5,5,5,5,5]
Test case 3:
[1,1,1,1,2,2;1,1,3,2,2,2;1,1,4,4,4,2;1,4,4,5,5,6;4,4,4,4,5,5;4,4,4,5,5,5]
Test case 4:
[1,2,2,2,3,4;1,2,5,2,3,4;1,4,4,4,4,4;4,4,4,4,4,4;5,6,6,4,6,6;5,5,6,6,6,6]

C, 223 182 octets

O[15],U;main(y,v)char**v;{if(y>7)for(;y-->2;printf("%06o\n",O[y]));else for(int*r,x=1,X=8;X<14;U&x|*r|O[10-y]*9&x*9?0:(U^=O[9-y]=*r=x,*r=main(y+1,v),U^=x),x*=8)r=O+v[1][y*7-++X]-88;}

Prend l'entrée comme argument dans le format donné dans la question. Écrit la sortie dans stdout sous la forme d'une grille de 0 avec 1 où les arbres vont.

./TreesMin 'aabbbb
aabbbb
aaccbb
acccdb
ecccdb
eeefff'

Exemple de sortie:

010000
000001
001000
000010
100000
000100

Panne

O[15],                                  // Tree positions & region usage
U;                                      // Column usage (bitmask)
main(y,v)char**v;{                      // Recursive main function
  if(y>7)                               // Finished grid?
    for(;y-->2;printf("%06o\n",O[y]));  //  Print it (rows are padded octal)
  else                                  // Not finished:
    for(int*r,x=1,X=8;X<14;             //  Loop over columns
      U&x|*r|O[10-y]*9&x*9              //   Current cell violates rules?
        ?0                              //    Do nothing
        :(U^=O[9-y]=*r=x,               //   Else: mark cell
          *r=main(y+1,v),               //    Recurse
          U^=x)                         //    Unmark cell
      ,x*=8)                            //   Advance to next column
      r=O+v[1][y*7-++X]-88;             //   Region pointer for current iteration
}

C'est une adaptation de ma réponse à la version de code la plus rapide de cette question . N'a pas autant de court-circuit, mais il est suffisamment rapide pour les grilles 6x6.

Clingo , 66 octets

1{t(X,Y):c(X,Y,Z)}:-Z=1..n.:-t(X,Y),2{t(X,J;I,Y;X-1..X+1,Y..Y+1)}.

Exécutez avec clingo plant.lp - -c n=<n>où <n>est la taille de la grille. Le format d'entrée est une liste d' c(X,Y,Z).états pour chaque cellule ( X, Y) colorée Z, avec 1 ≤ X, Y, Z≤ n, séparés par des espaces en option. La sortie inclut t(X,Y)pour chaque arbre en ( X, Y).

Démo

$ clingo plant.lp - -c n=6 <<EOF
> c(1,1,1). c(2,1,1). c(3,1,2). c(4,1,2). c(5,1,2). c(6,1,2).
> c(1,2,1). c(2,2,1). c(3,2,2). c(4,2,2). c(5,2,2). c(6,2,2).
> c(1,3,1). c(2,3,1). c(3,3,3). c(4,3,3). c(5,3,2). c(6,3,2).
> c(1,4,1). c(2,4,3). c(3,4,3). c(4,4,3). c(5,4,4). c(6,4,2).
> c(1,5,5). c(2,5,3). c(3,5,3). c(4,5,3). c(5,5,4). c(6,5,2).
> c(1,6,5). c(2,6,5). c(3,6,5). c(4,6,6). c(5,6,6). c(6,6,6).
> EOF
clingo version 5.1.0
Reading from plant.lp ...
Solving...
Answer: 1
c(1,1,1) c(2,1,1) c(3,1,2) c(4,1,2) c(5,1,2) c(6,1,2) c(1,2,1) c(2,2,1) c(3,2,2) c(4,2,2) c(5,2,2) c(6,2,2) c(1,3,1) c(2,3,1) c(3,3,3) c(4,3,3) c(5,3,2) c(6,3,2) c(1,4,1) c(2,4,3) c(3,4,3) c(4,4,3) c(5,4,4) c(6,4,2) c(1,5,5) c(2,5,3) c(3,5,3) c(4,5,3) c(5,5,4) c(6,5,2) c(1,6,5) c(2,6,5) c(3,6,5) c(4,6,6) c(5,6,6) c(6,6,6) t(1,5) t(2,1) t(6,2) t(3,3) t(5,4) t(4,6)
SATISFIABLE

Models       : 1+
Calls        : 1
Time         : 0.045s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
CPU Time     : 0.000s

Pour rendre le format d'entrée / sortie plus facile à gérer, voici les programmes Python à convertir depuis et vers le format donné dans le défi.

Contribution

import sys
print(' '.join("c({},{},{}).".format(x + 1, y + 1, ord(cell) - ord('a') + 1) for y, row in enumerate(sys.stdin.read().splitlines()) for x, cell in enumerate(row)))

Production

import re
import sys
for line in sys.stdin:
    c = {(int(x), int(y)): int(z) for x, y, z in re.findall(r'\bc\((\d+),(\d+),(\d+)\)', line)}
    if c:
        t = {(int(x), int(y)) for x, y in re.findall(r'\bt\((\d+),(\d+)\)', line)}
        n, n = max(c)
        for y in range(1, n + 1):
            print(''.join(chr(ord('aA'[(x, y) in t]) + c[x, y] - 1) for x in range(1, n + 1)))
        print()