_{Эта задача вдохновлена этим приложением .}

Это гораздо более простая версия этой задачи . Эта задача - код-гольф , а другая - самая быстрая .

Вам дадут квадратную сетку ввода размером 6 на 6, которая разделена на 6 областей, где ячейки каждой области имеют уникальный идентификатор ( в тексте здесь я буду использовать строчные буквы от af , но вы можете выбрать все, что вам нравится, например, целые числа 1-6 ).

Входные данные могут выглядеть следующим образом (необязательный формат ввода):

aabbbb
aabbbb
aaccbb
acccdb
ecccdb
eeefff

Или проще визуализировать:

Вызов:

Вы должны разместить 6 деревьев в этом парке в соответствии со следующими правилами:

• В каждом столбце должно быть ровно 1 дерево, а в строке - 1 дерево.
• На всех участках должно быть ровно 1 дерево.
• Ни одно дерево не может быть смежным с другим деревом по вертикали, горизонтали или диагонали.

Решение макета выше:

Примечание: есть только одно решение для каждой головоломки

Дополнительные правила:

• Форматы ввода и вывода не являются обязательными
  • Например, выходные данные могут быть списком индексов, сеткой с 1/0, указывающей, есть ли в этой позиции дерево, или модифицированной версией входных данных, где указаны деревья.
• Время выполнения должно быть детерминированным
• Программа должна завершиться в течение 1 минуты на разумном современном ноутбуке
• Домовой указывает, если вы не грубой силой!

Тестовые случаи:

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

Те же тесты в формате, который немного легче разобрать:

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 байта

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

Принимает ввод в качестве аргумента в формате, указанном в вопросе. Записывает вывод в stdout в виде сетки 0 с 1, куда уходят деревья.

./TreesMin 'aabbbb
aabbbb
aaccbb
acccdb
ecccdb
eeefff'

Пример вывода:

010000
000001
001000
000010
100000
000100

Сломать

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
}

Это адаптация моего ответа к самой быстрой версии этого вопроса . Не имеет такого большого количества коротких замыканий, но достаточно быстро для сетей 6x6.

Клинго , 66 байт

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

Запустите с clingo plant.lp - -c n=<n>где <n>размер сетки. Входной формат представляет собой список c(X,Y,Z).утверждений для каждой ячейки ( X, Y) цветной Z, с 1 ≤ X, Y, Z≤ n, разделенные пробелами необязательными. Вывод включает в себя t(X,Y)для каждого дерева в ( X, Y).

демонстрация

$ 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

Чтобы упростить работу с форматом ввода / вывода, вот программы на Python, которые необходимо преобразовать в формат, указанный в задании.

вход

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

Вывод

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