Abaixo está a expressão lambda que estou achando difícil de reduzir, ou seja, não consigo entender como resolver esse problema. ( λ m n . ( λ s z. m s ( n s z) ) ) ( λ s z. s z) ( λ s z. s z)(λmn.(λsz.ms(nsz)))(λsz.sz)(λsz.sz)(\lambda mn.(\lambda sz.ms(nsz)))(\lambda sz.sz)(\lambda sz.sz) Eu...
Eu tenho uma floresta, ou seja, nós com bordas direcionadas e sem ciclos (direcionados ou não direcionados). Eu defino a altura de um vérticevvv como 0 se não tiver arestas recebidas ou o número máximo de arestas a serem movidas em ré para alcançar um vértice de altura 0. Eu também sei que o...
Eu tenho duas cordas, onde uma é uma permutação da outra. Eu queria saber se existe uma alternativa à distância de Hamming, onde, em vez de encontrar o número mínimo de substituições necessárias, ele encontraria o número mínimo de translocações necessárias para ir da string a para a string...
Eu tenho tentado implementar o algoritmo de Brzozowski, mas acabei de descobrir que ele cria autômatos abaixo do ideal para uma determinada classe de entradas, tendo mais um estado do que o que é realmente necessário no resultado. Eu posso mostrá-lo em um autômato trivial: a b a b a b a b a...
Digamos que encontrei um algoritmo de 2 aproximações para um determinado problema e quero mostrar que a análise é rigorosa. Agora preciso criar um exemplo de tamanho genérico nnn ou basta mostrar que tenho um exemplo de tamanho 101010 para o qual o algoritmo produz
Uma porta de limite que implementa uma função de limite linear em entradas booleanas é dada pela equação: onde . Os são chamados de pesos da função de limiar e é chamado de limiar e, naturalmente, o gate dispara na entrada se a soma ponderada dada pela equação acima exceder .nnnx1 1,x2......
Desde então, as provas pelo método probabilístico são frequentemente consideradas não construtivas. No entanto, uma prova pelo método probabilístico de fato projeta um algoritmo aleatório e o utiliza para provar a existência. Citado na página 103 de Algoritmos Aleatórios Por Rajeev Motwani,...
Estou tentando me ensinar a teoria da computabilidade com um livro didático. De acordo com o meu livro, uma funçãofff sobre um alfabeto A = { a , b , c , d, e , f, g, h , i , j , k , l , m , n , o , p , q, r , s , t , u , v , w , x , y,
Então, eu estou coçando a cabeça sobre esse problema há alguns dias. Dada uma linguagem regular e , mostre que a linguagem que consiste em todas as strings em cujo comprimento é igual a alguma string em é uma linguagem regular.AAABBBLLLAAABBB Em forma de
Dizem que "a máquina de Turing não é uma tecnologia de computação prática, mas um dispositivo hipotético que representa uma máquina de computação. As máquinas de Turing ajudam os cientistas da computação a entender os limites da computação mecânica". [Wikipedia] Então, em qual modelo as máquinas...
Como estabelece a rede sempre-verde A Física do Papai Noel , é fisicamente impossível para o Papai Noel receber um presente para todas as crianças do planeta. O planejamento de rotas não ajuda muito lá, mas pode um bom algoritmo de planejamento garantir que todas as crianças recebam um presente de...
Como mostro que o problema de decidir se um PDA aceita alguma sequência do formato é indecidível?{w!w∣w∈{0,1}∗}{w!w∣w∈{0,1}∗}\{ w!w \mid w \in \{ 0, 1 \}^*\} Tentei reduzir esse problema a outro indecidível, como se duas gramáticas livres de contexto aceitam o mesmo idioma. No entanto, não tenho...
Na teoria dos algoritmos distribuídos, existem problemas com limites inferiores, como Ω(n2)Ω(n2)\Omega(n^2), que são "grandes" (ou seja, maiores que Ω(nlogn)Ω(nregistron)\Omega(n\log n)) e não trivial. Gostaria de saber se existem problemas com limites semelhantes na teoria do algoritmo serial,...
Eu sei o termo ordem de uma árvore B. Recentemente, ouvi um novo termo: árvore B com grau mínimo de 2. Sabemos que o grau está relacionado a um nó, mas qual é o grau de uma árvore? O grau impõe algum tipo de restrição à altura de uma árvore B?
Se um gráfico com nnnvértices possui mais de arestas e, em seguida, é conectado.(n−1)(n−2)2(n−1)(n−2)2\frac{(n-1)(n-2)}{2} Estou um pouco confuso sobre essa questão, pois sempre posso provar que, para um gráfico conectado, você precisa de mais do que
Na aula desta semana, aprendemos sobre as CFLs e suas propriedades de fechamento. Eu já vi provas de união, interseção e elogio, mas por reversão meu palestrante acabou de dizer que está encerrado. Eu queria ver a prova, então eu tenho procurado nos últimos dias, mas tudo que eu encontrei é que a...
Dado n∈Nn∈Nn \in \mathbb{N} e p,q∈N[x1,…,xn]p,q∈N[x1,…,xn]p,q \in \mathbb{N}[x_1,\ldots,x_n] pode-se definir a seguinte fórmula na linguagem da aritmética formal φ(n,p,q)=∀x1⋯∀xn:¬(p(x1,…,xn)=q(x1,…,xn))φ(n,p,q)=∀x1⋯∀xn:¬(p(x1,…,xn)=q(x1,…,xn))\varphi(n,p,q) = \forall x_1 \cdots \forall x_n : \neg...
Estou interessado na auto-redutibilidade do problema do Graph 3-Coloralibity. Definição do problema do gráfico 3-Coloralibity. Dado um gráfico não direcionado GGG existe uma maneira de colorir os nós vermelho, verde e azul para que nenhum nó adjacente tenha a mesma cor? Definição de...
3n=2O(n)3n=2O(n)3^n = 2^{O(n)} é aparentemente verdadeiro. Eu pensei que era falso, porque cresce mais rápido do que qualquer função exponencial com uma base de 2.3n3n3^n Como verdadeiro?3n=2O(n)3n=2O(n)3^n =
Dado um gráfico , onde . O que é um algoritmo rápido para gerar o conjunto de todas as listas de vizinhança 2-hop de todos os nós em .G = ( V, E)G=(V,E)G = (V,E)| V| =n|V|=n|V| = nVVV Ingenuamente, você pode fazer isso em . Com o poder das matrizes, você pode fazer isso com usando o algoritmo...