Чи можете ви скласти гексоміно в кубик?

24

Одна з улюблених іграшок мого малюка - такий набір . Насправді це одна з моїх улюблених іграшок - я грався з нею, і це дало мені кілька ідей щодо виклику PPCG. Ось один:

Напишіть програму або функцію, яка приймає малюнок лінії ASCII як вхідний і вирішує, складеться він чи ні в куб.

Вхідні дані

Введення складається з рівно одного гексоміно, побудованого з таких квадратів:

+-+
| |
+-+

Наприклад, допустимим вхідним гексиміно є:

+-+
| |
+-+-+-+-+
| | | | |
+-+-+-+-+
  | |
  +-+

Вихідні дані

  • Ціннісна величина, якщо гексоміно можна скласти в куб, або
  • Фальсі значення інше.

Щоб зберегти нам трохи роботи, wikipedia має гарну графіку:

  • Усі 35 гексомінів:

  • Всі 11 гексоміно, які складаються на кубики:

Примітки

  • Вхідні гексоміно можуть мати будь-яке обертання або відображення, не тільки ті, що показані на зображеннях вище
  • Вхідні гексоміни можуть мати провідні простори, але будуть правильно вирівняні відносно себе
  • Вхідні гексоміни можуть мати пробіл у кінці рядків та кінцеві нові рядки в кінці введення
code-golf  ascii-art  kolmogorov-complexity  geometry 
— Цифрова травма
джерело
1
Чи можете ви пояснити, чому тут є тег для обробки зображень? Ні питання, ні відповідь не повинні робити будь-яку обробку зображення для вирішення завдання.
— Оптимізатор
Пояснення провідного / останнього простору: чи не потрібні провідні / кінцеві пробіли в кожному рядку та чи не потрібні нові рядки для введення? Чи повинен я мати можливість керувати входом 1000+ символів?
— edc65
@ edc65 так, слід очікувати зайвого білого простору, який ви описуєте. Максимальний розмір введення 1000 символів здається розумним - я відредагую це в
— Digital Trauma
Хм. Цікаво, скільки кубових гексоміносів можна вичавити, скласти разом на друкованій сторінці?
— luser droog

Відповіді:

7

ПМА / Равлики , 130

