Análises assintóticas do espaço necessário para executar algoritmos.
Sabemos que a está em pelo teorema do teorema de Immerman – Szelepcsényi e como é portanto, a é reduzida em muitos espaços de log redutível à . Mas existe uma redução direta / combinatória que não passa pelo gráfico de configuração das máquinas de Turing em ?N G s t - c o n n e c t i v i t y N L -...
Aqui está um problema conhecido. Dada uma matriz de números inteiros positivos, produz o menor número inteiro positivo que não está na matriz.A[1…n]A[1…n]A[1\dots n] O problema pode ser resolvido no espaço e no tempo : leia a matriz, acompanhe no espaço se ocorreu, procure o menor elemento.O ( n...
Dadas duas strings, como você pode verificar se elas são permutadas uma da outra usando o espaço O (1)? Modificar as strings não é permitido de forma alguma. Nota: O (1) espaço em relação ao comprimento da string E ao tamanho do
Existem algoritmos conhecidos para problemas formulados que requerem uma complexidade ESPAÇO de O (sqrt (N))? Eu sei que existem algoritmos com essa complexidade
Existe um algoritmo de seleção pior caso conhecido para encontrar o 'ésimo elemento em uma matriz de números inteiros. Ele usa uma abordagem de mediana de medianas para encontrar um pivô bom o suficiente, particiona a matriz de entrada no local e continua recursivamente na busca pelo 'ésimo...
No trabalho, fui encarregado de deduzir algumas informações de tipo sobre uma linguagem dinâmica. Reescrevo seqüências de instruções em letexpressões aninhadas , da seguinte maneira: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z =>...
Existem estruturas de dados eficientes para representar partições definidas. Essas estruturas de dados têm boas complexidades de tempo para operações como Union e Find, mas não são particularmente eficientes em termos de espaço. O que é uma maneira eficiente de espaço para representar uma partição...
Eu tenho o seguinte problema algorítmico: Determinar o espaço Turing complexidade de reconhecer seqüências de DNA que são palíndromos Watson-Crick. Os palíndromos de Watson-Crick são cadeias cujo complemento invertido é a cadeia original. O complemento é definido em letras, inspirado no DNA:...
Estive estudando o coeficiente de correlação de Spearman .ρ = ∑Eu( xEu- x¯) ( yEu- y¯)∑Eu( xEu- x¯)2∑Eu( yEu- y¯)2-------------------√ρ=∑Eu(xEu-x¯)(yEu-y¯)∑Eu(xEu-x¯)2∑Eu(yEu-y¯)2\qquad \displaystyle \rho = \frac{\sum_i(x_i-\bar{x})(y_i-\bar{y})}{\sqrt{\sum_i (x_i-\bar{x})^2...
Na verdade, descobri que o conjunto de idiomas sensíveis ao contexto, ( idiomas aceitos) não são tão amplamente discutidos quanto (idiomas regulares) ou (idiomas sem contexto). E também o problema em aberto não é tão famoso quanto o problema "análogo": " ".C S LCSL\mathbf{CSL}R E G C F L D S P A C...
O problema de decidir se uma entrada é um palíndromo ou não tenha sido provado para exigir de espaço em uma máquina de Turing. No entanto, mesmo armazenar a entrada ocupa espaço n, então isso não significa que todas as máquinas de Turing requerem espaço Ω ( n ) ?Ω ( logn )Ω(registron)\Omega(\log...
Como a pergunta indica, como podemos provar que ?NTIME(f(n))⊆DSPACE(f(n))NTIME(f(n))⊆DSPACE(f(n))\textbf{NTIME}(f(n)) \subseteq \textbf{DSPACE}(f(n)) Alguém pode me indicar uma prova ou descrevê-la aqui?
Estou procurando a implementação do tipo de dados definido. Ou seja, temos que mantenha um subconjunto dinâmico SSS (de tamanho nnn ) do universo U={0,1,2,3,…,u–1}U={0,1,2,3,…,u–1}U = \{0, 1, 2, 3, \dots , u – 1\} de tamanho uuu com operações insert(x)(adicione um elemento xa SSS ) e...
Nos anos 50, foram inventados vários métodos de minimização de circuitos para funções booleanas . Existe uma extensão desses métodos ou algo semelhante para otimizar a complexidade do tempo ou espaço dos algoritmos? Por exemplo, uma implementação de classificação por bolhas como uma entrada para...
Quando o famoso teorema de Savitch é declarado, muitas vezes se vê a exigência de que S( N )S(n)S(n)seja espaço construtível (curiosamente, é omitido na Wikipedia). Minha pergunta simples é: por que precisamos disso? Eu entendo o requisito paraS( N )S(n)S(n) estar em Ω ( logn )Ω(logn)\Omega(\log...
Em complexidade computacional: Abordagem moderna de Arora e Barak , é mencionado que No entanto, exigiremos que S( n ) > lognS(n)>registronS(n)> \log n desde que a fita de trabalho tenha comprimento nnn, e gostaríamos que a máquina conseguisse pelo menos lembrar o índice da célula da fita...
Sabemos que a poliL não tem problemas completos, pois entraria em conflito com o teorema da hierarquia espacial. Mas: Existem problemas completos para cada nível dessa hierarquia?polyLpolyLpolyL Para ser mais preciso: A classe tem problemas completos em reduções para cada
Considere o seguinte problema: Deixei kkkseja uma constante. Nos é dado umkkkmatriz -ary Ad1×…×dkAd1×…×dkA_{d_1\times\ldots\times d_k} do 000 e 111's. DeixeiN=∏ki=1diN=∏i=1kdiN = \prod_{i=1}^k d_i. Queremos criar uma estrutura de dados pré-processando AAA para executar o seguinte tipo de...
Entendo que essa é uma pergunta um pouco vaga, mas há resultados para P vs. NP, como a questão não pode ser facilmente resolvida usando oráculos. Existem resultados como este que foram mostrados para P vs. NP, mas não foram mostrados para P vs PSPACE, de modo que há esperança de que certas técnicas...
Sabe-se que para , .f(n)≥lognf(n)≥lognf(n) \geq \log nNSPACE(f(n))=coNSPACE(f(n))NSPACE(f(n))=coNSPACE(f(n))\mathsf{NSPACE}(f(n)) = \mathsf{coNSPACE}(f(n)) E se ? Eles também são