_{この課題は、このアプリに触発されています。}

これは、この課題のはるかに簡単なバージョンです。この課題はコードゴルフですが、もう1つは最速コードです。

もし寸法、正方形入力グリッドを与えられるだろう6×6に分割され、6つの各領域の細胞はIから小文字を使用します（一意の識別子有する領域、AF、ここではテキストでのしかし、たとえば整数1-6のように、好きなように選択することができます。

入力は次のようになります（オプションの入力フォーマット）：

aabbbb
aabbbb
aaccbb
acccdb
ecccdb
eeefff

または、視覚化しやすくなります：

チャレンジ：

次の規則に従って、この公園に6本の木を配置します。

• 正確がなければならない1列あたりの木、および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のグリッドとして書き込み、1sはツリーがどこに行くかを示します。

./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グリッドには十分高速です。

Clingo、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）着色Z1、≤ 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()