Infelizmente ainda não sou tão forte em entender o algoritmo da linha de varredura . Todos os trabalhos e livros didáticos sobre o tema já foram lidos, mas o entendimento ainda está longe. Apenas para esclarecer, tento resolver o máximo de exercícios possível. Mas, tarefas realmente interessantes e...
Eu tenho uma árvore (no sentido da teoria dos grafos), como no exemplo a seguir: Esta é uma árvore direcionada com um nó inicial (a raiz) e muitos nós finais (as folhas). Cada borda tem um comprimento atribuído a ela. Minha pergunta é: como encontrar o caminho mais longo começando na raiz e...
Eu fiz essa pergunta no stackoverflow genérico e fui direcionado aqui. Será ótimo se alguém puder explicar como abordar problemas gráficos parciais ou totalmente dinâmicos em geral. Por exemplo: Encontre o caminho mais curto entre dois vértices em um gráfico ponderado não direcionado para...
Com referência a recursos em linguagens como ruby (e javascript), que permitem que um programador estenda / substitua classes a qualquer momento após defini-la (incluindo classes como String), é teoricamente viável projetar uma linguagem que permita que os programas estendam posteriormente sua...
Quando eu era estudante, vi um problema em um livro didático de sistemas digitais / de lógica, sobre N soldados seguidos e quero atirar ao mesmo tempo. Uma versão mais difícil do problema era que os soldados estavam em uma rede geral, em vez de uma fila. Estou certo de que este é um problema...
Estou tentando encontrar um ΘΘ\Theta vinculado à seguinte equação de recorrência: T(n)=2T(n/2)+T(n/3)+2n2+5n+42T(n)=2T(n/2)+T(n/3)+2n2+5n+42 T(n) = 2 T(n/2) + T(n/3) + 2n^2+ 5n + 42 Eu acho que o Teorema Mestre é inadequado devido à quantidade diferente de subproblemas e divisões. As árvores de...
Existem propriedades indecidíveis de autômatos limitados lineares (evitando o truque de linguagem de conjunto vazio)? Que tal um autômato finito determinístico? (deixe de lado a intratabilidade). Gostaria de obter um exemplo (se possível) de um problema indecidível definido sem o uso explícito de...
Quando comparamos a complexidade de dois algoritmos, geralmente é o caso que ou g ( n ) = O ( f ( n ) ) (possivelmente ambos), onde f e g são os tempos de execução (por exemplo) dos dois algoritmos.f(n)=O(g(n))f(n)=O(g(n))f(n) = O(g(n))g(n)=O(f(n))g(n)=O(f(n))g(n) = O(f(n))fffggg Esse sempre é o...
O algoritmo de minimização do DFA de Brzozowski cria um DFA mínimo para o DFA :GGG reverter todas as arestas em , tornando o estado inicial um estado de aceitação e os estados de aceitação iniciais, para obter um NFA N ′ para o idioma reverso,GGGN′N′N' usando construção de conjunto de potências...
Estou trabalhando em um compilador para uma linguagem concatenativa e gostaria de adicionar suporte à inferência de tipo. Entendo Hindley-Milner, mas tenho aprendido a teoria dos tipos à medida que passo, por isso não tenho certeza de como adaptá-la. O sistema a seguir é sólido e decididamente...
Estou usando um computador digital para escrever esta mensagem. Essa máquina possui uma propriedade que, se você pensar bem, é realmente notável: é uma máquina que, se programada adequadamente, pode executar qualquer cálculo possível . Obviamente, máquinas de calcular de um tipo ou de outro...
Sou assistente de prova de autoaprendizagem e decidi começar com algumas provas básicas e seguir em frente. Como as provas são baseadas em outras provas e, portanto, formam uma hierarquia, existe um repositório da hierarquia de provas? Eu sei que posso escolher um assistente de prova específico e...
Dado um conjunto de conjuntos, eu gostaria de encontrar um conjunto M tal que cada conjunto S em S contém pelo menos um elemento de M . Eu também gostaria de MSS\mathbf{S}MMMSSSSS\mathbf{S}MMMMMM contivesse o mínimo possível de elementos enquanto ainda atendesse a esse critério, embora possa...
Seja A redutível a B, isto é, A≤BA≤BA \leq B . Assim, a máquina de Turing aceitar AAA tem acesso a um Oracle para BBB . Permita que a máquina de Turing que aceita AAA seja MAMAM_{A} e o oráculo para BBB seja . Os tipos de reduções:OBOBO_{B} Redução de Turing: pode fazer várias consultas para . O...
Em uma palestra, um professor mencionou que os computadores modernos não têm tanto poder computacional quanto uma máquina de Turing porque não têm memória infinita e, como nenhum computador pode ter memória infinita, a máquina de Turing é, portanto, inatingível e simplesmente representa o limite...
Estou tentando derivar o artigo clássico no título apenas por meios elementares (sem funções geradoras, sem análise complexa, sem análise de Fourier), embora com muito menos precisão. Em resumo, "apenas" quero provar que a altura média hnhnh_n de uma árvore com nnn nós (ou seja, o número máximo de...
Eu tenho lido Introdução aos algoritmos por Cormen et al. e eu estou lendo a declaração do teorema do mestre começando na página 73 . No caso 3, há também uma condição de regularidade que precisa ser satisfeita para usar o teorema: ... 3. Se f(n)=Ω(nlogba+ε)f(n)=Ω(nlogba+ε)\qquad...
Não estou claro sobre o uso das frases "infinito" ou "finito" na teoria dos computadores. Penso que a raiz do problema é que uma linguagem como L={ab}∗L={ab}∗L=\{ab\}^* é infinita no sentido de poder gerar um número infinito (mas contável) de seqüências de caracteres. No entanto, ainda pode ser...
Este problema, para mim, parece muito interessante. Ele estava prestes a encontrar um ciclo simples (isto é, ciclo onde não há nós repetidos) em um gráfico direcionado. Minha solução está sendo assim, ou seja, este gráfico é um problema de caso: Eu sei que existe um ciclo em um gráfico, quando...
Os algoritmos atuais de xadrez vão de 1 a 2 níveis abaixo de uma árvore de caminhos possíveis, dependendo dos movimentos do jogador e do adversário. Digamos que temos o poder de computação para desenvolver um algoritmo que prevê todos os movimentos possíveis do oponente em um jogo de xadrez. Um...