_{ความท้าทายนี้ได้รับแรงบันดาลใจจากแอพนี้}

นี้เป็นรุ่นที่ง่ายขึ้นของความท้าทายนี้ ความท้าทายนี้เป็นรหัสกอล์ฟในขณะที่คนอื่น ๆ เป็นเร็วที่สุดรหัส

คุณจะได้รับตารางอินพุตสี่เหลี่ยมจตุรัสขนาด6 x 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 กับ 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) สี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()