HexaRegex: uma homenagem a Martin Ender

37

Martin Ender atingiu recentemente 100K e criou algumas linguagens bastante impressionantes . Vamos nos divertir um pouco com um deles, Hexagony (e um pouco de regex para Retina )

Como uma breve visão geral, você precisa escrever um programa que insira uma grade Hexagony e determine se existe um caminho nessa grade que corresponda a uma sequência de texto

Gerando

Hexagony gera hexágonos a partir de uma sequência de texto usando as seguintes etapas:

  1. Calcular o tamanho mínimo do hexágono (pegue o comprimento da corda e arredonde para o número hexadecimal mais próximo )
  2. Quebrando o texto em um hexágono do tamanho acima
  3. Preenchendo os locais restantes com ..

Por exemplo, a sequência de texto abcdefghijklmrequer um hexágono de comprimento lateral 3 e, portanto, se torna:

   a b c
  d e f g
 h i j k l
  m . . .
   . . .

Agora, observe que existem 6 direções possíveis que você pode percorrer em um hexágono. Por exemplo, no hexágono acima, eé adjacente a abfjid.

Invólucro

Além disso, no Hexagony, os hexágonos envolvem:

   . . . .          . a . .          . . f .          . a . .   
  a b c d e        . . b . .        . . g . .        . b . . f  
 . . . . . .      g . . c . .      . . h . . a      . c . . g . 
. . . . . . .    . h . . d . .    . . u . . b .    . d . . h . .
 f g h i j k      . i . . e .      . j . . c .      e . . i . . 
  . . . . .        . j . . f        k . . d .        . . j . .  
   . . . .          . k . .          . . e .          . k . .   

Se você observar o segundo e o quarto exemplo, observe como ae kestão nos mesmos pontos, apesar de estar seguindo em direções diferentes. Devido a esse fato, esses pontos são adjacentes apenas a 5 outros locais .

Para deixar isso mais claro:

   a b c d
  e f g h i
 j k l m n o
p q r s t u v
 w x y z A B
  C D E F G
   H I J K
  1. As arestas envolvem o vizinho oposto ( b->Ie G->j).
  2. Os cantos superior / inferior são agrupados no canto central oposto e para cima / para baixo ( d->K,pe H->a,v).
  3. Os cantos centrais são agrupados nos cantos superior e inferior ( v->a,H)

Caminhos

Um caminho para ser uma sequência de locais adjacentes sem retornar ao mesmo local.

   a b c
  d e f g
 h i f k l
  m . . .
   . . .

No hexágono acima, aefkgmé um caminho válido. No entanto, abfdnão é um caminho válido ( fe dnão é adjacente) e abeanão é válido (retorna ao alocal).

Podemos usar esses caminhos para corresponder ao texto (como regex) . Um caractere alfanumérico corresponde a si mesmo (e somente a ele) e a .corresponde a qualquer caractere. Por exemplo, o caminho aej..lgmiria corresponder aej..lgm, aejAAlgm, aeja.lgm, ou aej^%gm.

Entrada / Saída

Seu programa deve ter duas strings (em qualquer ordem). A primeira sequência não será vazia e consistirá apenas em caracteres alfanuméricos [a-zA-Z0-9]. Isso representará o hexágono em que você está operando. A segunda sequência será composta por caracteres imprimíveis.

Você precisa retornar um valor verdadeiro se houver um caminho no hexágono que corresponda à sequência de texto fornecida, caso contrário, um valor falso.

Casos de teste

Verdade:

"a","a"
"ab","a"
"ab","b"
"ab","ba"
"ab","aba"
"ab","&"
"ab","#7.J!"
"ab","aaaaaa"
"ab","bgjneta"
"ab","cebtmaa"
"abcdefg","dfabcg"
"AbCDeFG","GCbAeFD"
"aaaabbb","aaababb"
"abcdefghijklmnopqrs","alq"
"abcdefghijklmnopqrs","aqnmiedh"
"abcdefghijklmnopqrs","adhcgkorbefjimnqlps"
"11122233344455","12341345123245"
"abcdefgh","h%a"
"abcdefghijklm","a)(@#.*b"
"abcdefghijklm","a)(@#.*i"
"abcdefghij","ja"
"abcdefghijklmno","kgfeia"
"abcdefghijklmno","mmmmmiea"
"abcdefghijklmno","mmmmmlae"
"abcdefghijklmno","ja"
"abcdefghijklmnopqrs","eijfbadhmnokgcsrql"

