_{To wyzwanie jest inspirowane tą aplikacją .}

To znacznie łatwiejsza wersja tego wyzwania . To wyzwanie polega na kodowaniu , podczas gdy drugie to najszybsze .

Otrzymasz kwadratową siatkę wejściową o wymiarach 6 na 6, która jest podzielona na 6 obszarów, w których komórki każdego obszaru mają unikalny identyfikator ( w tekście użyję małych liter zf , ale możesz wybrać, co chcesz, na przykład liczby całkowite 1-6 ).

Dane wejściowe mogą wyglądać następująco (opcjonalny format wejściowy):

aabbbb
aabbbb
aaccbb
acccdb
ecccdb
eeefff

Lub łatwiejsze do wizualizacji:

Wyzwanie:

Musisz umieścić 6 drzew w tym parku, zgodnie z następującymi zasadami:

• Będzie dokładnie 1 drzewo na kolumnę i 1 drzewo na rząd
• Wszystkie obszary powinny mieć dokładnie 1 drzewo.
• Żadne drzewa nie mogą przylegać do innego drzewa, pionowo, poziomo ani po przekątnej

Rozwiązaniem powyższego układu jest:

Uwaga: dla każdej układanki jest tylko jedno rozwiązanie

Dodatkowe zasady:

• Formaty wejściowe i wyjściowe są opcjonalne
  • Wyjściem może być na przykład lista indeksów, siatka z 1/0 wskazującą, czy w tej pozycji znajduje się drzewo, lub zmodyfikowana wersja danych wejściowych, w których drzewa są wskazane
• Czas wykonania musi być deterministyczny
• Program musi zakończyć się w ciągu 1 minuty na rozsądnym nowoczesnym laptopie
• Punkty Brownie, jeśli nie użyjecie siły!

Przypadki testowe:

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

Te same przypadki testowe w formacie, który jest nieco łatwiejszy do analizy:

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 bajtów

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;}

Pobiera dane wejściowe jako argument w formacie podanym w pytaniu. Zapisuje wyjście na standardowe wyjście jako siatkę zer z jedynkami tam, gdzie idą drzewa.

./TreesMin 'aabbbb
aabbbb
aaccbb
acccdb
ecccdb
eeefff'

Przykładowe dane wyjściowe:

010000
000001
001000
000010
100000
000100

Awaria

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
}

Jest to dostosowanie mojej odpowiedzi do najszybszej wersji kodu tego pytania . Nie ma tak dużego zwarcia, ale jest wystarczająco szybki dla sieci 6x6.

Clingo , 66 bajtów

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)}.

Uruchom z clingo plant.lp - -c n=<n>gdzie <n>jest rozmiar siatki. Format wejściowy jest lista c(X,Y,Z).instrukcji dla każdej komórki ( X, Y) kolorowe Z, z ≤ 1 X, Y, Z≤ n, oddzielone spacją opcjonalnym. Dane wyjściowe obejmują t(X,Y)dla każdego drzewa w ( X, Y).

Próbny

$ 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

Aby ułatwić obsługę formatu wejścia / wyjścia, oto programy w języku Python do konwersji zi do formatu podanego w wyzwaniu.

Wejście

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

Wynik

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