Uma relação de equivalência em um conjunto de vértices finito pode ser representada por um gráfico não direcionado que é uma união disjunta de cliques. O conjunto de vértices representa os elementos e uma aresta representa que dois elementos são equivalentes. Se eu tiver um gráfico e os gráficos ,...
Dado dois inteiros e n na representação binária, qual é a complexidade de calcular o tamanho de bit de x n ?xxxnnnxnxnx^n Uma maneira de fazer isso é calcular calculando uma aproximação do log 2 ( x ) com precisão suficiente. Parece que o cálculo do log 2 ( x ) com k bits de precisão pode ser...
O ponto flutuante atual (flutuante ANSI C, duplo) permite representar uma aproximação de um número real. Existe alguma maneira de representar números reais sem erros ? Aqui está uma ideia que tive, que é tudo menos perfeita. Por exemplo, 1/3 é 0,33333333 ... (base 10) ou 0,01010101 ... (base 2),...
Suponha que eu forneça um gráfico não direcionado com arestas ponderadas e diga que cada nó corresponde a um ponto no espaço 3D. Sempre que há uma aresta entre dois nós, o peso da aresta é a distância entre os pontos. Seu objetivo é reconstruir as posições relativas dos pontos, considerando apenas...
De acordo com Peter Selinger , O cálculo lambda é algébrico (PDF). No início deste artigo, ele diz: Sabe-se que a interpretação combinatória do cálculo lambda é imperfeita, pois não satisfaz a regra ξξξ : sob a interpretação, M= NM=NM = N não implica λ x . M= λ x . Nλx.M=λx.N\lambda x.M =...
Dado dois símbolos e b , vamos definir o k -ésimo seqüência de Fibonacci da seguinte forma:umaa\text{a}bb\text{b}kkk F( k ) = ⎧⎩⎨bumaF( k - 1 ) ⋆ F( k - 2 )se k=0se k=1outroF(k)={bif k=0aif k=1F(k−1)⋆F(k−2)else F(k) = \begin{cases} \text{b} &\mbox{if } k = 0 \\ \text{a} &\mbox{if } k = 1...
No problema de parada, estamos interessados se existe uma máquina de Turing que pode dizer se uma determinada máquina de Turing pára ou não em uma determinada entrada . Geralmente, a prova começa assumindo que existe umEm seguida, consideramos um caso em que restringimos ao próprio e derivamos...
Existe um jogo clássico de livro de quebra-cabeças muito semelhante a um jogo de palavras cruzadas, exceto que uma lista de palavras é fornecida e, em seguida, é fornecido um tabuleiro composto por quadrados unitários, com alguns quadrados apagados como uma palavra cruzada, e alguns quadrados já...
Estou trabalhando com um algoritmo de correspondência de padrões que gera um autômato de estado finito acíclico que aceita uma sequência de texto especificada e todas as suas substrings. O algoritmo FSA está sendo executado em uma representação simbólica de um fluxo de música (por exemplo, dados...
Eu li em vários lugares como este , que o Hyper-threading leva à degradação do desempenho. Não consigo entender por que ou como o hiperencadeamento leva à degradação. Por que é assim que, mesmo quando o Hyper-threading permite que o sistema operacional utilize recursos gratuitos, a degradação...
Uma maneira de observar expressões regulares é como uma prova construtiva do seguinte fato: é possível construir os idiomas regulares iniciando com um pequeno conjunto de idiomas e combinando-os por meio de um pequeno conjunto fixo de propriedades de fechamento. Especificamente, se começarmos com o...
Você tem comprimentos arbitrários, não necessariamente integrais.nnn Cortando alguns palitos (um corte corta um palito, mas podemos cortar quantas vezes quisermos), você deseja obter palitos de tal forma
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...
Estou estudando o pior caso de execução do quicksort, sob a condição de que ele nunca fará uma partição muito desequilibrada para definições variadas de very . Para fazer isso, pergunto-me qual seria o tempo de execução , caso o quicksort sempre particione em alguma fração tal forma que estão na...
Alguém pode me esclarecer por que um analisador de descida recursiva com retrocesso que tenta as produções e S → a a (nessa ordem) não reconhece o idioma formado pela gramática S → a S a | a a .S→aSaS→aSaS \rightarrow aSaS→aaS→aaS \rightarrow aaS→aSa | aaS→aSa | aaS \rightarrow aSa\ |\ aa Parece...
Estou tentando entender como as árvores indexadas binárias (árvores fenwick) podem ser modificadas para lidar com consultas e atualizações de intervalo. Encontrei as seguintes fontes: http://kartikkukreja.wordpress.com/2013/12/02/range-updates-with-bit-fenwick-tree/
Eu estava olhando aqui e notei que o melhor tempo de execução para multiplicação de dois números de bits é , mas posso notar facilmente um algoritmo executado em .nnnO(n⋅logn⋅2O(log∗n)O(n⋅logn⋅2O(log∗n)O(n\cdot \log n \cdot 2^{O(\log^* n)}O(n⋅logn)O(n⋅logn)O(n\cdot \log n) Afinal, sabemos como...
Gostaria de saber, existe um método para análise automática de tempo de execução que funciona pelo menos em um subconjunto relevante de algoritmos (algoritmos que podem ser analisados)? Eu pesquisei "Análise automática de algoritmo", o que me deu isso, mas é muito matemático. Eu só quero um...
O algoritmo de Dijkstra é usado em sistemas modernos de busca de rotas, como mapas do Google ou o satélite no seu carro? Se não, então o que
Eu estava pesquisando programação dinâmica e li o seguinte: Muitas vezes, ao usar um método mais ingênuo, muitos dos subproblemas são gerados e resolvidos várias vezes. O que é um método