Falsy:

"a","b"
"a","%"
"a","."
"a","aa"
"a","a."
"ab","#7.J!*"
"ab","aaaaaaa"
"ab","aaaabaaa"
"ab","123456"
"abcdefg","bfgedac"
"abcdefg","gecafdb"
"abcdefg","GCbaeFD"
"aaaabbb","aaaaabb"
"abcdefghijklmnopqrs","aqrcgf"
"abcdefghijklmnopqrs","adhlcgknbeifjm"
"abcdefghijklmnopqrs","ja"
"abcdefghijklm","a)(@#.*&"
"abcdefghijklmno","a)(@bfeijk"
"abcdefghijklmno","kgfeic"
"abcdefghijklmno","mmmmmmiea"

Como é um , faça suas respostas o mais curtas possível no seu idioma favorito.

Nathan Merrill
fonte
21
Alguém deveria fazer isso no Hexagony. : D
DJMcMayhem
2
Relacionados: codegolf.stackexchange.com/q/66708/29750
NinjaBearMonkey
9
Inicialmente, fiquei muito confuso com os exemplos verdadeiros até perceber que o hexágono é a fonte das expressões regulares , por assim dizer, não a segunda corda. O que ainda é alucinante ...: P
El'endia Starman
5
@DrGreenEggsandIronMan eu vou oferecer uma recompensa de 500 rep se alguém não fazer isso em Hexagony.
AdmBorkBork
2
@ Blue Um exemplo de hexágono não preenchido é importante. Mais importante, eu fiz a distinção entre um "caminho" e um "regex".
Nathan Merrill

Respostas:

14

Retina , 744 bytes

Desculpe pessoal, não há Hexagony desta vez ...

A contagem de bytes assume a codificação ISO 8859-1.

.+¶
$.'$*_¶$&
^_¶
¶
((^_|\2_)*)_\1{5}_+
$2_
^_*
$.&$*×_$&$&$.&$*×
M!&m`(?<=(?=×*(_)+)\A.*)(?<-1>.)+(?(1)!)|^.*$
O$`(_)|.(?=.*$)
$1
G-2`
T`d`À-É
m`\A(\D*)(?(_)\D*¶.|(.)\D*¶\2)((.)(?<=(?<4>_)\D+)?((?<=(?<1>\1.)\4\D*)|(?<=(?<1>\D*)\4(?<=\1)\D*)|(?<=\1(.(.)*¶\D*))((?<=(?<1>\D*)\4(?>(?<-7>.)*)¶.*\6)|(?<=(?<1>\D*)(?=\4)(?>(?<-7>.)+)¶.*\6))|(?<=(×)*¶.*)((?<=(?<1>\1.(?>(?<-9>¶.*)*))^\4\D*)|(?<=(?<1>\D*)\4(?>(?<-9>¶.*)*)(?<=\1)^\D*)|(?<=(?<1>\1\b.*(?(9)!)(?<-9>¶.*)*)\4×*¶\D*)|(?<=(?<1>\D*\b)\4.*(?(9)!)(?<-9>¶.*)*(?<=\1.)\b\D*))|(?<=(?<1>\1.(?>(?<-11>.)*)¶.*)\4(.)*¶\D*)|(?<=(?<1>\1(?>(?<-12>.)*)¶.*)\4(.)*¶\D*)|(?<=(?<1>\1.(?>(?<-13>.)*¶\D*))\4(\w)*\W+.+)|(?<=(?<1>.*)\4(?>(?<-14>.)*¶\D*)(?<=\1.)(\w)*\W+.+))(?<=\1(\D*).+)(?<!\1\15.*(?<-1>.)+))*\Z

Espera a sequência de destino na primeira linha e o hexágono na segunda linha da entrada. Imprime 0ou de 1acordo.

