Perguntas que pedem ajuda a construir intuição para conceitos formais ou complexos.
Acredito que possuo uma compreensão razoável de complexidades como , e .Θ ( n ) Θ ( n 2 )O(1)O(1)\mathcal{O}(1)Θ(n)Θ(n)\Theta(n)Θ(n2)Θ(n2)\Theta(n^2) Em termos de lista, é uma pesquisa constante, portanto, está apenas obtendo o cabeçalho da lista. é onde eu andaria na lista inteira, e caminha...
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...
Esta pergunta foi inspirada por um comentário no StackOverflow . Além de conhecer os problemas NP-completos do livro Garey Johnson e muitos outros; existe uma regra de ouro para saber se um problema se parece com um NP-completo? Não estou procurando algo rigoroso, mas algo que funcione na maioria...
Sou estudante de graduação em teoria da computação e tenho sérios problemas em produzir conteúdo quando me pedem. Sou capaz de acompanhar o livro (Introdução à Teoria da Computação, de Michael Sipser) e as palestras; no entanto, quando solicitado a provar algo ou a apresentar uma descrição formal...
Às vezes, é fácil identificar a complexidade de tempo de um algoritmo, examinando-o cuidadosamente. Algoritmos com dois loops aninhados de são obviamente . Algoritmos que explore todas as combinações possíveis de grupos de dois valores são obviamente .N 2 N 2 NNNNN2N2N^2NNN2N2N2^N No entanto, não...
Eu pensei ter entendido a digitação dependente (DT) corretamente, mas a resposta a esta pergunta: /cstheory/30651/why-was-there-a-need-for-martin-l%C3% A teoria do tipo B6f para criar intuicionista me fez pensar o contrário. Depois de ler sobre a TD e tentar entender o que são, estou tentando...
Abaixo, suponha que estamos trabalhando com uma máquina de Turing com fita infinita. Ao explicar a noção de complexidade de tempo a alguém e por que ela é medida em relação ao tamanho de entrada de uma instância, deparei-me com a seguinte afirmação: [..] Por exemplo, é natural que você precise...
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 =>...
Eu tenho a prova de ir de um enumerador para uma Máquina de Turing (continue executando o enumerador e veja se ele corresponde à entrada), mas não vejo como a outra maneira funciona. De acordo com minhas anotações e o livro (Introdução à Teoria da Computação - Sipser), para obter o enumerador de...
Dado um idioma , como posso dizer diretamente, sem examinar as regras de produção, que esse idioma não é regular?L={anbncn}L={anbncn} L= \{a^n b^n c^n\} Eu poderia usar o lema de bombeamento, mas alguns caras estão dizendo apenas olhando para a gramática que essa não é regular. Como isso é...
Eu li muitos documentos sobre convolução no processamento de imagens e a maioria deles diz sobre sua fórmula, alguns parâmetros adicionais. Ninguém explica a intuição e o verdadeiro significado por trás da convolução em uma imagem. Por exemplo, a intuição de derivação no gráfico é mais linear, por...
Eu não tenho certeza de vê-lo. Pelo que entendi, arestas e vértices são complementos um para o outro e é bastante surpreendente que essa diferença exista. Existe uma maneira boa / rápida / fácil de ver que, na verdade, encontrar um caminho hamiltoniano deve ser muito mais difícil do que encontrar...
Se você tem um idioma L, sem fazer nenhuma prova, há uma maneira de saber se é reconhecível ou co-reconhecível ou decidível? Basicamente, todas as dicas ou truques que podem ser usados para contar. Ou talvez os padrões comuns a serem pesquisados para saber qual é o...
Estou implementando um intérprete para o cálculo lambda e agora quero adicionar o tipo de igualdade. A regra de introdução é fácil, mas a regra de eliminação é bastante obscura para mim. Encontrei esse encadeamento stackoverflow, mas explica o axioma J apenas em uma frase. Como isso pode ser...