Existe uma linguagem de árvore comum em que a altura média de uma árvore de tamanho

26

Definimos uma linguagem de árvore regular como no livro TATA : É o conjunto de árvores aceito por um autômato finito de árvore não determinístico (Capítulo 1) ou, equivalentemente, o conjunto de árvores geradas por uma gramática regular de árvores (Capítulo 2). Ambos os formalismos têm grandes semelhanças com os conhecidos análogos de cordas.

Existe uma linguagem de árvore comum em que a altura média de uma árvore de tamanho não seja nem ?Θ ( n ) Θ ( nΘ(n)Θ(n)

Obviamente, existem linguagens de árvore de modo que a altura de uma árvore é linear em seu tamanho; e no livro Analytic Combinatorics , é mostrado, por exemplo, que árvores binárias de tamanho têm altura média . Se eu entendi a Proposição VII.16 (p.537) do livro mencionado corretamente, existe um amplo subconjunto de linguagens de árvore regulares que têm altura média de , ou seja, aquelas em que o idioma da árvore também é uma variedade simples de árvores que preenchem algumas condições extras.2 n Θ(2πnΘ(n)

Então, eu queria saber se existe uma linguagem de árvore regular mostrando uma altura média diferente ou se existe uma dicotomia verdadeira para linguagens de árvore regulares.

Nota: Esta pergunta já foi feita antes em Ciência da Computação , mas não foi respondida por mais de três meses. Gostaria de republicá-lo aqui, porque a pergunta é muito antiga para migrar e porque ainda há interesse na questão. Aqui está um link para a postagem original.

john_leo
fonte
A única árvore com profundidade constante é uma resposta óbvia: o (\ sqrt {n}), mas não . Eu acredito que você provavelmente quis dizer alguma outra pergunta? Substitua por talvez? Θ(Ω(n)O(Θ(n)O(n)
Joseph Stack
Sim e não. Eu acho que uma linguagem comum de árvore com profundidade média (digamos) também seria muito interessante. Mas você tem razão em que devemos excluir casos degenerados. Talvez devêssemos exigir que a linguagem da árvore contenha infinitos elementos? O(n1/3)
john_leo
Que tipo de árvores você tem em mente? Árvores classificadas, árvores ordenadas por irmãos não ordenadas, árvores não ordenadas não ordenadas; e, a propósito, que tipo de autômato de árvore você quer dizer, de baixo para cima ou de cima para baixo?
fh
@JosephStack como a altura de uma árvore regular pode ser infinita? Uma árvore com nós não pode ter uma altura maior que n . nn
john_leo
1
limsupf ( n ) Θ ( ff(n)Θ(n)nΘ(n)Θ(f(n)Θ(n)f(n)Θ(n)nΘ(n)Θ(g)g{Θ(n)Θ(g)g{n,n}

Respostas:

2

Acredito que a resposta é como você sugere que não são possíveis outros assintóticos além de , e . Uma rota promissora para provar isso pode ser a aplicação das técnicas do artigo que deriva os assintóticos às árvores de execução da linguagem comum. Observe que uma árvore é aceita se existir uma árvore de execução, portanto, é possível derivar primeiro (usando loc.cit. ) A altura média de uma árvore de execução gerada aleatoriamente e levá-la a partir daí, ou seja, mostrar que projetar os estados não mude a altura média.Θ ( Θ(1)Θ(n)Θ(Θ(n)Θ(n)Θ(n)

Martin Hofmann
fonte
2
Acho que isso é um comentário e não uma resposta, pois está longe de ser claro se essa tentativa dá certo.
Danny