Experimente online! (A primeira linha ativa um conjunto de testes, onde cada linha é um caso de teste, usando ¦para separação em vez de um avanço de linha.)

A maneira correta de resolver esse desafio é com uma regex, é claro. ;) E se não fosse o fato de que esse desafio também envolve o procedimento de desdobramento do hexágono , essa resposta realmente consistiria em nada além de um único regex de ~ 600 bytes de comprimento.

Isso ainda não está bem otimizado, mas estou muito feliz com o resultado (minha primeira versão de trabalho, depois de remover grupos nomeados e outras coisas necessárias para a sanidade, ficou em torno de 1000 bytes). Eu acho que poderia economizar cerca de 10 bytes trocando a ordem da string e do hexágono, mas isso exigiria uma reescrita completa da regex no final, o que não estou me sentindo bem agora. Também há uma economia de 2 bytes ao se omitir o Gpalco, mas isso diminui consideravelmente a solução, então esperarei fazendo essa alteração até ter certeza de que joguei isso da melhor maneira possível.

Explicação

A parte principal desta solução faz uso extensivo de grupos de balanceamento , por isso recomendo a leitura deles, se você quiser entender como isso funciona em detalhes (não vou culpá-lo se não o fizer ...).

A primeira parte da solução (ou seja, tudo, exceto as duas últimas linhas) é uma versão modificada da minha resposta para Desdobrar o código fonte do Hexagony . Ele constrói o hexágono, deixando a string de destino intocada (e na verdade constrói o hexágono antes da string de destino). Fiz algumas alterações no código anterior para salvar bytes:

  • O caractere de plano de fundo é em ×vez de um espaço, para que não entre em conflito com os espaços em potencial na entrada.
  • O caractere no-op / curinga é , em _vez disso ., para que as células da grade possam ser identificadas de maneira confiável como caracteres de palavra.
  • Não insiro espaços ou recuo após a primeira construção do hexágono. Isso me dá um hexágono inclinado, mas na verdade é muito mais conveniente de se trabalhar e as regras de adjacência são bastante simples.

Aqui está um exemplo. Para o seguinte caso de teste:

ja
abcdefghij

Nós temos:

××abc
×defg
hij__
____×
___××
ja

Compare isso com o layout usual do hexágono:

  a b c
 d e f g
h i j _ _
 _ _ _ _
  _ _ _

Podemos ver que os vizinhos são agora todos os 8 vizinhos de Moore habituais, exceto os vizinhos noroeste e sudeste. Portanto, precisamos verificar a adjacência horizontal, vertical e sudoeste / nordeste (bem e depois existem as bordas da embalagem). Usar esse layout mais compacto também tem o bônus de poder usá-los ××no final para determinar o tamanho do hexágono rapidamente quando precisarmos.

Depois que esse formulário foi construído, fazemos mais uma alteração na cadeia inteira:

T`d`À-É

Isso substitui os dígitos pelas letras ASCII estendidas

ÀÁÂÃÄÅÆÇÈÉ

Como eles são substituídos no hexágono e na sequência de destino, isso não afetará se a sequência é correspondida ou não. Além disso, como são letras \we \bainda as identificam como células hexagonais. O benefício de fazer essa substituição é que agora podemos usar \Dno próximo regex para corresponder a qualquer caractere (especificamente, feeds de linha e caracteres não feed de linha). Não podemos usar a sopção para fazer isso, porque precisaremos .corresponder caracteres que não sejam de avanço de linha em vários lugares.

Agora, o último bit: determinar se algum caminho corresponde à nossa string especificada. Isso é feito com um único regex monstruoso. Você pode se perguntar por quê?!?! Bem, isso é fundamentalmente um problema de retorno: você começa em algum lugar e tenta um caminho, desde que corresponda à string, e uma vez que não retorna, tenta um vizinho diferente do último caractere que funcionou. A única coisaque você recebe de graça quando trabalha com regex está retornando. Essa é literalmente a única coisa que o mecanismo regex faz. Portanto, se apenas encontrarmos uma maneira de descrever um caminho válido (o que é bastante complicado para esse tipo de problema, mas definitivamente possível com grupos de balanceamento), o mecanismo de expressão regular resolverá encontrar esse caminho entre todos os possíveis para nós. Certamente seria possível implementar a pesquisa manualmente com vários estágios ( e já fiz isso no passado ), mas duvido que seja mais curto nesse caso específico.

