Tentei resolver o exercício a seguir, mas fiquei preso ao tentar encontrar todos os pares críticos . Tenho as seguintes perguntas: Como sei qual par crítico produziu uma nova regra? Como sei que encontrei todos os pares críticos? Seja onde é binário, é unário e é uma constante. ∘ i e E = {...
Recentemente, li uma entrada de blog muito interessante no Blog de Pesquisa do Google falando sobre rede neural. Basicamente, eles usam essas redes neurais para resolver vários problemas, como reconhecimento de imagem. Eles usam algoritmos genéticos para "evoluir" os pesos dos axônios. Então,...
Se P=NPP=NP\mathbf{P} = \mathbf{NP} , então é L=NLL=NL\mathbf{L} = \mathbf{NL} ? Estou fazendo essa pergunta porque, para outras classes não determinísticas, parece que P=NPP=NP\mathbf{P} = \mathbf{NP} sempre estabelece que são iguais às suas contrapartes
Eu sei que idiomas que podem ser definidos usando expressões regulares e reconhecíveis pelo DFA / NFA (autômatos finitos) são equivalentes. Também não existe DFA para o idioma . Mas ainda assim ele pode ser escrito usando expressões regulares (para que o assunto qualquer linguagem não-regular pode...
Dado um conjunto de pontos e um raio . Qual é a complexidade de encontrar o ponto com maior número de pontos a uma distância menor que . Por exemplo, aquele que maximiza ?x1,…,xn∈R2x1,…,xn∈R2x_1, \ldots, x_n \in \mathbb{R}^2rrrrrr∑ni=11∥x−xi∥≤r∑i=1n1‖x−xi‖≤r\sum_{i=1}^n \mathbb{1}_{\|x - x_i\| \leq...
A Wikipedia diz que a união por classificação sem compactação de caminho fornece uma complexidade de tempo amortizada de , e que a união por classificação e compactação de caminho fornece uma complexidade de tempo amortizada de (onde é o inverso da função Ackerman). No entanto, ele não menciona o...
Quero entender a teoria dos tipos, mas primeiro preciso saber como aplicá-la. Poderia haver mais aplicações não óbvias da teoria dos tipos, além dos sistemas de tipos na programação? Poderia haver outras aplicações, digamos, em perfis de personalidade e
Self Types são uma extensão do Cálculo de Construções [1] que permite que o idioma expresse tipos de dados algébricos codificados através da Codificação Scott. A Codificação Scott fornece a capacidade de correspondência de padrões O(1), que é um dos principais motivadores para a inclusão de...
Estou aprendendo a converter NFAs em DFAs e quero ter certeza de que estou fazendo o certo. Obviamente, voltar na outra direção não é uma coisa. Alguém conhece um algoritmo para verificar se um DFA é equivalente a um
Isenção de responsabilidade: Eu sei que já existem perguntas semelhantes aqui e no Stackoverflow. Mas eles são todos sobre colisões, o que não é o que estou pedindo. Minha pergunta é: por que a pesquisa sem colisões O(1)em primeiro lugar? Vamos supor que eu tenho essa hashtable: Hash...
Eu tenho tentado descobrir se o problema de parada é decidível para autômatos celulares unidimensionais de três símbolos. Definição Deixe denotar a configuração do sistema no momento da etapa . Mais formalmente , onde é o alfabeto.i f : A ∗ × N → A ∗ Af( w , i
Pela minha leitura, parece que a maioria das gramáticas está preocupada em gerar um número infinito de strings. E se você trabalhasse o contrário? Se forem dadas n strings de m length, deve ser possível fazer uma gramática que gere essas strings, e apenas essas strings. Existe um método conhecido...
Estou implementando um algoritmo Naive Bayes para categorização de texto com suavização de Laplacian. O problema que estou tendo é que a probabilidade se aproxima de zero porque estou multiplicando muitas frações pequenas. Portanto, a probabilidade acaba rendendo zero. Isso ocorre porque há várias...
Eu escrevi esse código Python e me perguntei se às vezes simplesmente não terminava (supondo que tivéssemos memória / tempo infinitos e nenhum limite de profundidade de recursão). Intuitivamente, você acha que termina, já que em algum momento você deve ter sorte e, se não terminar, terá um tempo...
Desta referência: Estrita positividade A estrita condição de positividade exclui declarações como data Bad : Set where bad : (Bad → Bad) → Bad A B C -- A is in a negative position, B and C are OK Por que A é negativo? Também porque B é permitido? Eu entendo por que C é...
Recentemente, descobri sobre a estrutura de dados da árvore Rose, mas, seguindo uma datadefinição de Haskell e a pequena descrição da Wikipedia , tenho alguns problemas para entender quais aplicativos uma árvore Rose pode ter. Para referência, a datadefinição de Haskell : data RoseTree a =...
Não sei a terminologia correta para fazer esta pergunta, portanto, descreverei-a com muitas palavras. Em segundo plano , apenas para estarmos na mesma página: os programas geralmente contêm caches - uma troca de tempo / memória. Um erro comum do programador é esquecer de atualizar um valor em...
Quero fornecer provas para partes de um programa Haskell que estou escrevendo como parte de minha tese. Até agora, porém, não consegui encontrar um bom trabalho de referência. O livro introdutório de Graham Hutton, Programming in Haskell ( Google Books ) - que li enquanto aprendia Haskell - aborda...
Essa prova é uma prova por indução e é a seguinte: P (n) é a asserção de que "o Quicksort classifica corretamente todas as matrizes de comprimento n". Caso base: toda matriz de entrada de comprimento 1 já está classificada (P (1) é válida) Etapa indutiva: corrija n => 2. Corrija uma matriz...
Estou tentando me ensinar sobre computação quântica e tenho uma compreensão decente da álgebra linear. Passei pelo portão NÃO, o que não era muito ruim, mas depois cheguei ao portão Hadamard. E eu fiquei preso. Principalmente porque, embora eu "entenda" as manipulações, não entendo o que elas...