Limite inferior para NFA aceitando idioma de 3 letras

8

Relacionado a uma pergunta recente ( limites no tamanho do menor NFA para L_k-distinct ) Noam Nisan solicitou um método para fornecer um limite inferior melhor para o tamanho de um NFA do que o obtido nos limites da complexidade da comunicação. O que se segue é uma versão especial desse problema.

Suponha que seja um idioma sobre algum alfabeto de letras cujas palavras tenham comprimento . Indique o tamanho do menor NFA que aceita por . Defina uma matriz como se e, caso contrário, . Indique o número mínimo de sub-matrizes (submatriz que contém apenas ) cobrindo todos os na matriz por . (So é a complexidade de comunicação não determinística deL Ln n3 3L LN F A ( L ) NFA(L)n × n 2n×n2 M MM ( a ; b c ) = 1 M(a;bc)=1a b c L abcL0 01 11 11 1M MC O V ( M ) COV(M)log ( C O V ( M ) ) log(COV(M))MM.) É fácil ver que . Se definirmos de maneira semelhante uma matriz como N ( a b ; c ) = 1 se a b c L e, caso contrário , 0 , também teremos N F A ( L ) C O V ( N ) .N F A ( L ) C O V ( M ) NFA(L)COV(M)NNN(ab;c)=1abcL0NFA(L)COV(N)

Existe um LL para o qual N F A ( L ) > C O V ( M ) + C O V ( N ) ?NFA(L)>COV(M)+COV(N)?

Por que função de C O V ( M )COV(M) e C O V ( N )COV(N) podemos ligar o limite superior N F A ( L ) ?NFA(L)?

domotorp
fonte

Respostas:

12

Os limites ...

Nós temos, de facto, N F A ( L ) C O v ( M ) + C O v ( N ) , ver Teorema 4 em (Gruber & Holzer 2006). Para um limite superior, temos 2 C o v ( M ) + C o v ( N )D F A ( L ) N F A ( L ) , consulte o Teorema 11 no mesmo artigo. NFA(L)Cov(M)+Cov(N)2Cov(M)+Cov(N)DFA(L)NFA(L)

... não pode ser substancialmente melhorado

Pode haver uma diferença subexponencial entre C o v ( M ) + C o v ( N ) e N F A ( L ) . O exemplo a seguir, e a prova da lacuna, é uma adaptação de um exemplo semelhante que ilustra as limitações dos protocolos de duas partes para provar limites mais baixos na complexidade do estado não determinístico de (Hromkovič et al. 2009):Cov(M)+Cov(N)NFA(L)

Nós usamos o alfabeto [ n ] = {1 , 2 , , n} . Seja L = {[n]={1,2,,n}x y z [ n ] 3x = y x z} .L={xyz[n]3x=yxz}

Primeiro cuidamos de C o v ( M ) . Observe que, se w = x y z com y = z , então w G : no caso de x = y , w L e no caso de x y , temos também x z e, assim, w L . Além disso, se w tiver a forma x y z com y z , entãoCov(M)w=xyzy=zwLx=ywLxyxzwLwxyzyzw L sse x z . Então, podemos escrever L = L L , come.wLxzL=LL′′L = { x y z [ n ] 3y = z } L = {L={xyz[n]3y=z}x y z [ n ] 3y z x z}L′′={xyz[n]3yzxz}

Agora considere os gráficos bipartidos com , , , bem como com , , e . Em seguida, uma cobertura de borda biclique para o gráfico dá origem a uma cobertura de com submatrizes monocromáticas,G = ( U , V , E ) U = [ n ] V = { y z [ n ] 2y = z } E = U × V G = ( U , V , E ) U = [ nG=(U,V,E)U=[n]V={yz[n]2y=z}E=U×VG′′=(U′′,V′′,E′′)] V = { y z [ n ] 2y z } E = { ( x , y z ) x z } G = ( U U , V V , E E ) G M 1U′′=[n]V′′={yz[n]2yz}E′ ′= { ( x , yz) x z}G = ( UU′ ′, VV′ ′, EE′ ′)GM1

Um truque simples de kernelização para calcular uma cobertura de borda biclique para é colocar os vértices gêmeos de em classes de equivalência. Em seguida, fazemos o mesmo no gráfico resultante para os vértices gêmeos de . Vértices duplos são aqueles com vizinhança idêntica. Esta etapa não altera o número mínimo de bicliques necessárias para cobrir todas as arestas no respectivo gráfico.G U V GvocêV

A etapa de kernelização comporta em um gráfico com dois vértices e uma única aresta. Assim, as arestas de podem ser cobertas com um único biclique. A aplicação da etapa de kernelização a produz um gráfico de coroa em vértices, cuja dimensão bipartida (o número mínimo de capa de aresta biclique) é conhecida como , em que é a função inversa do coeficiente binomial médio ( De Caen et al., 1981). Observe que . Assim, a dimensão bipartida de é , que é idêntica a .G G G 2 n σ ( n ) σ σ ( n ) = O ( log n ) G 1 + σ ( n ) C o v ( M )GGG′ ′2 nσ( N )σσ(n)=O(logn)G1+σ(n)Cov(M)

Agora considere . Observe que, se com , então . Se , então iff . Então, podemos escrever com e . Quase o mesmo argumento acima fornece .C O v ( N ) w = x y z x = y w L x y x L x z L = L L L = { x y z [ n ] 3 | x = y } L = { x y z [ n ]Cov(N)w=xyzx=ywLxyxLxzL=L′′′L′′′′L′′′={xyz[n]3x=y}3x y x z } C o v ( N ) = 1 + σ ( n )L′′′′={xyz[n]3xyxz}Cov(N)=1+σ(n)

Mantém-se a dar um limite inferior para a complexidade estado não-determinístico de . Observe que contém todas as palavras do formato com . Para cada palavra corrigir um cálculo aceitar de um mínimo NFA aceitando . Deixe denotar o estado atingido após a leitura do prefixo e deixe denotar o estado atingido após a leitura do prefixo da palavra de entrada . Todos os pares devem ser diferentes. Por uma questão de contradição, assuma por algunsG G x x x x [ N ] x x x L p x x q x x x x x x ( p x , q x ) ( p x , q x ) = ( p y , q y ) x y x y x p x = q x x q y =LLxxxx[n]xxx. Em seguida, podemos construir um cálculo na entrada , de modo que o NFA esteja no estado após a leitura do prefixo , e no estado após a leitura do prefixo . Mas a corda não está em . Para o conjunto de estados do NFA, isso mostra que . Assim, para grande , obtemos uma separação subexponencial entre e(a complexidade do estado não determinístico de ).q x x y x y x L Q | Q | 2n n C o v ( M ) + C o v ( N ) | Q | eu

Referências

Hermann Gruber
fonte
1
Bom obrigado! Agora eu te
paguei