Um problema ao implementar isso com uma regex é que não podemos tecer arbitrariamente o cursor do mecanismo de regex para frente e para trás através da string durante o retrocesso (o que precisaríamos, pois o caminho pode subir ou descer). Então, em vez disso, mantemos o controle de nosso próprio "cursor" em um grupo de captura e o atualizamos a cada passo (podemos mover temporariamente para a posição do cursor com uma olhada). Isso também nos permite armazenar todas as posições anteriores que usaremos para verificar se não visitamos a posição atual antes.

Então vamos fazer isso. Aqui está uma versão um pouco mais saudável da regex, com grupos nomeados, indentação, ordem menos aleatória de vizinhos e alguns comentários:

\A
# Store initial cursor position in <pos>
(?<pos>\D*)
(?(_)
  # If we start on a wildcard, just skip to the first character of the target.
  \D*¶.
|
  # Otherwise, make sure that the target starts with this character.
  (?<first>.)\D*¶\k<first>
)
(?:
  # Match 0 or more subsequent characters by moving the cursor along the path.
  # First, we store the character to be matched in <next>.
  (?<next>.)
  # Now we optionally push an underscore on top (if one exists in the string).
  # Depending on whether this done or not (both of which are attempted by
  # the engine's backtracking), either the exact character, or an underscore
  # will respond to the match. So when we now use the backreference \k<next>
  # further down, it will automatically handle wildcards correctly.
  (?<=(?<next>_)\D+)?
  # This alternation now simply covers all 6 possible neighbours as well as
  # all 6 possible wrapped edges.
  # Each option needs to go into a separate lookbehind, because otherwise
  # the engine would not backtrack through all possible neighbours once it
  # has found a valid one (lookarounds are atomic). 
  # In any case, if the new character is found in the given direction, <pos>
  # will have been updated with the new cursor position.
  (?:
    # Try moving east.
    (?<=(?<pos>\k<pos>.)\k<next>\D*)
  |
    # Try moving west.
    (?<=(?<pos>\D*)\k<next>(?<=\k<pos>)\D*)
  |
    # Store the horizontal position of the cursor in <x> and remember where
    # it is (because we'll need this for the next two options).
    (?<=\k<pos>(?<skip>.(?<x>.)*¶\D*))
    (?:
      # Try moving north.
      (?<=(?<pos>\D*)\k<next>(?>(?<-x>.)*)¶.*\k<skip>)
    |
      # Try moving north-east.
      (?<=(?<pos>\D*)(?=\k<next>)(?>(?<-x>.)+)¶.*\k<skip>)
    )
  |
    # Try moving south.
    (?<=(?<pos>\k<pos>.(?>(?<-x>.)*)¶.*)\k<next>(?<x>.)*¶\D*)
  |
    # Try moving south-east.
    (?<=(?<pos>\k<pos>(?>(?<-x>.)*)¶.*)\k<next>(?<x>.)*¶\D*)
  |
    # Store the number of '×' at the end in <w>, which is one less than the
    # the side-length of the hexagon. This happens to be the number of lines
    # we need to skip when wrapping around certain edges.
    (?<=(?<w>×)*¶.*)
    (?:
      # Try wrapping around the east edge.
      (?<=(?<pos>\k<pos>.(?>(?<-w>¶.*)*))^\k<next>\D*)
    |
      # Try wrapping around the west edge.
      (?<=(?<pos>\D*)\k<next>(?>(?<-w>¶.*)*)(?<=\k<pos>)^\D*)
    |
      # Try wrapping around the south-east edge.
      (?<=(?<pos>\k<pos>\b.*(?(w)!)(?<-w>¶.*)*)\k<next>×*¶\D*)
    |
      # Try wrapping around the north-west edge.
      (?<=(?<pos>\D*\b)\k<next>.*(?(w)!)(?<-w>¶.*)*(?<=\k<pos>.)\b\D*)
    )
  |
    # Try wrapping around the south edge.
    (?<=(?<pos>\k<pos>.(?>(?<-x>.)*¶\D*))\k<next>(?<x>\w)*\W+.+)
  |
    # Try wrapping around the north edge.
    (?<=(?<pos>.*)\k<next>(?>(?<-x>.)*¶\D*)(?<=\k<pos>.)(?<x>\w)*\W+.+)
  )
  # Copy the current cursor position into <current>.
  (?<=\k<pos>(?<current>\D*).+)
  # Make sure that no matter how many strings we pop from our stack of previous
  # cursor positions, none are equal to the current one (to ensure that we use
  # each cell at most once).
  (?<!\k<pos>\k<current>.*(?<-pos>.)+)
)*
# Finally make sure that we've reached the end of the string, so that we've
# successfully matched all characters in the target string.
\Z

