Estou aprendendo sobre árvores de raiz (tentativas compactadas) e tentativas de Patricia, mas estou encontrando informações conflitantes sobre se elas são realmente iguais ou não. Uma árvore de raiz pode ser obtida de uma tentativa normal (não compactada) mesclando nós com seus pais quando os nós...
Digamos que preciso simular a seguinte distribuição discreta: P(X=k)={12N,1−12N,if k=1if k=0P(X=k)={12N,if k=11−12N,if k=0 P(X = k) = \begin{cases} \frac{1}{2^N}, & \text{if $k = 1$} \\ 1 - \frac{1}{2^N}, & \text{if $k = 0$} \end{cases} A maneira mais óbvia é desenhar NNN bits aleatórios e...
Alan Turing propôs um modelo para uma máquina (a Máquina de Turing, TM) que calcula (números, funções, etc.) e provou o Teorema da Halting . Uma TM é um conceito abstrato de uma máquina (ou mecanismo, se você preferir). O Teorema da Parada é um resultado impossível. Um Motor de Carnot (CE) é um...
Digamos que e são duas cadeias do mesmo comprimento. Uma anagrama de duas strings é um mapeamento bijetivo modo que para cada .b 1 b 2 … b n p : [ 1 … n ] → [ 1 … n ] a i = b p ( i ) ia1a2…ana1a2…ana_1a_2\ldots a_nb1b2…bnb1b2…bnb_1b_2\ldots b_np:[1…n]→[1…n]p:[1…n]→[1…n]p:[1\ldots n]\to[1\ldots...
Portanto, o problema de decisão do TSP (problema do vendedor ambulante) é NP completo . Mas não entendo como posso verificar se uma determinada solução para o TSP é de fato ideal no tempo polinomial, já que não há como encontrar a solução ideal no tempo polinomial (o que ocorre porque o problema...
Qual seria a maneira mais rápida de fazer isso (de uma perspectiva algorítmica, bem como de uma questão prática)? Eu estava pensando algo ao longo das seguintes linhas. Eu poderia adicionar no final de uma matriz e, em seguida, usar o bubblesort, pois ele tem um melhor caso (array totalmente...
Gostaria de saber se existe um bom exemplo para um problema NP-Hard fácil de entender que não é NP-Complete e não é indecidível? Por exemplo, o problema de parada é NP-Hard, não NP-Complete, mas é indecidível. Acredito que isso significa que é um problema que uma solução pode ser verificada, mas...
O teorema de Rice nos diz que as únicas propriedades semânticas das Máquinas de Turing (ou seja, as propriedades da função computada pela máquina) que podemos decidir são as duas propriedades triviais (ou seja, sempre verdade e sempre falsas). Mas existem outras propriedades das máquinas de Turing...
Eu estava lendo o CLRS e disse: Se fatorar números inteiros grandes for fácil, é fácil quebrar o sistema de criptografia RSA. O que faz sentido para mim porque, com o conhecimento de e , é fácil criar a chave secreta que é o conhecimento da chave pública. No entanto, explica a declaração...
Que diferenças e relações existem entre algoritmos aleatórios e algoritmos não determinísticos? Da Wikipedia Um algoritmo aleatório é um algoritmo que emprega um grau de aleatoriedade como parte de sua lógica. O algoritmo normalmente usa bits aleatoriamente uniformes como uma entrada auxiliar...
Intuitivamente, "árvores equilibradas" devem ser árvores nas quais as subárvores esquerda e direita em cada nó devem ter "aproximadamente o mesmo" número de nós. Obviamente, quando falamos de árvores vermelhas-pretas * (ver definição no final) sendo equilibradas, na verdade queremos dizer que elas...
Fui designado para um exercício na minha universidade. Levei para casa e tentei programar um algoritmo para resolvê-lo, era algo relacionado a gráficos, encontrando componentes conectados, eu acho. Então eu fiz a coisa mais trivial que me veio à mente e depois mostrei ao meu professor. Após uma...
Gostaria de enumerar todos os gráficos não direcionados de tamanho , mas preciso apenas de uma instância de cada classe de isomorfismo . Em outras palavras, quero enumerar todos os gráficos não isomórficos (não direcionados) em vértices. Como posso fazer isso?nnnnnn Mais precisamente, eu quero um...
Basicamente, eu estou ciente de três fundamentos para a matemática Teoria de conjuntos Teoria dos tipos Teoria das categorias Então, de que maneiras as linguagens de programação e os fundamentos da matemática estão relacionados? EDITAR A pergunta original era "Linguagens de programação...
O que é uma boa metáfora ou exemplo para explicar a um inglês importante a diferença entre a ciência clássica da computação e "ser bom em usar o MS-Windows" Ciência da Computação programação de computadores usando computadores 3 coisas profundamente diferentes. A maioria das pessoas não tem...
Eu estava passando pela discussão sobre a questão Como definir máquinas de Turing quânticas? e sinto que a MT quântica e a MT não - determinística são a mesma coisa. As respostas para a outra pergunta não tocam nisso. Esses dois modelos são iguais? Se não, Quais são as diferenças entre quantum...
Estou tentando explicar o básico do Bitcoin para meus pais. Um dos componentes principais do bitcoin é assinar transações para garantir que sua identidade não possa ser representada e, portanto, a necessidade de explicar uma cifra assimétrica simplificada. O que é uma cifra assimétrica...
Entendo a prova da indecidibilidade do problema da parada (dada, por exemplo, no livro de Papadimitriou), com base na diagonalização. Embora a prova seja convincente (eu entendo cada etapa dela), não é intuitivo para mim no sentido de que não vejo como alguém a derivaria, partindo apenas do...
Existem muitas definições on-line sobre o que é uma gramática livre de contexto, mas nada que eu encontre satisfaça meu principal problema: De que contexto é livre? Para investigar, pesquisei no Google "gramática sensível ao contexto", mas ainda não consegui encontrar o que era o...
O FRP trata de transmitir eventos e comportamentos através de funções puras. O modelo do ator - pelo menos, como implementado no Akka - é sobre o fluxo de mensagens imutáveis (que podem ser consideradas eventos discretos) através de objetos potencialmente impuros, chamados atores. Então, na...