Ao ler um artigo descrevendo as diferenças de OO e programação funcional , deparei-me com indicadores de função. Já faz um tempo desde que terminei meu curso de Ciência da Computação (2003) e, portanto, procurei indicadores para refrescar minha memória. Ponteiros são variáveis que contêm uma...
Eu entendo que as árvores segmento pode ser usado para encontrar a soma de sub variedade de . E isso pode ser feito no tempo O ( log n ) de acordo com o tutorial aqui .UMAUMAAO (logn )O(registron)\mathcal{O}(\log n) No entanto, não sou capaz de provar que o tempo de consulta é realmente . Esse...
O problema é o seguinte: Temos uma matriz / grade bidimensional de números, cada um representando algum "benefício" ou "lucro". Temos também dois inteiros fixos e (para "width" e "height".) E um inteiro fixo .h nWWwhhhnnn Agora, desejamos sobrepor retângulos de dimensões na grade, de modo que a...
Seja uma função bastante agradável (por exemplo, contínua, diferenciável, não há máximos locais demais, talvez côncavos etc.). Quero encontrar um máximo de f : um valor x ∈ R d que faça f ( x ) o maior possível.f:Rd→Rf:Rd→Rf:\mathbb{R}^d \to \mathbb{R}fffx∈Rdx∈Rdx \in \mathbb{R}^df(x)f(x)f(x) Se...
Enquanto tentava melhorar o desempenho da minha classe de detecção de colisões, descobri que ~ 80% do tempo gasto na gpu passava em condições if / else apenas tentando descobrir os limites dos buckets pelos quais deveria passar. Mais precisamente: cada thread obtém um ID, por esse ID ele busca...
Números naturais são definidos indutivamente como (usando a sintaxe Coq como exemplo) Inductive nat: Set := | O: nat | S: nat -> nat. Existe uma maneira padrão de definir números inteiros (e talvez outros conjuntos como racionais e reais)
Os exemplos comuns de problemas difíceis de NP (clique, 3-SAT, cobertura de vértices etc.) são do tipo em que não sabemos se a resposta é "sim" ou "não" anteriormente. Suponha que tenhamos um problema no qual sabemos que a resposta é sim, além disso, podemos verificar uma testemunha em tempo...
Em relação ao segmento Provando que a conversão de CNF para DNF é NP-Hard (e um segmento Math relacionado ): E a outra direção, de DNF a CNF? É fácil ou difícil? Na página 2 deste artigo , eles parecem sugerir que ambas as direções são igualmente difíceis quando dizem " Estamos interessados na...
Eu sei que o problema quantificado da fórmula booleana para uma fórmula que não contém quantificadores e apenas as variáveis é um exemplo de problema com -complete. No entanto, eu me pergunto se há algum problema natural conhecido como , assim como a Minimização de Circuito é um problema natural...
Estou tentando encontrar as respostas de duas perguntas sobre a máquina Universal Turing. Como a máquina Universal de Turing pode simular uma máquina de Turing se a que está sendo simulada possui um número maior de estados? Como a máquina Universal Turing pode simular uma máquina de Turing se a...
O que "em posição positiva" e "em posição negativa" significa no contexto da teoria dos tipos? A única coisa que entendi no post de Bob Harper sobre o tema é que há uma conexão entre polaridade nesse sentido na teoria dos tipos e polaridade na lógica, mas não sei qual é essa...
O algoritmo de Brzozowski pode ser estendido aos autômatos de Moore, mas sua complexidade de tempo é exponencial em geral. Existe algum outro algoritmo para minimizar os autômatos de Moore? Quais são os tempos de execução desses algoritmos, se
Em um analisador LR (0), cada estado consiste em uma coleção de itens LR (0), que são produções anotadas com uma posição. Em um analisador de LR (1), cada estado consiste em uma coleção de itens de LR (1), que são produções anotadas com uma posição e um caractere lookahead. Sabe-se que, dado um...
Existe uma maneira de executar a análise difusa (aceita seqüências de caracteres mesmo com erros de digitação a uma certa distância de edição), com um DFA e um Autômato Levenshtein construído em tempo de execução da palavra de entrada. É possível fazer algo semelhante com um analisador Earley?...
Depois de ler as conquistas do google deepmind nos jogos da Atari , estou tentando entender o q-learning e q-networks, mas estou um pouco confuso. A confusão surge no conceito do fator de desconto. Breve resumo do que eu entendo. Uma rede neural profunda convolucional é usada para estimar o valor...
Estou lendo "A Alma de uma Nova Máquina", de Tracy Kidder, onde uma equipe da Data General cria uma nova máquina (codinome "Eagle", mais tarde denominada MV / 8000). É uma extensão de 32 bits de uma arquitetura anterior (o Eclipse de 16 bits). Um dos temas rotativos parece ser que eles não querem...
Eu estava lendo sistemas operacionais da Galvin e me deparei com a linha abaixo, Nem todos os estados inseguros são um impasse, no entanto. Um estado inseguro pode levar a um impasse Alguém pode explicar como o impasse! = Estado inseguro ? Eu também peguei a mesma linha aqui Se uma...
Estou tentando entender como a Alocação de placas funciona e por que é diferente ou melhor que a paginação comum. Eu encontrei este diagrama que acredito que seria útil se tivesse mais explicações. Algumas perguntas: O que os itens de 3 KB e 7 KB representam? Eles devem estar relacionados de...
Essa pergunta é um pouco contrária a uma pergunta anterior sobre conjuntos formados a partir de operações de conjunto em conjuntos NP-completos: Se o conjunto resultante da união, interseção ou produto cartesiano de dois conjuntos decidíveis e for NP completo, é pelo menos um de necessariamente NP...
Este é provavelmente um pensamento bobo, mas suponha que temos um computador que está programado para executar uma sequência infinita de cálculos e suponha que o cálculo leva 1 / 2 i segundos para ser concluído. Então este computador pode fazer um número infinito de cálculos em uma quantidade...