Espero que a idéia geral seja mais ou menos clara disso. Como um exemplo de como um desses movimentos ao longo do caminho funciona, vejamos o bit que move o cursor para o sul:

(?<=(?<pos>\k<pos>.(?>(?<-x>.)*)¶.*)\k<next>(?<x>.)*¶\D*)

Lembre-se de que os lookbehinds devem ser lidos da direita para a esquerda (ou de baixo para cima), porque essa é a ordem em que são executados:

(?<=
  (?<pos>
    \k<pos>       # Check that this is the old cursor position.
    .             # Match the character directly on top of the new one.
    (?>(?<-x>.)*) # Match the same amount of characters as before.
    ¶.*           # Skip to the next line (the line, the old cursor is on).
  )               # We will store everything left of here as the new 
                  # cursor position.
  \k<next>        # ...up to a match of our current target character.
  (?<x>.)*        # Count how many characters there are...
  ¶\D*            # Skip to the end of some line (this will be the line below
                  # the current cursor, which the regex engine's backtracking
                  # will determine for us).
)

Observe que não é necessário colocar uma âncora na frente do \k<pos>para garantir que isso realmente chegue ao início da string. <pos>sempre começa com uma quantidade ×que não pode ser encontrada em nenhum outro lugar; portanto, isso já atua como uma âncora implícita.

Não quero inchar este post mais do que o necessário, por isso não entrarei nos outros 11 casos em detalhes, mas, em princípio, todos funcionam da mesma forma. Verificamos que isso <next>pode ser encontrado em alguma direção específica (admissível) a partir da antiga posição do cursor com a ajuda de grupos de balanceamento e, em seguida, armazenamos a string até essa correspondência como a nova posição do cursor <pos>.

Martin Ender
fonte
13

Python 3, 990 943 770 709 bytes

Primeira resposta, yay!

EDIT: Criação de lista de adjacências com golfe. Agora eu uso uma fórmula um pouco diferente

EDIT 2: Removido cotão desnecessário, jogou muito mais.

EDIT 3: Encurtou o código para conversão do índice na lista para coordenadas, jogou mais algumas coisas.

A maioria dos bytes está relacionada à criação da lista de adjacências (ela tem mais potencial para ser jogada no golfe). A partir de então, é uma simples questão de forçar brutalmente a solução (o que eu posso fazer em menos bytes).

Golfe:

from math import*
b=abs
c=max
e=range
f=len
A=input()
B=input()
C=ceil(sqrt((f(A)-.25)/3)+.5)
D=3*C*~-C+1
E=2*C-1
F=C-1
A+='.'*(D-f(A))
G=[set()for x in e(D)]
I=lambda H:sum(E+.5-b(t-F+.5)for t in e(int(H+F)))
for x in e(D):
 r=sum([[J-F]*(E-b(J-F))for J in e(E)],[])[x];q=x-I(r);s=-q-r;a=lambda q,r:G[x].add(int(q+I(r)));m=c(map(b,[q,r,s]))
 if m==F:
  if q in(m,-m):a(-q,-s)
  if r in(m,-m):a(-s,-r)
  if s in(m,-m):a(-r,-q)
 for K,L in zip([1,0,-1,-1,0,1],[0,1,1,0,-1,-1]):
  M,H=q+K,r+L
  if c(map(b,[M,H,-M-H]))<C:a(M,H)
