É sabido que os palíndromos podem ser reconhecidos em tempo linear em máquinas de Turing de fitas, mas não em máquinas de Turing de fita única (nesse caso, o tempo necessário é quadrático). O algoritmo de tempo linear usa uma cópia da entrada e, portanto, também usa um espaço linear.222 Podemos...
Qual é a complexidade mais conhecida para calcular a distância exata de edição entre duas strings do mesmo comprimento usando espaço de trabalho sublinear no tamanho da entrada? Presumo que a entrada seja armazenada em algum formato somente leitura. Esse é um problema estudado anteriormente? Para...
É fácil ver que qualquer problema decidível no espaço de registro determinístico ( ) é executado no máximo no tempo polinomial ( P ). Muitos algoritmos de espaço de log conhecidos (por exemplo: conectividade st não direcionada, isomorfismo de gráfico plano) são executados em O ( n k ), onde k é...
Considere alguma linguagem tal que:LLL L∈DTIME(O(f(n)))∩DSPACE(O(g(n)))L∈DTIME(O(f(n)))∩DSPACE(O(g(n)))L \in DTIME(O(f(n))) \cap DSPACE(O(g(n))) e para que L∉DTIME(o(f(n)))∪DSPACE(o(g(n)))L∉DTIME(o(f(n)))∪DSPACE(o(g(n)))L \not\in DTIME(o(f(n))) \cup DSPACE(o(g(n))) Em outras palavras, a máquina...
Estou interessado no histórico inicial de resultados publicados sobre compensações de espaço-tempo de uso geral. Em particular, quero saber quem primeiro descreveu o seguinte tipo de algoritmo para avaliar uma computação com um gráfico de fluxo de dados arbitrário com grau O (1) usando espaço...
(já solicitado no site principal , mas solicitando aqui também uma melhor cobertura, desculpe) Desde que eu soube sobre estruturas de dados sucintas, estou precisando desesperadamente de uma boa visão geral dos desenvolvimentos mais recentes nessa área. Pesquisei no Google e li muitos artigos que...
Após a discussão sobre limites mais baixos para o 3SAT [ 1 ], estou pensando quais são os principais resultados de limites inferiores formulados como trocas no espaço-tempo. Estou excluindo resultados como, por exemplo, o teorema de Savitch; uma boa entrada focaria em um único problema e seus...
Se recebermos duas cadeias de tamanho n1n1n_1 e n2n2n_2 , o cálculo padrão da distância de edição de Levenshtein é por um algoritmo dinâmico com complexidade de tempo O ( n1n2)O(n1n2)O(n_1 n_2) e complexidade de espaço O ( n1n2)O(n1n2)O(n_1 n_2) . (Algumas melhorias podem ser feitas em função da...
Houve algumas perguntas ( 1 , 2 , 3 ) sobre a conclusão transitiva aqui que me fizeram pensar se algo como isso é possível: Suponha que obtemos um gráfico direcionado para entrada e gostaríamos de responder a perguntas do tipo " ?", Ou seja, perguntando se existe uma aresta entre dois vértices...
Dada inteiros positivos e e , o que é conhecido sobre o espaço eo tempo complexidade de encontrar o peso de Hamming (número de 1s binários) de b e ?bbbeeebebeb^e Se os bits estiverem disponíveis, o número pode ser simplesmente calculado por técnicas padrão e os 1s contados. Mas que técnicas são...
Um truque conhecido para armazenar vetores de bits usando memória não inicializada pode alocar um vetor de bits de tamanho no qual todos os bits são definidos como , alocando bits de memória e inicializando apenas deles. Essa representação suporta a configuração e a desabilitação de qualquer bit em...