Caracterização da máquina de


14

SACi é a classe de problemas de decisão solucionáveis ​​por uma família de circuitos de profundidade com portas OR sem ventoinha OR e ventoinha AND limitada. Negações são permitidas apenas no nível de entrada. Sabe-se que para está fechado sob complemento e não. Além disso, e, portanto, possui uma caracterização de máquina, pois LogCFL é o conjunto de idiomas aceitos por um P limitado por espaço e PDA auxiliar por tempo polinomial. Existem caracterizações de máquina semelhantes de para ?O(login)SACii1SAC0SAC1=LogCFLO(logn)SACii2


São e i destinado a ser a mesma coisa? ki
András Salamon

Sim. Desculpe pelo erro de digitação. Corrigido agora.
Shiva Kintali 23/09/10

Respostas:


14

Sim. Alturas da pilha. , que é, com O ( log n ) espaço e S ( log n ) de altura da pilha; isso implica configurações de log n e, portanto, log 2 ( n ) bits. Nós temosSAC1=NAuxPDA(logn,logn)O(logn)O(logn)lognlog2(n)

SACk=NAuxPDA(logn,logkn);

essas máquinas rodarão no tempo . Sem restrição de altura da pilha, vamos obter exatamente P . O resultado deve seguir: W. Ruzzo, alternância limitada do tamanho de uma árvore. JCSS 1980.2logk(n)P


Vinay, você pode usar látex regular na resposta: ele pode ajudar a torná-lo um pouco mais legível
Suresh Venkat
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.