def N(i,O,P):
 Q=O and O[0]==A[i]or'.'==A[i];R=0
 if(2>f(O))*Q:R=1
 elif Q:R=c([(x not in P)*N(x,O[1:],P+[i])for x in G[i]]+[0])
 return R
print(c([N(x,B,[])for x in e(D)])*(f(B)<=D))

Ungolfed c / explicação:

from math import*

#Rundown of the formula:
# * Get data about the size of the hexagon
# * Create lookup tables for index <-> coordinate conversion
#   * q=0, r=0 is the center of the hexagon
#   * I chose to measure in a mix of cubic and axial coordinates,
#     as that allows for easy oob checks and easy retrevial  
# * Create the adjacency list using the lookup tables, while
#   checking for wrapping
# * Brute-force check if a path in the hexagon matches the
#   expression

# shorten functions used a lot
b=abs
c=max
e=range

# Get input

prog=input()
expr=input()

# sdln = Side length
# hxln = Closest hexagonal number
# nmrw = Number of rows in the hexagon
# usdl = one less than the side length. I use it a lot later

sdln=ceil(sqrt((len(prog)-.25)/3)+.5)
hxln=3*sdln*~-sdln+1
nmrw=2*sdln-1
usdl=sdln-1

# Pad prog with dots

prog+='.'*(hxln-len(prog))

# nmbf = Number of elements before in each row
# in2q = index to collum
# in2r = index to row

nmbf=[0]*nmrw
in2q=[0]*hxln
in2r=[0]*hxln

#  4    5
#   \  /
# 3 -- -- 0
#   /  \ 
#  2    1

# dirs contains the q,r and s values needed to move a point
# in the direction refrenced by the index

qdir=[1,0,-1,-1,0,1]
rdir=[0,1,1,0,-1,-1]

# generate nmbf using a summation formula I made

for r in e(nmrw-1):
    nmbf[r+1]=int(nmbf[r]+nmrw+.5-b(r-sdln+1.5))

# generate in2q and in2r using more formulas
# cntr = running counter

cntr=0
for r in e(nmrw):
    bgnq=c(-r,1-sdln)
    for q in e(nmrw-b(r-sdln+1)):
        in2q[cntr]=bgnq+q
        in2r[cntr]=r-usdl
        cntr+=1

# adjn = Adjacency sets

adjn=[set()for x in e(hxln)]

# Generate adjacency sets

for x in e(hxln):
    #Get the q,r,s coords
    q,r=in2q[x],in2r[x]
    s=-q-r
    # a = function to add q,r to the adjacency list
    a=lambda q,r:adjn[x].add(q+nmbf[r+usdl])
    # m = absolute value distance away from the center
    m=c(map(b,[q,r,s]))
    # if we are on the edge (includes corners)...
    if m==usdl:
        # add the only other point it wraps to
        if q in(m,-m):
            a(-q,-s)
        if r in(m,-m):
            a(-s,-r)
        if s in(m,-m):
            a(-r,-q)
    # for all the directions...
    for d in e(6):
        # tmp{q,r,s} = moving in direction d from q,r,s
        tmpq,tmpr=q+qdir[d],r+rdir[d]
        # if the point we moved to is in bounds...
        if c(map(b,[tmpq,tmpr,-tmpq-tmpr]))<sdln:
            # add it
            a(tmpq,tmpr)

# Recursive path checking function
def mtch(i,mtst,past):
    # dmch = Does the place we are on in the hexagon match
    #        the place we are in the expression?
    # out = the value to return
    dmch=mtst and mtst[0]==prog[i]or'.'==prog[i]
    out=0
    # if we are at the end, and it matches...
    if(2>len(mtst))*dmch:
        out=1
    # otherwise...
    elif dmch:
        # Recur in all directions that we haven't visited yet
        # replace '*' with 'and' to speed up the recursion
        out=c([(x not in past)*mtch(x,mtst[1:],past+[i])for x in adjn[i]]+[0])
    return out