.!(z\ |o{c..!(z\ }3){w=(..!(z\ )|b..!(z\ )o{..!(z\ }2|c{..!(z\ }1,2w..!(z\ )|w{..!(z\ }1,2c..!(z\ }4o..!(z\ )(..!(z\ )|n..!(z\ )`2

або більше "читабельно",

?
.!(z\  | o{c..!(z\ }3  )
{w =( ..!(z\ ) | b ..!(z\ ) o {..!(z\ }2  | c {..!(z\ }1,2w..!(z\ ) | w {..!(z\ }1,2c..!(z\  }4
o  ..!(z\ ) ( ..!(z\ ) | n ..!(z\ ) `2

Незвичайно виникає проблема, з якою можна вирішити обмежений обсяг функцій, реалізованих на даний момент. !(z\ )Моделі визначає , що поточна позиція знаходиться в просторі в середині квадрата , використовуючи негативне твердження , що існує простір , в деяких «octilinear» напрямку. Загальна ідея полягає у тому, щоб перевірити, чи є шаблон, який розміщує квадрат у кожному з 5 необхідних місць відносно квадрата, на якому починається збіг. Крім того, потрібно перевірити, чи немає в блоці 2х2. Перш ніж програма запрацювала, мені довелося виправити помилку з розбором дужок.

Якщо гексоміно не відображає куб, 0друкується. Якщо це так, друкується якесь додатне ціле число (кількість збігів).

Я адаптував цей генератор поліоміно для створення всіх можливих тестових випадків:

n=input()
r=range
T=lambda P:set(p-min(p.real for p in P)-min(p.imag for p in P)*1j for p in P)
A=[]
for i in r(1<<18):
 P=[k%3+k/3*1j for k in r(18)if i>>k&1]
 C=set(P[:1])
 for x in P:[any(p+1j**k in C for k in r(4))and C.add(p)for p in P]
 P=T(P)
 if not(C^P or P in A or len(P)-n):
  #for y in r(4):print''.join(' *'[y+x*1j in P] for x in r(6))
  o = [ [' ']*13 for _ in r(9)]
  for y in r(4):
   for x in r(6):
    if y+x*1j in P: X=2*x;Y=2*y; o[Y][X]=o[Y+2][X]=o[Y][X+2]=o[Y+2][X+2]='+'; o[Y][X+1]=o[Y+2][X+1]='-';o[Y+1][X+2]=o[Y+1][X]='|'
  print '\n'.join(map(''.join,o))
  A+=[T([p*1j**k for p in P])for k in r(4)]
— feersum
джерело
хахахахахахах «читабельніше»
— Оптимізатор
5

Рубі, 173 148 145 143 байт

h=->b,c{[c.count(c.max),c.count(c.min),3].max*2<b.max-b.min}
->s{x=[];y=[];i=j=0
s.bytes{|e|e==43&&x<<i|y<<j;i=e<32?0*j+=1:i+1}
h[x,y]||h[y,x]}

Остання зміна: /2з правого боку <замінено *2на лівий. Дозволяє усунути один набір()

Пояснення

Код складається з двох частин: основна неназвана функція, яка виконує розбір, і допоміжна неназвана функція, призначена змінній, hяка виконує перевірку.

Основна функція сканує побічно через рядок, додаючи координати x і y i,jвсіх +знаків, знайдених у x[]та y[]. Потім він дзвонить hдвічі. Перший раз він передбачає, що гексоміно є горизонтальним ( x[]містить довжини та y[]ширину), а другий раз припускає, що він вертикальний.

Функція hприймає координати по довжині в масив, bа потім по ширині координати в масиві c. Він обчислює довжину (у квадратах) за виразом (b.max.b.min)/2. Якщо це менше або дорівнює 3, гексоміно слід оцінювати в іншому напрямку, тому hповертається false.

Огляд гексоміноса покаже, що якщо довжина дорівнює 4, ті гексоміноси, які складуться в куб, мають не більше 2 квадратів (3 +символи) у першому та останньому ряду . Більшість квадратів зосереджені на середньому ряду, який стане екватором куба. Цей стан виявляється необхідним і достатнім для гексоміно з довжиною 4, який складеться в куб.

Є лише один гексоміно довжиною 5, який складеться в кубик. У +своєму першому та останньому рядах він має 3 квадрата (4 символи). Усі інші гексоміно довжиною 5 мають 5 або більше +символів або в першому, або в останньому ряду.

Є лише один гексоміно довжиною 6. Він містить 7 +символів на кожному ряду.

Збираючи все це разом, достатньо перевірити, чи довжина гексоміно більше 3, а кількість +символів на першому та останньому рядах (що вище) менше довжини.

Ungolfed в тестовій програмі

#checking function as explained in text
h=->b,c{[c.count(c.max),c.count(c.min),3].max<(b.max-b.min)/2}

#main function for parsing
f=->s{
  x=[]                 #separate assignments required, 
  y=[]                 #otherwise we get 2 pointers to the same array
  i=j=0                #start coordinates 0,0
  s.bytes{|e|          #scan string bytewise
    e==43&&x<<i|y<<j     #if byte is a + symbol (ascii 43) add the coordinates to arrays x and y
    i=e<32?0*j+=1:i+1    #if byte is before ascii 32 assume newline, increment j and zero i. Otherwise increment i
  }
  h[x,y]||h[y,x]       #call h twice, with x and y in each possible order
}



#VALID INPUTS
puts f["
+-+
| |
+-+-+-+-+
| | | | |
+-+-+-+-+
| |
+-+"]

puts f["
+-+
| |
+-+-+-+-+
| | | | |
+-+-+-+-+
  | |
  +-+"]

puts f["
+-+
| |
+-+-+-+-+
| | | | |
+-+-+-+-+
    | |
    +-+"]
puts f["
+-+
| |
+-+-+-+
| | | |
+-+-+-+-+
    | | |
    +-+-+"]

puts f["
+-+
| |
+-+-+-+-+
| | | | |
+-+-+-+-+
      | |
      +-+"]

puts f["
    +-+
    | |
+-+-+-+-+
| | | | |
+-+-+-+-+
    | |
    +-+"]
puts f["
    +-+
    | |
+-+-+-+
| | | |
+-+-+-+-+
    | | |
    +-+-+"]


puts f["
  +-+
  | |
+-+-+-+-+
| | | | |
+-+-+-+-+
    | |
    +-+"]
puts f["
  +-+
  | |
+-+-+-+
| | | |
+-+-+-+-+
    | | |
    +-+-+"]  
puts f["
+-+-+
| | |
+-+-+-+
  | | |
  +-+-+-+
    | | |
    +-+-+"]

puts f["
  +-+-+-+
  | | | |
  +-+-+-+-+-+
      | | | |
      +-+-+-+
"]


#INVALID INPUTS

puts f["
  +-+-+-+
  | | | |
  +-+-+-+
  | | | |
  +-+-+-+
"]


puts f["
  +-+-+-+-+-+-+
  | | | | | | |
  +-+-+-+-+-+-+

"]


puts f["
  +-+-+
  | | |
  +-+-+
  | |
  +-+
  | |
  +-+
  | |
  +-+
  | |
  +-+
"]

puts f["
  +-+-+-+-+-+
  | | | | | |
  +-+-+-+-+-+
    | |
    +-+
"]

puts f["
      +-+
      | |
  +-+-+-+-+-+
  | | | | | |
  +-+-+-+-+-+
"]

puts f["
  +-+-+-+-+
  | | | | |
  +-+-+-+-+-+
        | | |
        +-+-+"]

puts f["
  +-+-+-+-+
  | | | | |
  +-+-+-+-+
      | | |
      +-+-+
"] 


puts f["
  +-+-+-+-+
  | | | | |
  +-+-+-+-+
  | | | |
  +-+ +-+
"]

puts f["
 +-+   +-+
 | |   | |
 +-+-+-+-+
 | | | | |
 +-+-+-+-+
"]

puts f["
   +-+-+
   | | |
 +-+-+-+-+
 | | | | |
 +-+-+-+-+
"]

puts f["
  +-+
  | |
  +-+
  | |
  +-+-+-+-+
  | | | | |
  +-+-+-+-+
"]

puts f["
  +-+
  | |
  +-+-+-+
  | | | |
  +-+-+-+
  | |
  +-+
  | |
  +-+
"]

puts f["
  +-+
  | |
+-+-+-+
| | | |
+-+-+-+
| |
+-+
| |
+-+"]

puts f["
  +-+-+
  | | |
  +-+-+
  | |
  +-+-+
  | | |
  +-+-+
    | |
    +-+
"]

puts f["
  +-+-+-+
  | | | |
  +-+-+-+-+
    | | | |
    +-+-+-+
"]

puts f["
  +-+-+-+
  | | | |
  +-+-+-+
      | |
      +-+-+
      | | |
      +-+-+
"]


puts f["
  +-+-+-+
  | | | |
  +-+-+-+-+
      | | |
      +-+-+
        | |
        +-+
"]
— Рівень річки Св
джерело
pentonimo → hexonimo у вашому тексті?
— Paŭlo Ebermann
3

JavaScript (ES6), 443 431

Редагування виправлення помилок, проблема під час розбору вводу, видалення порожніх стовпців 

F=t=>(a=b=c=d=e=f=g=h=0,M=Math.min,
t=t.split('\n').filter(r=>r.trim()>''),
t=t.map(r=>r.slice(M(...t.map(r=>r.search(/\S/))))),
t.map((r,i)=>i&1&&[...r].map((_,j)=>j&1&&r[j-1]==r[j+1]&t[i-1][j]==t[i+1][j]&r[j-1]=='|'
&&(y=i>>1,x=j>>1,z=y*5,w=x*5,a|=1<<(z+x),e|=1<<(w+y),b|=1<<(4+z-x),f|=1<<(4+w-y),c|=1<<(20-z+x),g|=1<<(20-w+y),d|=1<<(24-z-x),h|=1<<(24-w-y)
))),~[1505,2530,3024,4578,252,6552,2529,4577,2499,4547,7056].indexOf(M(a,b,c,d,e,f,g,h)))

Це дуже довго і навіть довше, оскільки синтаксичний аналіз є важливою частиною завдання.

Що я роблю, це перевірити, чи даний вхід є одним із 11 складних гексоміно.

Кожне складне гексоміно може бути відображено до певної 5х5 растрової карти (до 8 різних, із симетрією та обертаннями). Вважаючи бітові карти 25-бітним числом, я знайшов мінімальні значення для 11 відзначених гексоміно, використовуючи наступний код (з дуже простим форматом введення)

h=[ // Foldable hexominoes
'o\noooo\no', ' o\noooo\n o', // pink
'o\noooo\n   o', ' o\noooo\n  o', 'ooo\n  ooo', 'oo\n oo\n  oo', //blue
'o\noooo\n o', 'o\noooo\n  o', 'oo\n ooo\n o', 'oo\n ooo\n  o', 'o\nooo\n  oo' // gray
]
n=[]
h.forEach(t=>(
  a=[],
  t.split('\n')
    .map((r,y)=>[...r]
      .map((s,x)=>s>' '&&(
         a[0]|=1<<(y*5+x),a[1]|=1<<(x*5+y),  
         a[2]|=1<<(y*5+4-x),a[3]|=1<<(x*5+4-y),  
         a[4]|=1<<(20-y*5+x),a[5]|=1<<(20-x*5+y),  
         a[6]|=1<<(24-y*5-x),a[7]|=1<<(24-x*5-y))
     )
  ),
n.push(Math.min(...a))
))

Це дає [1505,2530,3024,4578,252,6552,2529,4577,2499,4547,7056]

Отже, враховуючи рядок введення, я повинен зробити те саме, щоб знайти мінімальну растрову карту, а потім повернути true, якщо це число присутнє в моєму списку precalc.

// Not so golfed 

F=t=>(  
  a=b=c=d=e=f=g=h=0,M=Math.min,
  t=t.split('\n').filter(r=>r.trim()>''), // remove blank lines
  t=t.map(r=>r.slice(M(...t.map(r=>r.search(/\S/))))), // remove blank colums to the left
  t.map((r,i)=>i&1&&[...r] // only odd rows
   .map((_,j)=>j&1&& // only odd columns
      r[j-1]==r[j+1]&t[i-1][j]==t[i+1][j]&r[j-1]=='|' // found a cell
         &&(y=i>>1,x=j>>1,z=y*5,w=x*5, // find bitmaps for 8 rotations/simmetries
            a|=1<<(z+x),e|=1<<(w+y),  
            b|=1<<(4+z-x),f|=1<<(4+w-y),  
            c|=1<<(20-z+x),g|=1<<(20-w+y),  
            d|=1<<(24-z-x),h|=1<<(24-w-y)  
    ))),
   ~[1505,2530,3024,4578,252,6552,2529,4577,2499,4547,7056].indexOf(Math.min(a,b,c,d,e,f,g,h)) // look for min
)

Запустіть фрагмент для тестування у Firefox

Показати фрагмент коду

— edc65
джерело
Пробачте, якщо я щось пропускаю, але ви не могли вас ,\nt=tз кінця другого рядка / початку третього рядка?
— Conor O'Brien
@ CᴏɴᴏʀO'Bʀɪᴇɴ, переглядаючи шість місяців пізніше, код розбору може бути зроблений на 10 ... 15 байт коротше. Отож, мені потрібне призначення t у другому рядку і знову в рядку 3, оскільки в рядку 3 він використовується для пошуку кількості порожніх символів, які слід вирізати в лівій частині.
— edc65
Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.