Regular versus TC0


14

De acordo com o Complexity Zoo , e sabemos que não pode contar, portanto . No entanto, ele não diz se \ mathsf {Reg} \ subseteq \ mathsf {TC ^ 0} ou não. Como não conhecemos \ mathsf {NC ^ 1} \ not \ subseteq \ mathsf {TC ^ 0} , também não sabemos \ mathsf {Reg} \ not \ subseteq \ mathsf {TC ^ 0} .RegNC1RegTC0RegRegTC0NC1TC0RegTC0

Existe um candidato para um problema no Reg que não esteja no TC0 ?

Existe um resultado condicional implicando que RegTC0 , por exemplo, se NC1TC0 depois RegTC0 ?

Respostas:


15

Tome como alfabeto e Barrington provou em [2] que L é \ textrm {NC} ^ 1 -complete a redução \ textrm {AC} ^ 0 (e mesmo com uma redução mais restritiva, na verdade). L = { σ 1σ nS * 5 | σ 1σ n = Id } L NC 1 AC 0S5

L={σ1σnS5σ1σn=Id}
LNC1AC0

Em particular, isso mostra que os idiomas regulares não estão em TC0 se TC0NC1 . Usando a teoria dos semigrupos (veja o livro de Straubing [1] para obter mais detalhes), obtemos que se ACC0 estiver estritamente em NC1 , todos os idiomas regulares serão NC1 -complete ou ACC0 .

[1] Straubing, Howard (1994). "Autômatos finitos, lógica formal e complexidade de circuitos". Progresso em Ciência da Computação Teórica. Basileia: Birkhäuser. p. 8. ISBN 3-7643-3719-2.

[2] Barrington, David A. Mix (1989). "Programas de ramificação de tamanho polinomial de largura limitada reconhecem exatamente esses idiomas no NC1"


1
Além disso, se ACC não estiver "estritamente em NC , todos os idiomas regulares estarão" em ACC qualquer maneira. 1 0010

14

Linguagens regulares com monoides sintáticos insolúveis são (completas) (devido a Barrington; esta é a razão subjacente ao resultado mais comumente citado de que é igual a programas de ramificação uniformes com largura 5). Assim, qualquer idioma desse tipo não está em menos que .NC1NC1TC0TC0=NC1

Minha expressão regular completa favorita de é (na verdade, é uma codificação de , como na resposta da CP).NC1((a|b)3(aba|b))S5


1
o que é um monóide sintático?
T ....

3
Aviso de terminologia confusa: neste contexto, diz-se que um monóide é insolúvel se contiver um grupo insolúvel como sub- grupo , não necessariamente como submonóide.
Emil Jeřábek apoia Monica

2
Minha expressão regular completa completa de NC ^ 1 é (na verdade, é uma codificação de S_5, como na resposta de CP). ((a|b)3(aba|b))
Emil Jeřábek apoia Monica

4
Outro exemplo, menos conciso, mas mais fácil de entender: o 'a' atua como o ciclo (1 2 3 4 5), o " b "atuam como a permutação (1 2), e sabe-se que esses dois elementos do grupo geram S - 5 .
((a+b)(abababa+b))
S5
CP

3
@MichaelCadilhac: actua como ( 1 , 2 , 3 , 4 , 5 ) , e b como ( 1 , 2 , 3 , 4 ) . Eles geram S 5, pois b a - 1 é uma transposição. a(1,2,3,4,5)b(1,2,3,4)S5ba1
Emil Jeřábek apoia Monica
Ao utilizar nosso site, você reconhece que leu e compreendeu nossa Política de Cookies e nossa Política de Privacidade.
Licensed under cc by-sa 3.0 with attribution required.