# Start function at all the locations in the hexagon
# Automatically return false if the expression is longer
# than the entire hexagon
print(c([mtch(x,expr,[])for x in e(hxln)])*(len(expr)<=hxln))

Tão perto de Retina! :( Sim, bata em Retina!

Azul
fonte
5

Javascript (ES6), 511 500 496 bytes

(H,N)=>{C=(x,y)=>(c[x]=c[x]||[])[y]=y;S=d=>(C(x,y=x+d),C(y,x),C(s-x,s-y),C(s-y,s-x));r=(x,p,v)=>{p<N.length?(v[x]=1,c[x].map(n=>!v[n]&&(H[n]==N[p]||H[n]=='.')&&r(n,p+1,v.slice()))):K=1};for(e=x=K=0;(s=3*e*++e)<(l=H.length)-1;);H+='.'.repeat(s+1-l);for(a=[],b=[],c=[[]],w=e;w<e*2;){a[w-e]=x;b[e*2-w-1]=s-x;for(p=w;p--;x++){w-e||S(s-e+1);w<e*2-1&&(S(w),S(w+1));p&&S(1)}a[w]=x-1;b[e*3-++w]=s-x+1}a.map((v,i)=>S(b[i]-(x=v)));[N[0],'.'].map(y=>{for(x=-1;(x=H.indexOf(y,x+1))>-1;r(x,1,[]));});return K}

Ungolfed e comentou

// Entry point
//   H = haystack (the string the hexagon is filled with)
//   N = needle (the substring we're looking for)
(H, N) => {
  // C(x, y) - Helper function to save a connection between two locations.
  //   x = source location
  //   y = target location
  C = (x, y) => (c[x] = c[x] || [])[y] = y;

  // S(d) - Helper function to save reciprocal connections between two locations
  //        and their symmetric counterparts.
  //   d = distance between source location (x) and target location
  S = d => (C(x, y = x + d), C(y, x), C(s - x, s - y), C(s - y, s - x));

  // r(x, p, v) - Recursive path search.
  //   x = current location in hexagon
  //   p = current position in needle
  //   v = array of visited locations
  r = (x, p, v) => {
    p < N.length ?
      (v[x] = 1, c[x].map(n => !v[n] && (H[n] == N[p] || H[n] == '.') &&
      r(n, p + 1, v.slice())))
    :
      K = 1
  };

  // Compute e = the minimum required edge width of the hexagon to store the haystack.
  // Also initialize:
  //   x = current location in hexagon
  //   l = length of haystack
  //   s = size of hexagon (number of locations - 1)
  //   K = fail/success flag
  for(e = x = K = 0; (s = 3 * e * ++e) < (l = H.length) - 1;);

  // Pad haystack with '.'
  H += '.'.repeat(s + 1 - l);

  // Build connections c[] between locations, using:
  //   x = current location
  //   w = width of current row
  //   p = position in current row
  // Also initialize:
  //   a[] = list of locations on top left and top right edges
  //   b[] = list of locations on bottom left and bottom right edges
  for(a = [], b = [], c = [[]], w = e; w < e * 2;) {
    a[w - e] = x;
    b[e * 2 - w - 1] = s - x;

    for(p = w; p--; x++) {
      // connection between top and bottom edges
      w - e || S(s - e + 1);
      // connections between current location and locations below it
      w < e * 2 - 1 && (S(w), S(w + 1));
      // connection between current location and next location
      p && S(1)
    }
    a[w] = x - 1;
    b[e * 3 - ++w] = s - x + 1
  }

  // Save connections between top left/right edges and bottom left/right edges.
  a.map((v, i) => S(b[i] - (x = v)));

  // Look for either the first character of the needle or a '.' in the haystack,
  // and use it as the starting point for the recursive search. All candidate
  // locations are tried out.
  [N[0], '.'].map(y => {
    for(x = -1; (x = H.indexOf(y, x + 1)) > -1; r(x, 1, []));
  });

  // Return fail/success flag.
  return K
}

Casos de teste

O trecho abaixo mostrará todos os casos de teste de verdade e falsidade.

Arnauld
fonte