Referência para as línguas Dyck sendo

12

Idiomas dyck são definidos pela seguinte gramática S S SDyck(k) sobre o conjunto de símbolos { ( 1 , , ( k , ) 1 , , ) k } . Linguagens intuitivamente dyck são as linguagens de parênteses balanceados de k tipos diferentes. Por exemplo, (

SSS|(1S)1||(kS)k|ϵ
{(1,,(k,)1,,)k}k está em D y c k ( 2 ) mas (([])()Dyck(2) não é.([)]

No papel

Algoritmos dinâmicos para os idiomas dyck de Frandsen, Husfeldt, Miltersen, Rauhe e Skyum, 1995,

alega-se que o seguinte resultado é folclore:

é T C 0 completo sobreduções de A C 0 .Dyck(k)TC0AC0

Existe alguma referência conhecida para a reivindicação acima? Em particular, estou procurando resultados que mostrem pelo menos um dos seguintes:

  • está em T C 0 para k arbitrário.Dyck(k)TC0k
  • é T C 0 -hard para k arbitrário.Dyck(k)TC0k

O artigo mais próximo que encontro é

Bi-Lipschitz Bijection entre o cubo booleano e a bola de Hamming , por Benjamini, Cohen e Shinkar, 2013

que me redireciona para o artigo Reconhecimento do espaço de log e tradução de idiomas entre parênteses por Lynch, que provou que (ou seja, parênteses normais balanceados) está em T C 0 .Dyck(1)TC0

Quaisquer documentos relacionados também são bem-vindos. Obrigado!

Hsien-Chih Chang 張顯 之
fonte

Respostas:

5

NC1

SamiD
fonte
6

AC0MajorityDyck(1)MajorityAC0Dyck(k)k1ANDORNOTDyck(1)


  • x{0,1}nMajority
  • y{0,1}2n0((1()
  • i=1,,n/2ziy2izi=y)2i
  • ziDyck(1)i=1,,n/2

ziOR

MajorityziDyck(1)weight(x)=ni

Igor Shinkar
fonte
Obrigado. Você conhece algum documento que contenha o resultado acima? (É ok se o papel não é o original / mais antigo um, eu estou tentando rastrear a história.)
Hsien-Chih Chang張顯之
Hmmm ... por algum motivo, presumi que uma redução semelhante aparecesse no jornal de Lynch ... não conheço nenhuma outra referência para isso.
Igor Shinkar 16/03